Split hardware transactions: True nesting of transactions using best-effort hardware transactional memory

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

Volumn , Issue , 2008, Pages 197-206

  Lev, Yossi ^a   Maessen, Jan Willem ^b  

^a BROWN UNIVERSITY   (United States)

^b SUN MICROSYSTEMS   (United States)

Author keywords

Atomicity; Nesting; Transactional memory

Indexed keywords

ATOMIC BLOCKS; ATOMIC OPERATION; ATOMICITY; BEST-EFFORT; EXPRESSIVE POWER; HARDWARE SUPPORTS; NESTED TRANSACTIONS; NESTING; SOFTWARE SUPPORT; TRANSACTIONAL MEMORY; USER-LEVEL THREADS;

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER PROGRAMMING LANGUAGES; PARALLEL PROGRAMMING; STORAGE ALLOCATION (COMPUTER);

HARDWARE;

EID: 67650088636     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Eric Allen, David Chase, Joe Hallett, Victor Luchangco, JanWillem Maessen, Sukyoung Ryu, and Sam Tobin-Hochstadt. The fortress language specification, version 1.0/3. Available from http://research.sun.com/projects/ plrg/Publications/, March 2007.
2. C. Scott Ananian, Krste Asanović, Bradley C. Kuszmaul, Charles E. Leiserson, and Sean Lie. Unbounded transactional memory. In Proceedings of the 11th International Symposium on High-Performance Computer Architecture (HPCA'05), pages 316-327, San Franscisco, California, February 2005.
3. C. Scott Ananian and Martin Rinard. Efficient object-based software transactions. In Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL), October 2005.
4. Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christos Kozyrakis, and Kunle Olukotun. The Atomos transactional programming language. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, pages 1-13, New York, NY, USA, 2006. ACM Press.
5. JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Austen McDonald, Brian D. Carlstrom, Christos Kozyrakis,, and Kunle Olukotun. The common case transactional behavior of multithreaded programs. In 12th International Symposium on High Performance Computer Architecture (HPCA). Feb 2006.
6. P. Damron, A. Fedorova, Y. Lev, V. Luchangco, M. Moir, and D. Nussbaum. Hybrid transactional memory. In Proc. 12th Symposium on Architectural Support for Programming Languages and Operating Systems, October 2006.
7. D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In Proc. International Symposium on Distributed Computing, 2006.
8. Robert Ennals. Software transactional memory should not be obstruction-free, 2005. http://www.cambridge.intel-research.net/ rennals/notlockfree.pdf.
9. Keir Fraser. Practical lock freedom. PhD thesis, Cambridge University Computer Laboratory, 2003. Also available as Technical Report UCAM-CL-TR-579.
10. Lance Hammond, Vicky Wong, Mike Chen, Brian D. Carlstrom, John D. Davis, Ben Hertzberg, Manohar K. Prabhu, Honggo Wijaya, Christos Kozyrakis, and Kunle Olukotun. Transactional memory coherence and consistency. In Proceedings of the 31st Annual International Symposium on Computer Architecture, page 102. IEEE Computer Society, Jun 2004.
11. Tim Harris, Simon Marlow, Simon Peyton-Jones, and Maurice Herlihy. Composable memory transactions. In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 48-60, New York, NY, USA, 2005. ACM Press.
12. M. Herlihy and E. Moss. Transactional memory: Architectural support for lock-free data structures. In Proceedings of the Twentieth Annual International Symposium on Computer Architecture, 1993.
13. Maurice Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer. Software transactional memory for dynamic-sized data structures. In Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing, pages 92-101, Jul 2003.
14. M.P. Herlihy and J.M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions On Programming Languages and Systems, 12(3):463-492, July 1990.
15. Sanjeev Kumar, Michael Chu, Christopher Hughes, Partha Kundu, and Anthony Nguyen. Hybrid transactional memory. In Preceedings of the 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006.
16. Yossi Lev and Mark Moir. Debugging with transactional memory. Transact 2006 workshop, June 2006. http://research.sun.com/scalable/pubs/Lev-Moir- Debugging-2006.pdf.
17. Yossi Lev, Mark Moir, and Dan Nussbaum. Phtm: Phased transactional memory. Transact 2007 workshop, August 2007. http://www.cs.rochester.edu/ meetings/TRANSACT07/papers/lev.pdf.
18. P. Magnusson, F. Dahlgren, H. Grahn, M. Karlsson, F. Larsson, F. Lundholm, A. Moestedt, J. Nilsson, P. Stenstrom, and B Werner. SimICS/sun4m: A virtual workstation. In Proceedings of the USENIX 1998 Annual Technical Conference (USENIX '98), June 1998.
19. Virendra J. Marathe, William N. Scherer III, and Michael L. Scott. Adaptive software transactional memory. Technical report, Cracow, Poland, Sep 2005. Earlier but expanded version available as TR 868, University of Rochester Computer Science Dept., May 2005.
20. Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann, Michael R. Marty, Min Xu, Alaa R. Alameldeen, Kevin E. Moore, Mark D. Hill, and David A. Wood. Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset. SIGARCH Comput. Archil Afevw, 33(4):92-99,2005.
21. Mark Moir. Hybrid transactional memory, Jul 2005. http://www.es.wisc.edu/ trans-memory/misc-papers/moir:hybridtm:tr:2005.pdf.
22. Kevin E. Moore, Jayaram Bobba, Michelle J. Moravan, Mark D. Hill, and David A. Wood. LogTM: Log-based transactional memory. In Proc. 12th Annual International Symposium on High Performance Computer Architecture, 2006.
23. Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, and David A. Wood. Supporting nested transactional memory in logtm. In ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, pages 359-370, New York, NY, USA, 2006. ACM Press.
24. J. Eliot B. Moss and Antony L. Hosking. Nested transactional memory: Model and architecture sketches. Sei. Comput. Program., 63(2):186-201, 2006.
25. Manohar K. Prabhu and Kunle Olukotun. Using thread-level speculation to simplify manual parallelization. In PPoPP '03: Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 1-12, New York, NY, USA, 2003. ACM Press.
26. Ravi Rajwar, Maurice Herlihy, and Konrad Lai. Virtualizing transactional memory. In ISCA '05: Proceedings of the 32nd Annual International Symposium on Computer Architecture, pages 494-505, Washington, DC, USA, 2005. IEEE Computer Society.
27. W. Scherer and M. Scott. Advanced contention management for dynamic software transactional memory. In Proc. 24th Annual ACM Symposium on Principles of Distributed Computing, 2005.
28. N. Shavit and D. Touitou. Software transactional memory. Distributed Computing, 10(2):99-116, February 1997.