2012 IEEE 26th International Conference on Advanced Information Networking and Applications (2012)
Mar. 26, 2012 to Mar. 29, 2012
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AINA.2012.35
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.
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
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.