Goldilocks: Efficiently computing the happens-before relation using locksets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4262 LNCS, Issue , 2006, Pages 193-208

  Elmas, Tayfun ^a   Qadeer, Shaz ^b   Tasiran, Serdar ^a  

^a KOÇ UNIVERSITY   (Turkey)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLOCKS; SIGNAL DETECTION; VECTORS; VERIFICATION;

DATA RACES; HAPPENS-BEFORE; ITS EFFICIENCIES; JAVA VIRTUAL MACHINES; LAZY EVALUATION; RACE DETECTION; RUNTIMES; VECTOR CLOCKS;

SOFTWARE TESTING;

EID: 34547416218     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11940197_13     Document Type: Conference Paper

References (19)

1. C. Boyapati, R. Lee, and M. Rinard. A type system for preventing data races and deadlocks in Java programs. In OOPSLA 02: Object-Oriented Programming, Systems, Languages and Applications, pages 211-230. ACM, 2002.
2. Guang-Ien Cheng, Mingdong Feng, Charles E. Leiserson, Keith H. Randall, and Andrew F. Stark. Detecting data races in cilk programs that use locks. In Proceedings of the ACM Symposium on Parallel Algorithms and Architectures (SPAA '98), pages 298-309, Puerto Vallarta, Mexico, June 28-July 2 1998.
3. J.-D. Choi, A. Loginov, and V. Sarkar. Static datarace analysis for multithreaded object-oriented programs. Technical Report RC22146, IBM Research, 2001.
4. Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, and Manu Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI 02: Programming Language Design and Implementation, pages 258-269. ACM, 2002.
5. Mark Christiaens and Koen De Bosschere. Trade, a topological approach to on-the-fly race detection in Java programs. In JVM 01: Java Virtual Machine Research and Technology Symposium, pages 105-116. USENIX, 2001.
6. Tayfun Elmas, Shaz Qadeer, and Serdar Tasiran. Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets, 2006. Full version available at http://www.research.microsoft.com/"qadeer/fatesrv06- fullversion.ps.
7. C. Flanagan and S. N. Freund. Type-based race detection for Java. In PLDI 00: Programming Language Design and Implementation, pages 219-232. ACM, 2000.
8. C. Flanagan and P. Godefroid. Dynamic partial-order reduction for model checking software. In POPL 05: Principles of Programming Languages, pages 110-121. ACM Press, 2005.
9. J. J. Harrow. Runtime checking of multithreaded applications with visual threads. In SPIN 00: Workshop on Model Checking and Software Verification, pages 331-342. Springer-Verlag, 2000.
10. Jeremy Manson, William Pugh, and Sarita Adve. The Java memory model. In POPL 05: Principles of Programming Languages, pages 378-391. ACM Press, 2005.
11. Friedemann Mattern. Virtual time and global states of distributed systems. In International Workshop on Parallel and Distributed Algorithms, pages 215-226. North-Holland, 1989.
12. Robert H. B. Netzer and Barton P. Miller. What are race conditions?: Some issues and formalizations. ACM Lett. Program. Lang. Syst., 1(1):74-88, 1992.
13. E. Pozniansky and A. Schuster. Efficient on-the-fly race detection in multithreaded c++ programs. In PPoPP 03: Principles and Practice of Parallel Programming, pages 179-190. ACM, 2003.
14. M. Ronsse and K. De Bosschere. Recplay: A fully integrated practical record/replay system. ACM Transactions on Computer Systems, 17(2):133-152, 1999.
15. Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
16. Edith Schonberg. On-the-fly detection of access anomalies. In PLDI 89: Programming Language Design and Implementation, pages 313-327, 1989.
17. Christoph von Praun and Thomas R. Gross. Object race detection. In OOPSLA 01: Object-Oriented Programming, Systems, Languages and Applications, pages 70-82. ACM, 2001.
18. T. Wilkinson. Kaffe: A JIT and interpreting virtual machine to run Java code. http://www.transvirtual.com/, 1998.
19. Yuan Yu, Tom Rodeheffer, and Wei Chen. Racetrack: efficient detection of data race conditions via adaptive tracking. In SOSP 05: Symposium on Operating Systems Principles, pages 221-234. ACM, 2005.