Lock allocation

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

Volumn , Issue , 2007, Pages 291-296

  Emmi, Michael ^a   Fischer, Jeffrey S ^a   Jhala, Ranjit ^b   Majumdar, Rupak ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Atomicity; ILP; Lock inference

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); OPTIMIZATION;

DEADLOCK FREEDOM; LOCK INSTRUMENTATION; PRESERVE ATOMICITY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34548290341     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190216.1190260     Document Type: Conference Paper

References (20)

1. L.O. Andersen. Program analysis and specialization for the C programming language. PhD thesis, 1994.
2. Aolserver, http://www.aolserver.com.
3. E.M.L. Beale and J.A. Tomlin. Special facilities in a general mathematical programming system for non-convex problems using ordered sets of variables. In Proc. Intl. Conf. Oper: Res., pages 447-454, 1970. Tavistock.
4. N. Een and N. Sorensson. Translating pseudo-boolean constraints into SAT. JSAT, pages 1-26, 2006.
5. C. Flanagan and S.N. Freund. Type-based race detection for Java. In PLDI 00, pages 219-232. ACM, 2000.
6. C. Flanagan, S.N. Freund, and M. Lifshin. Type inference for atomicity. In TLDI05, pages 47-58. ACM, 2005.
7. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In PLDI 03, pages 338-349. ACM, 2003.
8. J. Gray and A. Reuter. Transaction processing: Concepts and Techniques. Morgan-Kaufmann, 1993.
9. T. Harris and K. Fraser. Language support for lightweight transactions. In OOPSLA 03, pages 388-402, 2003.
10. M. Hicks, J.S. Foster, and P. Pratikakis. Lock inference for atomic sections. In TRANSACT '06, 2006.
11. G. Holzmann. The Spin model checker. IEEE TSE, 23(5):279-295, 1997.
12. S. Jagannathan and J. Vitek. Optimistic concurrency semantics for transactions in coordination languages. In Intl. Conf. on Coordination Models and Languages, LNCS 2949, pages 183-198. Springer, 2004.
13. D. B. Lomet. Process structuring, synchronization, and recovery using atomic actions. In Language Design for Reliable Software, pages 128-137, 1977.
14. B. McCloskey, F. Zhou, D. Gay, and E. Brewer. Autolocker: Synchronization inference for atomic sections. In POPL 06, pages 346-358. ACM, 2006.
15. G. Naumovich, G.S. Avrunin, and L.A. Clarke. An efficient algorithm for computing MHP information for concurrent Java programs. In FSE 99, pages 338-354. ACM, 1999.
16. G. Necula, S. McPeak, S. Rahul, and W Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation, of C Programs. In CC '02, pages 213-228, 2002.
17. N. Nystrom, M. Clarkson, and A. Myers. Polyglot: An Extensible Compiler Framework, for Java. In CC '03, pages 138-152, 2003.
18. M.F. Ringenburg and D. Grossman. Atomcaml: first-class atomicity via rollback. In ICFP 05, pages 92-104. ACM, 2005.
19. S. Savage, M. Burrows, CG. Nelson, P. Sobalvarro, and T.A. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM TOCS, 15(4):391-411, 1997.
20. N. Sterling. Warlock: a static data race analysis tool. In USENLX Technical Conference, pages 97-106, 1993.