Constant-RMR implementations of CAS and other synchronization primitives using read and write operations

Wojciech Golab, Vassos Hadzilacos, Danny Hendler, Philipp Woelfel
2007 Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing - PODC '07  
We consider asynchronous multiprocessors where processes communicate only by reading or writing shared memory. We show how to implement consensus, all comparison primitives (such as CAS and TAS), and load-linked/store-conditional using only a constant number of remote memory references (RMRs), in both the cache-coherent and the distributedshared-memory models of such multiprocessors. Our implementations are blocking, rather than wait-free: they ensure progress provided all processes that invoke
more » ... the implemented primitive are live. Our results imply that any algorithm using read and write operations, comparison primitives, and load-linked/storeconditional, can be simulated by an algorithm that uses read and write operations only, with at most a constant blowup in RMR complexity.
doi:10.1145/1281100.1281105 dblp:conf/podc/GolabHHW07 fatcat:fjcv2buy5je4nkxcza3d4vjwmq