The Semantics of Progress in Lock-Based Transactional Memory

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2009, Pages 404-415

  Guerraoui, Rachid ^a   Kapalka, Michal ^a  

^a EPFL   (Switzerland)

Author keywords

Consensus number; Impossibility; Lock; Lower bound; Reduction; Semantics; Transactional memory; Try lock

Indexed keywords

CONSENSUS NUMBER; IMPOSSIBILITY; LOCK; LOWER BOUND; TRANSACTIONAL MEMORY; TRY-LOCK;

CONTROL THEORY; STORAGE ALLOCATION (COMPUTER);

SEMANTICS;

EID: 67649850993     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1480881.1480931     Document Type: Conference Paper

References (28)

1. Mart́in Abadi, Andrew Birrell, Tim Harris, and Michael Isard. Semantics of transactional memory and automatic mutual exclusion. In Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2008.
2. Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, and Tatiana Shpeisman. Compiler and runtime support for efficient software transactional memory. In Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), 2006. (Pubitemid 44074918)
3. Colin Blundell, E Christopher Lewis, and Milo M. K. Martin. Subtleties of transactional memory atomicity semantics. IEEE Computer Architecture Letters, 5(2), 2006. (Pubitemid 46190872)
4. Dave Dice, Ori Shalev, and Nir Shavit. Transactional locking II. In Proceedings of the 20th International Symposium on Distributed Computing (DISC), 2006. (Pubitemid 44849711)
5. Robert Ennals. Software transactional memory should not be obstructionfree. Technical Report IRC-TR-06-052, Intel Research Cambridge Tech Report, Jan 2006.
6. Kapali P. Eswaran, Jim N. Gray, Raymond A. Lorie, and Irving L. Traiger. The notions of consistency and predicate locks in a database system. Commun. ACM, 19(11):624-633, 1976.
7. Pascal Felber, Torvald Riegel, and Christof Fetzer. Dynamic performance tuning of word-based software transactional memory. In Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Feb 2008.
8. Rachid Guerraoui and Michal Kapalka. On the correctness of transactional memory. In Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2008a.
9. Rachid Guerraoui and Michal Kapalka. The semantics of progress in lockbased transactional memory. Technical Report LPD-REPORT-2008-2015, EPFL, October 2008b.
10. Rachid Guerraoui and Michal Kapalka. On obstruction-free transactions. In Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, June 2008c.
11. Rachid Guerraoui, Thomas Henzinger, Barbara Jobstmann, and Vasu Singh. Model checking transactional memories. In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI), 2008.
12. Vassos Hadzilacos. A theory of reliability in database systems. Journal of the ACM, 35(1):121-145, 1988. (Pubitemid 18563643)
13. Tim Harris, Mark Plesko, Avraham Shinnar, and David Tarditi. Optimizing memory transactions. In Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), 2006. (Pubitemid 44074917)
14. Maurice Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 13(1):124-149, January 1991. (Pubitemid 23600427)
15. Maurice Herlihy and J. Eliot B. Moss. Transactional memory: Architectural support for lock-free data structures. In Proceedings of the 20th Annual International Symposium on Computer Architecture, pages 289-300, May 1993. (Pubitemid 23675551)
16. Maurice Herlihy and Jeannette M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, June 1990. (Pubitemid 20721345)
17. Suresh Jagannathan, Jan Vitek, Adam Welc, and Antony Hosking. A transactional object calculus. Science of Computer Programming, 57 (2):164-186, 2005. (Pubitemid 40908761)
18. Prasad Jayanti. Adaptive and efficient abortable mutual exclusion. In Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing (PODC), 2003.
19. Leslie Lamport. The mutual exclusion problem-part II: Statement and solutions. Journal of the ACM, 33(2), 1985.
20. Leslie Lamport. On interprocess communication-part II: Algorithms. Distributed Computing, 1(2), 1986.
21. Virendra J. Marathe, Michael F. Spear, Christopher Heriot, Athul Acharya, David Eisenstat,William N. Scherer III, and Michael L. Scott. Lowering the overhead of software transactional memory. In 1st ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), Jun 2006.
22. Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl- Tabatabai, Richard L. Hudson, Bratin Saha, and Adam Welc. Practical weak-atomicity semantics for java stm. In Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures (SPAA), 2008.
23. Katherine F. Moore and Dan Grossman. High-level small-step operational semantics for transactions. In Proceedings of the 35th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL), 2008.
24. Christos H. Papadimitriou. The serializability of concurrent database updates. Journal of the ACM, 26(4):631-653, 1979. (Pubitemid 10424639)
25. M. Raynal .,The MIT Press Algorithms for Mutual Exclusion.
26. Michel Raynal. Algorithms for Mutual Exclusion. The MIT Press, 1986. Michael L. Scott. Sequential specification of transactional memory semantics. In 1st ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), 2006.
27. Michael L. Scott and William N. Scherer III. Scalable queue-based spin locks with timeout. In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2001. (Pubitemid 33720377)
28. Jan Vitek, Suresh Jagannathan, Adam Welc, and Antony Hosking. A semantic framework for designer transactions. In Proceedings of the European Symposium on Programming (ESOP), March 2004. (Pubitemid 38458488)