Inferring locks for atomic sections

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

Volumn , Issue , 2008, Pages 304-315

  Cherem, Sigmund ^a,b   Chilimbi, Trishul ^b   Gulwani, Sumit ^b  

^a Cornell University ^*  (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Atomic sections; Concurrency; Static lock inference

Indexed keywords

ATOMIC SECTIONS; CONCURRENCY; CONCURRENT PROGRAMS; OPTIMISTIC CONCURRENCIES; STATIC LOCK INFERENCE; TRANSACTIONAL MEMORIES;

ATOMIC PHYSICS; ATOMS; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; COMPUTERS; CONCURRENCY CONTROL; LINGUISTICS; LOCKS (FASTENERS); PROGRAM COMPILERS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 56449111854     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375581.1375619     Document Type: Conference Paper

References (24)

1. Phoenix compiler infrastructure, http://research.microsoft.com/phoenix/.
2. Colin Blundell, E. Lewis, and Milo Martin. Subtleties of transactional memory atomicity semantics. IEEE Computer Architecture Letters, 5(2), 2006.
3. Brendan Burns, Kevin Grimaldi, Alexander Kostadinov, Emery D. Berger, and Mark D. Corner. Flux: a language for programming high-performance servers. In Proceedings of the annual conference on USENIX '06 Annual Technical Conference, pages 13-13, 2006.
4. Chi Cao Minh, Martin Trautmann, JaeWoong Chung, Austen McDonald, Nathan Bronson, Jared Casper, Christos Kozyrakis, and Kunle Olukotun. An effective hybrid transactional memory system with strong isolation guarantees. In Proceedings of the International Symposium on Computer Architecture, Jun 2007.
5. Luis Ceze, Pablo Montesinos, Christoph von Praun, and Josep Torrellas. Colorama: Architectural support for data-centric synchronization. In Proceedings of the International Symposium on High Performance Computer Architecture, pages 133-144, 2007.
6. Sigmund Cherem, Trishul Chilimbi, and Sumit Gulwani. Inferring locks for atomic sections. Technical Report MSR-TR-2007-111, MSR, August 2007.
7. Dave Dice, Ori Shalev, and Nir Shavit. Transactional locking ii. In Proceedings of the 20th International Symposium on Distributed Computing (DISC), Stockholm, Sweeden, September 2006.
8. Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, and Rupak Majumdar. Lock allocation. In Proceedings of the ACM Symposium on the Principles of Programming Languages, 2007.
9. Keir Fraser and Tim Harris. Concurrent programming without locks. ACM Transactions on Computer Systems, 25(2), 2007.
10. Richard L. Halpert, Christopher J. F. Pickett, and Clark Verbrugge. Component-based lock allocation. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, September 2007.
11. Lance Hammond, Vicky Wong, Mike Chen, Brian D. Carlstrom, John D. Davis, Ben Hertzberg, Manohar K. Prabhu, Honggo Wijaya, Christos Kozyrakis, and Kunle Olukotun. Transactional memory coherence and consistency. In Proceedings of the International Symposium on Computer Architecture, 2004.
12. Maurice Herlihy and J. Eliot B. Moss. Transactional memory: architectural support for lock-free data structures. In Proceedings of the International Symposium on Computer Architecture, San Diego, CA, 1993.
13. Michael Hicks, Jeffrey S. Foster, and Polyvios Prattikakis. Lock inference for atomic sections. In ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006.
14. Benjamin Hindman and Dan Grossman. Atomicity via source-to-source translation. In ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, October 2006.
15. R. Lorie J. Gray and G.F. Putzolu. Granularity of locks in a shared database. In Proceedings of International Conference on Very Large Databases, 1975.
16. R. Lorie J. Gray, G.F. Putzolu, and I.L. Traiger. Granularity of locks and degrees of consistency. In Modeling in Data Base Management Systems, G.M. Nijssen ed., North Holland Pub., 1976.
17. V. J. Marathe, M. F. Spear, C. Heriot, A. Acharya, D. Eisenstat, W. N. Scherer III, and M. L. Scott. Lowering the overhead of software transactional memory. In ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, Jun 2006.
18. Bill McCloskey, Feng Zhou, David Gay, and Eric Brewer. Autolocker: synchronization inference for atomic sections. In Proceedings of the ACM Symposium on the Principles of Programming Languages, pages 346-358, 2006.
19. T. Reps, S. Horowitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In Proceedings of the ACM Symposium on the Principles of Programming Languages. ACM, January 1995.
20. B. Saha, A. 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 Proceedings of the ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 187-197, 2006.
21. Nir Shavit and Dan Touitou. Software transactional memory. In Proceedings of the ACM symposium on Principles of Distributed Computing, 1995.
22. Bjarne Steensgaard. Points-to analysis in almost linear time. In Proceedings of the ACM Symposium, on the Principles of Programming Languages, St. Petersburg Beach, FL, Jan 1996.
23. Joseph Uniejewski. SPEC Benchmark Suite: Designed for today's advanced systems. SPEC Newsletter Vol 1, Issue 1, SPEC, Fall 1989.
24. Mandana Vaziri, Frank Tip, and Julian Dolby. Associating synchronization constraints with data in an object-oriented language. In Proceedings of the ACM Symposium on the Principles of Programming Languages, January 2006.