Enforcing isolation and ordering in STM

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2007, Pages 78-88

  Shpeisman, Tatiana ^a   Menon, Vijay ^a   Adl Tabatabai, Ali Reza ^a   Balensiefer, Steven ^b   Grossman, Dan ^b   Hudson, Richard L ^a   Moore, Katherine F ^b   Saha, Bratin ^a  

^a INTEL CORPORATION   (United States)

^b University of Washington   (United States)

Author keywords

Code generation; Compiler optimizations; Escape analysis; Isolation; Ordering; Strong atomicity; Transactional memory; Virtual machines; Weak atomicity

Indexed keywords

COMPILER OPTIMIZATIONS; ESCAPE ANALYSIS; STRONG ATOMICITY; TRANSACTIONAL MEMORY; WEAK ATOMICITY;

DATA STORAGE EQUIPMENT; DATA STRUCTURES; PROGRAM COMPILERS; SYNCHRONIZATION;

AUTOMATIC PROGRAMMING;

EID: 35448946823     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1250734.1250744     Document Type: Conference Paper

References (59)

1. A.-R. Adl-Tabatabai, B. T. Lewis, V. S. Menon, B. R. Murphy, B. Saha, and T. Shpeisman. Compiler and runtime support for efficient software transactional memory. In PLDI 2006.
2. S. Adve and K. Gharachorloo. Shared memory consistency models: A tutorial. IEEE Computer, 29(12):66-76, 1996.
3. J. Aldrich, E. G. Sirer, C. Chambers, and S. Eggers. Comprehensive synchronization elimination for Java. Sci. Comput. Programming, 47(2-3), May-June 2003.
4. E. Allen, D. Chase, J. Hallett, V. Luchangco, J.-W. Maessen, S. Ryu, G. L. Steele, Jr., and S. Tobin-Hochstadt. The Fortress language specification version 1.0α. http://research.sun.com/projects/plrg/fortress.pdf, 2006.
5. C. S. Ananian, K. Asanovic, B. C. Kuszmaul, C. E. Leiserson, and S. Lie. Unbounded transactional memory. In HPCA 2005.
6. C. S. Ananian and M. Rinard. Efficient object-based software transactions. In SCOOL 2005.
7. M. Berndl, O. Lhoták, F. Qian, L. Hendren, and N. Umanee. Points-to analysis using BDDs. In PLDI 2003.
8. B. Blanchet. Escape analysis for object-oriented languages: Application to Java. In OOPSLA 1999.
9. C. Blundell, E. C. Lewis, and M. Martin. Subtleties of transactional, memory atomicity semantics. Computer Architecture Letters, 5(2), Nov. 2006.
10. H. Boehm. Threads cannot be implemented as a library. In PLDI 2005.
11. J. Bogda and U. Hölzle. Removing unnecessary synchronization in Java. In OOPSLA 1999.
12. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In OOPSLA 2002.
13. B. D. Carlstrom, J. Chung, A. McDonald, H. Chafi, C. Kozyrakis, and K. Olukotun. The Atomos transactional, programming language. In PLDI 2006.
14. P. Charles, C. Donawa, K. Ebcioglu, C. Grothoff, A. Kielstra, C. von Praun, V. Saraswat, and V. Sarkar. X10: an object-oriented approach to non-uniform cluster computing. In OOPSLA 2005.
15. J.-D. Choi, M. Gupta, M. J. Serrano, V. C. Sreedhar, and S. P. Midkiff. Escape analysis for Java. In OOPSLA 1999.
16. Cray Inc. Chapel. Specification 0.4. http://chapel.cs.washington.edu/ specification.pdf, 2005.
17. P. Damron, A. Fedorova, Y. Lev, V. Luchangco, M. Moir, and D. Nussbaum. Hybrid transactional memory. In ASPLOS 2006.
18. D. Dice, O. Shalev, and N. Shavit. Transactional Locking II. In DISC 2006.
19. T. Domani, G. Goldshtein, E. K. Kolodner, E. Lewis, E. Petrank, and D. Sheinwald. Thread-local heaps for Java. In ISMM 2002.
20. C. Flanagan and S. N. Freund. Type inference against races. In SAS 2004.
21. K. Fraser. Practical, lock freedom. PhD thesis, Cambridge University Computer Laboratory, 2003. Technical Report. UCAM-CL-TR-579.
22. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
23. D. Grossman, J. Manson, and W. Pugh. What do high-level memory models mean for transactions? In MSPC 2006.
24. L. Hammond, B. D. Carlstrom, V. Wong, B. Hertzberg, M. Chen, C. Kozyrakis, and K. Olukotun. Programming with transactional, coherence and consistency (tcc). In ASPLOS 2004.
25. T. Harris and K. Fraser. Language support for lightweight transactions. In OOPSLA 2003.
26. T. Harris, S. Marlow, S. P. Jones, and M. Herlihy. Composable memory transactions. In PPoPP 2005.
27. T. Harris, M. Plesko, A. Shinnar, and D. Tarditi. Optimizing memory transactions. In PLDI 2006.
28. M. Herlihy, V. Luchangco, M. Moir, and I. William N. Scherer. Software transactional, memory for dynamic-sized data structures. In PODC 2003.
29. M. Herlihy, V. Luchangco, and M. Moir. A flexible framework for implementing software transactional memory. In OOPSLA 2006.
30. M. Herlihy and J. E. B. Moss. Transactional memory: architectural support for lock-free data structures. In ISCA 1993.
31. B. Hindman and D. Grossman. Atomicity via source-to-source translation. In MSPC 2006.
32. R. L. Hudson, B. Saha, A.-R. Adl-Tabatabai, and B. C. Hertzberg. Mcrt-malloc: A scalable transactional memory allocator. In ISMM 2006.
33. S. Kumar, M. Chu, C. J. Hughes, P. Kundu, and A. Nguyen. Hybrid transactional, memory. In PPoPP 2006.
34. H. T. Kung and J. T. Robinson. On optimistic methods for concurrency control. ACM Trans. Database Syst., 6(2), 1981.
35. J. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool Publishers, 2006.
36. Y. Lev and J.-W. Maessen. Towards a safer interaction with transactional memory by tracking object visibility. In SCOOL 2005.
37. J. Manson, J. Baker, A. Cunei, S. Jagannathan, M. Prochazka, B. Xin, and J. Vitek. Preemptible atomic regions for real-time Java. In IEEE Real-Time Systems Symposium 2005.
38. J. Manson, W. Pugh, and S. V. Adve. The Java memory model. In POPL 2005.
39. V. J. Marathe, W. N. Scherer, and M. L. Scott. Adaptive software transactional memory. In International Symposium on Distributed Computing 2005.
40. B. McCloskey, F. Zhou, D. Gay, and E. Brewer. Autolocker: synchronization inference for atomic sections. In POPL 2006.
41. A. McDonald, J. Chung, B. D. Carlstrom, C. Cao Minh, H. Chafi, C. Kozyrakis, and K. Olukotun. Architectural semantics for practical transactional, memory. In ISCA 2006.
42. K. E. Moore, J. Bobba, M. J. Moravan, M. D. Hill, and D. A. Wood. LogTM.: Log-based transactional memory. In HPCA 2006.
43. M. J. Moravan, J. Bobba, K. E. Moore, L. Yen, M. D. Hill, B. Liblit, M. M. Swift, and D. A. Wood. Supporting nested transactional, memory in LogTM. In ASPLOS 2006.
44. M. Naik, A. Aiken, and J. Whaley. Effective static race detection for Java. In PLDI 2006.
45. 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 PPoPP 2007.
46. R. Rajwar, M. Herlihy, and K. Lai. Virtualizing transactional, memory. In ISCA 2005.
47. M. F. Ringenburg and D. Grossman, AtomCaml: first-class atomicity via rollback. In ICFP 2005.
48. E. Ruf. Effective synchronization removal for Java. In PLDI 2000.
49. B. Saha, A.-R. Adl-Tabatabai, R. Hudson, C. C. Minh, and B. Hertzberg. McRT-STM: A high performance software transactional memory system for a multi-core runtime. In PPoPP 2006.
50. B. Saha, A.-R. Adl-Tabatabai, and Q. Jacobson. Architectural support for software transactional memory. In MICRO 2006.
51. N. Shavit and D. Touitou. Software transactional memory. In PODC 1995.
52. M. F. Spear, V. J. Marathe, L. Dalessandro, and M. L. Scott. Privatization techniques for software transactional memory. Technical Report 915, University of Rochester, Computer Science Dept., 2007.
53. M. F. Spear, V. J. Marathe, W. N. Scherer, and M. L. Scott. Conflict detection and validation strategies for software transactional memory. In DISC 2006.
54. Standard Performance Evaluation Corporation. SPEC JVM98 Benchmarks, http://www.spec.org/osg/jvm98.
55. Standard Performance Evaluation Corporation. SPEC JBB2000, 2000. See http://www.spec.org/jbb2000.
56. R. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java optimization framework. In GASCON 1999.
57. C. von Praun and T. R. Gross. Static conflict analysis for multi-threaded object-oriented programs. In PLDI 2003.
58. 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 2007.
59. A. Welc, S. Jagannathan, and A. L. Hosking. Revocation techniques for Java concurrency. In Concurrency and Computation:Practice and Experience. John Wiley and Sons, 2005.