Autolocker: Synchronization inference for atomic sections

ACM SIGPLAN Notices

Volumn 41, Issue 1, 2006, Pages 346-358

  McCloskey, Bill ^a   Zhou, Feng ^a   Gay, David ^b   Brewer, Eric ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b INTEL CORPORATION   (United States)

Author keywords

Atomic; Lock; Pessimistic

Indexed keywords

ATOMIC; LOCK; PESSIMISTIC; TRANSACTIONAL MEMORY;

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; DATA STORAGE EQUIPMENT; PARALLEL PROCESSING SYSTEMS; PROBLEM SOLVING; SERVERS;

INFERENCE ENGINES;

EID: 33745211930     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1111320.1111068     Document Type: Article

References (35)

1. Rakesh Agrawal, Michael J. Carey, and Miron Livny. Concurrency control performance modeling: Alternatives and implications. ACM Trans. Database Syst., 12(4):609-654, 1987.
2. C. Scott Ananian, Krste Asanovic, Bradley C. Kuszmaul, Charles E. Leiserson, and Sean Lie. Unbounded transactional memory. In HPCA '05, pages 316-327. Feb 2005.
3. Chandrasekhar Boyapati. SafeJava: A Unified Type System for Safe Programming. PhD thesis, Massachusetts Institute of Technology, 2004.
4. M. Christiaens and K. de Bosschere. TRaDE: A topological approach to on-the-fly race detection in java programs. In Proc. of the Java Virtual Machine Research and Technology Symposium, April 2001.
5. Robert Ennals. Software transactional memory should not be obstruction-free. http://www.cambridge.intel-research.net/~rennals/faststm.html.
6. Cormac Flanagan and Stephen N. Freund. Type-based race detection for Java. In PLDI '00, pages 219-232, 2000.
7. Cormac Flanagan and Stephen N Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL '04, pages 256-267, 2004.
8. Cormac Flanagan and Stephen N. Freund. Type Inference Against Races. In SAS'04, pages 116-132, 2004.
9. Cormac Flanagan and Stephen N. Freund. Automatic Synchronization Correction. In Synchronization and Concurrency in Object-Oriented Languages (SCOOL), 2005.
10. Cormac Flanagan, Stephen N. Freund, and Marina Lifshin. Type Inference for Atomicity. In TLDI '05, pages 47-58, 2005.
11. Cormac Flanagan and Shaz Qadeer. A type and effect system for atomicity. In PLDI '03, pages 338-349, 2003.
12. Keir Fraser. Practical lock freedom. PhD thesis, Cambridge University Computer Laboratory, 2003.
13. Also available as Technical Report UCAM-CL-TR-579.
14. Keir Fraser and Tim Harris. Concurrent programming without locks. http://www.cl.cam.ac.uk/Research/SRG/netos/lock-free.
15. J. N. Gray, R. A. Lorie, G. R. Putzolu, and I. L. Traiger. Granularity of locks and degrees of consistency in a shared data base. Technical report, IBM Research Laboratory, 1975. Report RJ 1654.
16. Tim Harris. Exceptions and side-effects in atomic blocks. In Proceedings of the 2004 Workshop on Concurrency and Synchronization in Java programs, pages 46-53, Jul 2004. Proceedings published as Memorial University of Newfoundland CS Technical Report 2004-01.
17. Tim Harris and Keir Fraser. Language support for lightweight transactions. In OOPSLA '03, pages 388-402. Oct 2003.
18. Tim Harris and Keir Fraser. Revocable locks for non-blocking programming. In PPoPP '05. Jun 2005.
19. Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Composable memory transactions. In PPoPP '05. Jun 2005.
20. Maurice Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer III. Software transactional memory for dynamic-sized data structures. In PODC '03, pages 92-101. Jul 2003.
21. Maurice Herlihy and J. Eliot B. Moss. Transactional memory: Architectural support for lock-free data structures. In ISCA '93, pages 289-300. May 1993.
22. Barbara Liskov and Robert Scheifler. Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Transactions on Programming Languages and Systems, 5(3):381-404, 1983.
23. D. B. Lomet. Process Structuring, Synchronization, and Recovery using Atomic actions. In Proceedings of an ACM Conference on Language Design for Reliable Software, pages 128-137, 1977.
24. Maged M. Michael and Michael L. Scott. Simple, fast, and practical non-blocking and blocking concurrent queue algorithms. In PODC '96, pages 267-275, 1996.
25. Kevin E. Moore, Mark D. Hill, and David A. Wood. Thread-level transactional memory. Technical report, University of Wisconsin, Mar 2005. CS-TR-2005-1524.
26. George C. Necula, Scott McPeak, Shree Prakash Rahul, and Westley Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In CC '02, pages 213-228, 2002.
27. C. Praun and T. Gross. Object race detection. In OOPSLA '01, pages 70-82, 2001.
28. Ravi Rajwar and James R. Goodman. Transactional lock-free execution of lock-based programs. In ASPLOS '02, pages 5-17. Oct 2002.
29. Ravi Rajwar, Maurice Herlihy, and Konrad Lai. Virtualizing transactional memory. In ISCA '05, pages 494-505. Jun 2005.
30. Raghu Ramakrishnan and Johannes Gehrke. Database Management Systems. McGraw-Hill Science/Engineering/Math, 2002.
31. Alexandra Salcianu and Martin Rinard. Pointer and escape analysis for multithreaded programs. In PPoPP '01. Jun 2001.
32. Amit Sasturkar, Rahul Agarwal, Liqiang Wang, and Scott D. Stoller. Automated Type-Based Analysis of Data Races and Atomicity. In PPoPP '05, pages 83-94, 2005.
33. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
34. E. Schonberg. On-the-fly detection of access anomalies. In PLDI '89, pages 285-297, 1989.
35. Y. Yu, T. L. Rodeheffer, and W. Chen. RaceTrack: Efficient detection of data race conditions via adaptive tracking. Technical report, Microsoft Research, 2005. MSR-TR-2005-54.