Abstract
We consider the problem of building a weakly atomic Software Transactional Memory (STM), that provides Single (Global) Lock Atomicity (SLA) while adhering to the x86 memory consistency model (x86-MM).
- D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In DISC'06: Proc. 20th International Symposium on Distributed Computing, pages 194--208, Sept. 2006. Google Scholar
Digital Library
- A. Jannesari and W. Tichy. Identifying ad-hoc synchronization for enhanced race detection. In IPDPS'10: Proc. 25th IEEE International Symposium on Parallel Distributed Processing (IPDPS), pages 1--10, April 2010.Google Scholar
Cross Ref
- V. Menon, S. Balensiefer, T. Shpeisman, A.-R. Adl-Tabatabai, R. Hudson, B. Saha, and A. Welc. Single global lock semantics in a weakly atomic STM. In TRANSACT'08, 3rd ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, Feb. 2008. Google Scholar
Digital Library
- M. Olszewski, J. Cutler, and J. G. Steffan. JudoSTM: A dynamic binary-rewriting approach to software transactional memory. In PACT'07: Proc. 16th International Conference on Parallel Architecture and Compilation Techniques, pages 365--375, Sept. 2007. Google Scholar
Digital Library
- S. Owens, S. Sarkar, and P. Sewell. A better x86 memory model: x86-TSO. In TPHOLs: 22nd Annual Conference on Theorem Proving in Higher Order Logics, 2009. Google Scholar
Digital Library
- C. Wang, W.-Y. Chen, Y. Wu, B. Saha, and A.-R. Adl-Tabatabai. Code generation and optimization for transactional memory constructs in an unmanaged language. In CGO'07: Proc. 2007 International Symposium on Code Generation and Optimization, pages 34--48, Mar. 2007. Google Scholar
Digital Library
Index Terms
Weak atomicity under the x86 memory consistency model
Recommendations
Weak atomicity for the x86 memory consistency model
We consider the interaction of weakly atomic Software Transactional Memory (STM) providing single global lock atomicity with the x86 memory consistency model. We show that a practical design for such an STM requires that some program behaviour be ...
Weak atomicity under the x86 memory consistency model
PPoPP '11: Proceedings of the 16th ACM symposium on Principles and practice of parallel programmingWe consider the problem of building a weakly atomic Software Transactional Memory (STM), that provides Single (Global) Lock Atomicity (SLA) while adhering to the x86 memory consistency model (x86-MM).
Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)
The aim of a Software Transactional Memory (STM) is to discharge the programmers from the management of synchronization in multiprocess programs that access concurrent objects. To that end, an STM system provides the programmer with the concept of a ...







Comments