Feedback-directed barrier optimization in a strongly isolated STM

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

Volumn , Issue , 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

BYTECODE REWRITING; DEOPTIMIZATION; HOT SWAP; STRONG ISOLATION; TRANSACTIONAL MEMORY; WEAK ISOLATION;

ATOMS; COMPUTER SOFTWARE; CONCURRENCY CONTROL; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; MODEL STRUCTURES; OPTIMIZATION; QUERY LANGUAGES; STORAGE ALLOCATION (COMPUTER);

PARALLEL PROGRAMMING;

EID: 67649857199     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1480881.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. (Pubitemid 44074918)
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. Stefanovíc, 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. (Pubitemid 44418397)
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. (Pubitemid 44849711)
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. (Pubitemid 47177304)
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. (Pubitemid 44074917)
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. (Pubitemid 47177306)
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. (Pubitemid 44758689)
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. (Pubitemid 47630677)
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. (Pubitemid 47214297)