Feedback-directed barrier optimization in a strongly isolated STM

ACM SIGPLAN Notices

Volumn 44, Issue 1, 2009, Pages 213-225

  Bronson, Nathan G ^a   Kozyrakis, Christos ^a   Olukotun, Kunle ^a  

^a Stanford University   (United States)

Author keywords

Bytecode rewriting; Deoptimization; Hot swap; Strong isolation; Transactional memory; Weak isolation

Indexed keywords

CONCURRENCY CONTROL; PARALLEL PROGRAMMING; STORAGE ALLOCATION (COMPUTER);

BYTECODE REWRITING; DE-OPTIMIZATION; HOT SWAP; STRONG ISOLATION; TRANSACTIONAL MEMORY; WEAK ISOLATION;

COST REDUCTION;

EID: 70349884643     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1594834.1480909     Document Type: Conference Paper

References (23)

1. Intel C++ STM Compiler, Prototype Edition. http://software.intel.com.
2. A.-R. Adl-Tabatabai, B. Lewis, V. Menon, B. R. Murphy, B. Saha, and T. Shpeisman. Compiler and runtime support for efficient software transactional memory. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, New York, NY, USA, 2006. ACM Press.
3. S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanović, T. VanDrunen, D. von Dincklage, and B. Wiedermann. The DaCapo benchmarks: Java benchmarking development and analysis. In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications, pages 169-190, New York, NY, USA, Oct. 2006. ACM Press.
4. E. Bruneton, R. Lenglet, and T. Coupaye. ASM: a code manipulation tool to implement adaptable systems. Adaptable and Extensible Component Systems, 2002.
5. J. Chung, H. Chafi, C. Cao Minh, A. McDonald, B. D. Carlstrom, C. Kozyrakis, and K. Olukotun. The Common Case Transactional Behavior of Multithreaded Programs. In Proceedings of the 12th International Conference on High-Performance Computer Architecture, February 2006.
6. D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In DISC'06: Proceedings of the 20th International Symposium on Distributed Computing, March 2006.
7. D. Grossman. The transactional memory / garbage collection analogy. SIGPLAN Not., 42(10):695-706, 2007.
8. D. Grossman, J. Manson, and W. Pugh. What do high-level memory models mean for transactions? In MSPC: Workshop on Memory Systems Performance and Correctness, October 2006.
9. T. Harris, M. Plesko, A. Shinnar, and D. Tarditi. Optimizing memory transactions. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, New York, NY, USA, 2006. ACM Press.
10. M. Herlihy, V. Luchangco, M. Moir, and I. William N. Scherer. Software transactional memory for dynamic-sized data structures. In PODC '03: Proceedings of the 22nd annual symposium on Principles of distributed computing, pages 92-101, New York, NY, USA, 2003. ACM.
11. B. Hindman and D. Grossman. Atomicity via source-to-source translation. In MSPC: Workshop on Memory Systems Performance and Correctness, October 2006.
12. Java Specification Request (JSR) 133: Java Memory Model and Thread Specification, September 2004.
13. V. Luchangco. Against lock-based semantics for transactional memory. In SPAA '08: Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures, pages 98-100, New York, NY, USA, 2008. ACM.
14. V. Menon, S. Balensieger, T. Shpeisman, A.-R. Adl-Tabatabai, R. L. Hudson, B. Saha, and A. Welc. Practical Weak-Atomicity Semantics for Java STM. In SPAA '08: Proceedings of the 20th ACM Symposium on Parallel Algorithms and Architectures, 2008.
15. M. Paleczny, C. Vick, and C. Click. The Java HotSpotTM Server Compiler. In JVM '01: Proceedings of the JavaTMVirtual Machine Research and Technology Symposium. USENIX, 2001.
16. T. Riegel, C. Fetzer, and P. Felber. Automatic data partitioning in software transactional memories. In SPAA '08: Proceedings of the 20th ACM Symposium on Parallelism in Algorithms and Architectures, pages 152-159, New York, NY, USA, 2008. ACM.
17. K. Russell and D. Detlefs. Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. In OOPSLA '06: Proceedings of the 21st ACM SIGPLAN conference on Object-Oriented Programming Systems, Languages, and Applications, pages 263-272, New York, NY, USA, 2006. ACM. (Pubitemid 46726086)
18. B. Saha, A.-R. Adl-Tabatabai, R. L. Hudson, C. Cao Minh, and B. Hertzberg. McRT-STM: A high performance software transactional memory system for a multi-core runtime. In PPoPP '06: Proceedings of the 11th ACM SIGPLAN symposium on Principles and practice of parallel programming, New York, NY, USA, March 2006. ACM Press.
19. F. T. Schneider, V. Menon, T. Shpeisman, and A.-R. Adl-Tabatabai. Dynamic optimization for efficient strong atomicity. In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-Oriented Programming Systems, Languages, and Applications, New York, NY, USA, October 2008. ACM.
20. M. L. Scott, M. F. Spear, L. Dalessandro, and V. J. Marathe. Transactions and privatization in delaunay triangulation. In PODC '07: Proceedings of the 26th ACM symposium on Principles of Distributed Computing, pages 336-337, NY, USA, 2007. ACM.
21. T. Shpeisman, V. Menon, A.-R. Adl-Tabatabai, S. Balensiefer, D. Grossman, R. L. Hudson, K. Moore, and B. Saha. Enforcing isolation and ordering in STM. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2007.
22. C. Unkel and M. S. Lam. Automatic inference of stationary fields: a generalization of java's final fields. In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 183-195, New York, NY, USA, 2008. ACM.
23. C.Wang,W.-Y. Chen, Y.Wu, B. Saha, and A.-R. Adl-Tabatabai. Code generation and optimization for transactional memory constructs in an unmanaged language. In CGO '07: Proceedings of the International Symposium on Code Generation and Optimization, March 2007.