The Community for Technology Leaders
2012 IEEE 26th International Conference on Advanced Information Networking and Applications (2012)
Fukuoka-shi, Japan
Mar. 26, 2012 to Mar. 29, 2012
ISSN: 1550-445X
ISBN: 978-0-7695-4651-3
pp: 326-330
ABSTRACT
The aim of this short paper is to show that both the LL/SC (Linked Load/Store Conditional) synchronization primitive and the notion of a Timed register can be seen as two instances of a general abstract synchronization object type that we called a predicate-based read/write synchronization object. More precisely, LL/SC corresponds to its time-free instance while a timed register corresponds to its timed instance. It follows that the notion of a predicate-based read/write synchronization object constitutes a unifying notion that allows for a deeper insight into synchronization objects proposed for multicore architectures.
INDEX TERMS
Asynchronous shared memory system, Atomicity, Compare swap, Consensus object, Linked Load/Store Conditional, Modularity, Multicore, Process crash, Read/Write atomic register, Synchronization objects, Timed registers, Wait-free algorithm
CITATION

M. Raynal and D. Imbs, "Trying to Unify the LL/SC Synchronization Primitive and the Notion of a Timed Register," 2012 IEEE 26th International Conference on Advanced Information Networking and Applications(AINA), Fukuoka-shi, Japan, 2012, pp. 326-330.
doi:10.1109/AINA.2012.35
159 ms
(Ver 3.3 (11022016))