Brief announcement: Against lock-based semantics for transactional memory

Annual ACM Symposium on Parallelism in Algorithms and Architectures

Volumn , Issue , 2008, Pages 98-100

  Luchangco, Victor ^a  

^a SUN MICROSYSTEMS   (United States)

Author keywords

Design

Indexed keywords

COMPILER TRANSFORMATIONS; CONCURRENT PROGRAMS; DATABASE COMMUNITIES; EFFICIENT IMPLEMENTATIONS; MEMORY CONSISTENCIES; MEMORY CONSISTENCY MODELS; POSITION PAPERS; TRANSACTIONAL BEHAVIORS; TRANSACTIONAL MEMORIES;

CONCURRENCY CONTROL; INFORMATION THEORY; LOCKS (FASTENERS); SEMANTICS; STORAGE ALLOCATION (COMPUTER);

DATA STORAGE EQUIPMENT;

EID: 57349127254     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1378533.1378549     Document Type: Conference Paper

References (28)

1. A. Adya. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. PhD thesis, Massachusetts Institute of Technology, 1999,
2. A. Adya, B. Liskov, and P. E. O'Neil. Generalized isolation level definitions. In Proc. IEEE International Conference on Data Engineering (ICDE), pages 67-78, 2000.
3. S. Ananian, K. Asanovic, B. Kuszmaul, C, Lciscrson, and S. Lie, Unbounded transactional memory. In Proc. 11th International Symposium on High-Performance Computer Architecture, pages 316-327, Feb. 2005.
4. C. Blundell, E. C. Lewis, and M. M. K. Martin. Deconstructing transactions: The subtleties of atomicity. In Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking, June 2005.
5. L. Growl, Y, Lev, V. Luchangco, M. Moir, and D. Nussbaum. Integrating transactional memory into C++ In Workshop on Transactional Computing (TRANSACT), 2007.
6. P. Damron, A. Fedorova, Y. Lev, V. Luchangco, M. Moir, and D. Nussbaum. Hybrid transactional memory. In Proc. 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006.
7. J. Gray, R. A. Loric, G. R. Putzolu, and I. L. Traigcr. Granularity of locks and degrees of consistency and in a shared database. In Modeling in Database Management Systems. Elsevier North-Holland, 1976.
8. D. Grossman, J. Manson, and W. Pugh. What do high-level memory models mean for transactions? In Proc. 2006 Workshop on Alemory System Performance and Correctness, pages 62-69, Oct. 2006.
9. L. Hammond, V. Wong, M, Chen, B. D. Carlstrom, J. D. Davis, B. Hertzberg, M, K. Prabhu, H. Wijaya, C. Kozyrakis, and K. Olukotun. Transactional memory coherence and consistency. In Proc. 31st Annual International Symposium, on Computer Architecture, 2004.
10. T. Harris. Personal communication, 2008.
11. T. Harris and K. Frascr. Language support for lightweight transactions. In Proc. 18th ACM SIGPLAN Conference on Object-Oriented Programing. Systems, Languages, and Applications, pages 388-402, 2003.
12. M. Herlihy, V. Luchangco, and M. Moir. A flexible framework for implementing software transactional memory. In Proc. 21th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications, Oct. 2006.
13. M. Herlihy. V. Luchangco, M. Moir, and W. N. Schcrcr, III. Software transactional memory for dynamic-sized data structures. In Proc. 22nd Annual Symposium on Principles of Distributed Computing, pages 92-101, 2003.
14. M. Herlihy and J. E. B. Moss. Transactional memory: Architectural support for lock-free data structures. In Proc. 20th Annual International Symposium on Computer Architecture, pages 289-300, May 1993.
15. J. R. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool, 2006.
16. Y. Lev, M. Moir, and D. Nussbaum. PhTM: Phased transactional memory. In Workshop on Transactional Computing (TRANSACT), 2007.
17. V. Luchangco. Memory Consistency Models for High Performance Distributed Computing. ScD thesis, Massachusetts Institute of Technology, 2001.
18. V. J. Marathe, M. F. Spear, C. Hcriot, A. Acharya, D. Eiscnstat, W. N. Schcrcr III, and M. L. Scott. Lowering the overhead of software transactional memory. In TRANSACT:First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, 2006.
19. V. Menon, S. Balensiefer, T. Shpeisman, A.-R. Adl-Tabatabai, R. L. Hudson, B. Saha, and A. Welc. Single global lock semantics in a weakly atomic STM. In Workshop on Transactional Computing (TRANSACT), 2008.
20. K. E. Moore, J. Bobba, M. J. Moravan, M. D. Hill, and D. A. Wood. LogTM: Log-based transactional memory. In Proc. 12th Annual International Symposium on High Performance Computer Architecture, 2006.
21. K. F. Moore and D. Grossman. High-level small-step operational semantics for transactions. In Proc. 35th Annual ACM Symposium on Principles of Program,ming Languages, pages 51-62, 2008.
22. R. Rajwar, M. Herlihy, and K. Lai. Virtualizing transactional memory. In Proc. 32nd Annual International Symposium on Computer Architecture, pages 494-505, 2005.
23. B. Saha, A.-R. Adl-Tabatabai, R. Hudson, C. C. Minh, and B. Hcrtzberg. McRT-STM: A high performance software transactional memory system for a multi-core runtime. In Proc, 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 187-197, 2006.
24. M. L. Scott. Sequential specification of transactional memory semantics. In TRANSACT: First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, 2006.
25. N. Shavit and D. Touitou. Software transactional memory. In Proc, 14th Annual ACM Symposium on Principles of Distributed Computing, pages 204-213, 1995.
26. M. F. Spear, V. J. Marathe, L. Dalcssandro, and M. L. Scott. Privatization techniques for software transactional memory. In Proc. 26th Annual ACM Symposium on Principles of Distributed Computing (PODC), 2007.
27. F. Tabba, C. Wang, J. R. Goodman, and M. Moir. NZTM: Nonblocking, zero-indirection transactional memory. In Workshop on Transactional Computing (TRANSACT), 2007.
28. E. Vallcjo, T. Harris, A. Cristal, O. Unsal, and M. Valero. Hybrid transactional memory to accelerate safe lock-based transactions. In Workshop on Transactional Commuting (TRANSACT), 2008.