Enforcing isolation and ordering in stm

ACM SIGPLAN Notices

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

PROGRAM COMPILERS; STORAGE ALLOCATION (COMPUTER); VIRTUAL MACHINE;

CODE GENERATION; COMPILER OPTIMIZATIONS; ESCAPE ANALYSIS; ISOLATION; ORDERING; STRONG ATOMICITY; TRANSACTIONAL MEMORY; WEAK ATOMICITIES;

CONCURRENCY CONTROL;

EID: 67650091971     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1273442.1250744     Document Type: Article

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. 87
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 fiexible 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. Confiict 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-aJava optimization framework. In CASCON 1999.
57. C. von Praun and T. R. Gross. Static confiict 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.