A runtime system for software lock elision

Proceedings of the 4th ACM European Conference on Computer Systems, EuroSys'09

Volumn , Issue , 2009, Pages 261-274

  Roy, Amitabha ^a   Hand, Steven ^a   Harris, Tim ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Algorithms; Design; Performance

Indexed keywords

ATOMIC BLOCKS; CONCURRENT THREADS; CRITICAL SECTIONS; GARBAGE COLLECTION; IF THERE ARE; MULTI-CORE PROCESSOR; PARALLEL PROGRAM; PERFORMANCE; RUNTIME SYSTEMS; SOFTWARE RUNTIME; SYSTEMS CODE; TYPE-SAFE LANGUAGES;

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; PARALLEL ARCHITECTURES; QUERY LANGUAGES; REFUSE COLLECTION; WASTE DISPOSAL;

JAVA PROGRAMMING LANGUAGE;

EID: 70349144374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1519065.1519094     Document Type: Conference Paper

References (31)

1. Martín Abadi, Andrew Birrell, Tim Harris, and Michael Isard. Semantics of transactional memory and automatic mutual exclusion. In POPL '08, 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 63-74, January 2008.
2. Martín Abadi, Tim Harris, and Mojtaba Mehrara. Transactional memory with strong atomicity using off-the-shelf memory protection hardware. In PPoPP '09, 14th ACM SIG-PLAN Symposium on Principles and Practice of Parallel Programming, February 2009.
3. Robert D. Blumofe, Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, and Yuli Zhou. Cilk: An efficient multithreaded runtime system. Technical Report MIT-LCS-TM-548, 1995.
4. Hans-J. Boehm and Sarita V. Adve. Foundations of the C++ concurrency memory model. In PLDI '08: Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 68-78, June 2008.
5. Chi Cao Minh, JaeWoong Chung, Christos Kozyrakis, and Kunle Olukotun. STAMP: Stanford transactional applications for multi-processing. In IISWC '08: Proc. IEEE International Symposium on Workload Characterization, pages 35-46, September 2008.
6. Dave Dice, Ori Shalev, and Nir Shavit. Transactional locking II. In DISC '06: Proc. 20th International Symposium on Distributed Computing, pages 194-208, September 2006.
7. Keir Fraser. Practical lock freedom. PhD thesis, Cambridge University Computer Laboratory, 2003. Also available as Technical Report UCAM-CL-TR-579.
8. Tim Harris and Keir Fraser. Language support for lightweight transactions. In OOPSLA '03: Proc. 18th ACM SIG-PLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 388-402, November 2003.
9. Tim Harris and Keir Fraser. Revocable locks for non-blocking programming. In PPoPP '05: Proc. 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 72-82, June 2005.
10. Maurice Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer, III. Software transactional memory for dynamic-sized data structures. In PODC '03: Proc. 22nd ACM Symposium on Principles of Distributed Computing, pages 92-101, July 2003.
11. Amos Israeli and Lihu Rappoport. Disjoint-access-parallel implementations of strong shared memory primitives. In PODC '94: Proc. 13th ACM Symposium on Principles of Distributed Computing, pages 151-160, August 1994.
12. H. T. Kung and Philip L. Lehman. Concurrent manipulation of binary search trees. ACM Trans. Database Syst., 5 (3):354-382, 1980.
13. Jim Larus and Ravi Rajwar. Transactional Memory. Morgan & Claypool Publishers, 2007.
14. Virendra J. Marathe and Mark Moir. Toward high performance nonblocking software transactional memory. In PPoPP '08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming, pages 227-236, New York, NY, USA, February 2008.
15. 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. Technical Report TR 893, Computer Science Department, University of Rochester, March 2006.
16. Vijay Menon, Steven Balensiefer, Tatiana Shpeis-man, Ali-Reza Adl-Tabatabai, Richard Hudson, Bratin Saha, and Adam 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, February 2008.
17. Vijay Menon, Steven Balensiefer, Tatiana Shpeis-man, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, and Adam Welc. Towards a lock-based semantics for Java STM. Technical Report UW-CSE-07-11-01, University of Washington, Nov 2007.
18. Maged M. Michael. Hazard pointers: Safe memory reclamation for lock-free objects. IEEE Trans. Parallel Distrib. Syst., 15(6):491-504, 2004.
19. Kevin E. Moore, Jayaram Bobba, Michelle J. Mora-van, Mark D. Hill, and David A. Wood. LogTM: Log-based transactional memory. In Proc. 12th International Symposium on High-Performance Computer Architecture, pages 254-265. February 2006.
20. Marek Olszewski, Jeremy Cutler, and J. Gregory 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, September 2007.
21. Ravi Rajwar and James R. Goodman. Speculative lock elision: enabling highly concurrent multithreaded execution. In MICRO '01: Proc. 34th ACM/IEEE International Symposium on Micro architecture, pages 294-305, December 2001.
22. Torvald Riegel and Diogo Becker de Brum. Making object-based STM practical in unmanaged environments. In TRANSACT '08, 3rd ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, February 2008.
23. Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Bhandari Aditya, and Emmett Witchel. TxLinux: using and managing hardware transactional memory in an operating system. In SOSP '07: Proc. 21st ACM S1GOPS Symposium on Operating Systems Principles, pages 87-102, October 2007.
24. Amitabha Roy, Steven Hand, and Tim Harris. Exploring the Limits of Disjoint Access Parallelism. In Proceedings of HotPar '09:1st USENIX Workshop on Hot Topics in Parallelism (to appear), March 2009.
25. Yannis Smaragdakis, Anthony Kay, Reimer Behrends, and Michal Young. General and efficient locking without blocking. In MSPC '08: Proc. 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness, pages 1-5, March 2008.
26. Michael F. Spear, Virendra J. Marathe, Luke Da-lessandro, and Michael L. Scott. Privatization techniques for software transactional memory. Technical Report TR 915, Computer Science Department, University of Rochester, February 2007.
27. Michael F. Spear, Maged M. Michael, and Michael L. Scott. Inevitability mechanisms for software transactional memory. In TRANSACT '08: Proc 3rd ACM SIGPLAN Workshop on Transactional Computing. February 2008.
28. Cheng Wang, Wei-Yu Chen, Youfeng Wu, Bratin Saha, and Ali-Reza 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, March 2007.
29. Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, and Scott A. Mahlke. Gadara: Dynamic deadlock avoidance for multithreaded programs. In OSDI '08: Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, pages 281-294, 2008.
30. Adam Welc, Bratin Saha, and Ali-Reza Adl-Tabatabai. Irrevocable transactions and their applications. In SPAA '08: Proc. 20th Symposium on Parallelism in Algorithms and Architectures, pages 285-296, June 2008.
31. Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, and Suresh Jagannathan. A uniform transactional execution environment for Java. In ECOOP '08: Proc. 22nd European Conference on Object-Oriented Programming, pages 129-154, July 2008.