On the correctness of transactional memory

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Volumn , Issue , 2008, Pages 175-184

  Guerraoui, Rachid ^a   Kapalka, Michal ^a  

^a EPFL   (Switzerland)

Author keywords

Correctness; Lower bound; Model; Transactional memory

Indexed keywords

ECONOMIC AND SOCIAL EFFECTS; GRAPH THEORY; MODELS; PARALLEL PROGRAMMING; STORAGE ALLOCATION (COMPUTER);

CONCURRENT PROGRAMMING; CONCURRENT TRANSACTIONS; CORRECTNESS; CORRECTNESS CRITERION; CRITICAL SECTIONS; FORMAL DESCRIPTION; LOWER BOUNDS; TRANSACTIONAL MEMORY;

OPACITY;

EID: 57349163660     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1345206.1345233     Document Type: Conference Paper

References (31)

1. H. Berenson, P. Bernstein, J. Gray, J. Melton, E. O'Neil, and P. O'Neil. A critique of ANSI SQL isolation levels. In Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data (SIGMOD'95), pages 1-10, New York, NY, USA, 1995. ACM Press.
2. P. A. Bernstein and N. Goodman. Multiversion concurrency control- theory and algorithms. ACM Tranactions on Database Systems, 8(4):465-483, 1983.
3. C. Blundell, E. Lewis, and M. M. K. Martin. Subtleties of transactional memory atomicity semantics. IEEE Computer Architecture Letters, 5(2), 2006.
4. Y. Breitbart, D. Georgakopoulos, M. Rusinkiewicz, and A. Silberschatz. On rigorous transaction scheduling. IEEE Transaction? on Software Engineering, 17(9):954-960, 1991.
5. J. Cachopo and A. Rito-Silva. Versioned boxes as the basis for memory transactions. In Proceedings of the Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL); in conjunction with the ACM Conference on ObjectOriented Programming, Systems, Languages and Application? (OOPSLA'05), 2005.
6. D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In Proceedings of the 20th International Symposium on Distributed Computing (DISC'06), 2006.
7. R. Ennals. Software transactional memory should not be obstructionfree. Technical Report IRC-TR-06-052, Intel Research Cambridge Tech Report, Jan 2006.
8. J. Gray and A. Reuter. Tranaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
9. R. Guerraoui, M. Herlihy, and B. Pochon. Toward a theory of transactional contention managers. In Proceedings of the 24th Annual ACM Symposium on Principles of Distributed Computing (PODC'05), 2005.
10. R. Guerraoui and M. Kapalka. Opacity: A correctness condition for transactional memory. Technical Report LPD-REPORT-2007-004, EPFL, May 2007. http://lpd.epfl.ch/kapalka/files/opacity-techreport07.pdf.
11. V. Hadzilacos. A theory of reliability in database systems. Journal of the ACM, 35(1):121-145, 1988.
12. T. Harris, M. Plesko, A. Shinnar, and D. Tarditi. Optimizing memory transactions. In Proceedings of ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI'06), 2006.
13. M. Herlihy. SXM software transactional memory package for C#. http ://www.cs.brown.edu/~mph.
14. M. Herlihy, V. Luchangco, M. Moir, and W. N. Scherer III. Software transactional memory for dynamic-sized data structures. In Proceedings of the 22th Annual ACM Symposium on Principles of Distributed Computing (PODC'03), pages 92-101, 2003.
15. M. Herlihy and J. E. 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.
16. M. Herlihy and J. M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Tranaction? on Programming Languages and Systems, 12(3):463-492, June 1990.
17. L. Lamport. On interprocess communication-part I: Basic formalism, part II: Algorithms. Distributed Computing, 1(2):77-101, 1986.
18. V. J. Maranthe, W. N. Scherer III, and M. L. Scott. Adaptive software transactional memory. In Proceedings of the 19th International Symposium on Distributed Computing (DISCOS), pages 354-368, 2005.
19. V. J. Marathe, M. F. Spear, C. Heriot, A. Acharya, D. Eisenstat, W. N. Scherer III, and M. L. Scott. Lowering the overhead of software transactional memory. In Proceedings of the 1st ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06), 2006.
20. J. E. B. Moss. Nested transactions and reliable distributed computing. In Second IEEE Symposium on Reliability in Distributed Software and Database Systems, pages 33-39, 1982.
21. J. E. B. Moss. Nested Transaction?: An Approach to Reliable Distributed Computing. MIT Press, 1985.
22. J. E. B. Moss. Open nested transactions: Semantics and support. In Poster presented at Workshop on Memory Performance Issues (WMPI'06), Feb. 2006.
23. Y. Ni, V. Menon, A.-R. Adl-Tabatabai, A. L. Hosking, R. L. Hudson, J. E. B. Moss, B. Saha, and T. Shpeisman. Open nesting in software transactional memory. In Proceedings of the ACM SIGPLAN 2007 Symposium on Principles and Practice of Parallel Programming (PPoPP'07), pages 68-78, Mar. 2007.
24. C. H. Papadimitriou. The serializability of concurrent database updates. Journal of the ACM, 26(4):631-653, 1979.
25. T. Riegel, P. Felber, and C. Fetzer. A lazy snapshot algorithm with eager validation. In Proceedings of the 20th International Symposium on Distributed Computing (DISC'06), 2006.
26. T. Riegel, P. Felber, and C. Fetzer. Snapshot isolation for software transactional memory. In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06), 2006.
27. M. L. Scott. Sequential specification of transactional memory semantics. In Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06), 2006.
28. N. Shavit and D. Touitou. Software transactional memory. In Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing (PODC'95), pages 204-213. Aug 1995.
29. M. F. Spear, V. J. Marathe, W. N. Scherer III, and M. L. Scott. Conflict detection and validation strategies for software transactional memory. In Proceedings of the 20th International Symposium on Distributed Computing (DISC'06), 2006.
30. W. E. Weihl. Local atomicity properties: Modular concurrency control for abstract data types. ACM Transactions on Programming Languages and Systems, 11(2):249-282, April 1989.
31. A. Y. Zomaya, editor. Parallel and Distributed Computing Handbook. McGraw-Hill, 1996.