Distributed Computing

, Volume 10, Issue 2, pp 99–116

Software transactional memory

  • Nir Shavit
  • Dan Touitou

DOI: 10.1007/s004460050028

Cite this article as:
Shavit, N. & Touitou, D. Distrib Comput (1997) 10: 99. doi:10.1007/s004460050028

Summary.

 As we learn from the literature, flexibility in choosing synchronization operations greatly simplifies the task of designing highly concurrent programs. Unfortunately, existing hardware is inflexible and is at best on the level of a LoadLinked/StoreConditional operation on a single word. Building on the hardware based transactional synchronization methodology of Herlihy and Moss, we offer software transactional memory (STM), a novel software method for supporting flexible transactional programming of synchronization operations. STM is non-blocking, and can be implemented on existing machines using only a LoadLinked/StoreConditional operation. We use STM to provide a general highly concurrent method for translating sequential object implementations to non-blocking ones based on implementing a k-word compare&swap STM-transaction. Empirical evidence collected on simulated multiprocessor architectures shows that our method always outperforms the non-blocking translation methods in the style of Barnes, and outperforms Herlihy’s translation method for sufficiently large numbers of processors. The key to the efficiency of our software-transactional approach is that unlike Barnes style methods, it is not based on a costly “recursive helping” policy.

Key words: Multiprocessor synchronizationLock-freeTransactional memoryDistributed shared memory

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Nir Shavit
    • 1
  • Dan Touitou
    • 1
  1. 1.School of Mathematical Sciences, Tel-Aviv University, Ramat Aviv, Tel-Aviv 69978, IsraelIL