Hybrid dynamic data race detection

ACM SIGPLAN Notices

Volumn 38, Issue 10, 2003, Pages 166-177

  O'Callahan, Robert ^a   Choi, Jong Deok ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Java dynamic race detection happens before lockset hybrid

Indexed keywords

ALGORITHMS; JAVA PROGRAMMING LANGUAGE; PROGRAM DIAGNOSTICS; USABILITY ENGINEERING; WORLD WIDE WEB;

DATA RACE DETECTION; PROGRAM VERIFICATION;

COMPUTER SYSTEMS PROGRAMMING;

EID: 1442313250     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/966049.781528     Document Type: Article

References (25)

1. A. Aiken and D. Gay. Barrier inference. In Proceedings of the 25th Symposium on Principles of Programming Languages (POPL), pages 342-354, January 1998.
2. G. Ausiello, A. D'Atri, and M. Protasi. Structure preserving reductions among convex optimization problems. Journal of Computer System Sciences, 21(1):136-153, Aug. 1980.
3. D. Bacon, J. Bloch, J. Bogda, C. Click, P. Haahr, D. Lea, T. May, J.-W. Maessen, J. D. Mitchell, K. Nilsen, B. Pugh, and E. G. Sirer. The "double-checked locking is broken" declaration. http://www.cs.umd.edu/pugh/java/memoryModel/DoubleCheckedLocking.html.
4. D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of java without data races. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 2000.
5. C. Boyapati and M. Rinard. A parameterized type system for race-free java programs. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 2001.
6. M. Burrows. Personal communication.
7. B. Charron-Bost. Concerning the size of logical clocks in distributed systems. Information Processing Letters, 39(1), July 1991.
8. G.-I. Cheng, M. Feng, C. E. Leiserson, K. H. Randall, and A. F. Stark. Detecting data races in Cilk programs that use locks. Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures, 1998.
9. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise data race detection for object oriented programs. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 285-297, June 2002.
10. M. Christiaens and K. De Bosschere. TRaDe, a topological approach to on-the-fly race detection in java programs. Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM'01), April 2001.
11. A. Dinning and E. Schonberg. Detecting access anomalies in programs with critical sections. Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 26(12):85-96, 1991.
12. C. J. Fidge. Timestamp in message passing systems that preserves partial ordering. In Proceedings of the 11th Australian Computing Conference, pages 56-66, 1988.
13. C. Flanagan and S. N. Freund. Type-based race detection for java. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 219-232, June 2000.
14. J. Gosling, B. Joy, and G. Steele. The Java™ Language Specification. Addison-Wesley, 1996.
15. C. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall, 1985.
16. KL Group, 260 King Street East, Toronto, Ontario, Canada, Getting Started with JProbe.
17. Kuck & Associates, Inc., 1906 Fox Drive, Champaign, IL 61820-7345, USA. AssureJ User's Manual, 2.0 Edition, March 1999.
18. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.
19. F. Mattern. Virtual time and global states of distributed systems. In Proceedings of the Parallel and Distributed Algorithms Conference, pages 215-226. Elsevier Science, 1988.
20. R. H. Netzer and B. P. Miller. What are race conditions? some issues and formalizations. ACM Letters on Programming Languages and Systems, 1(1):74-88, Mar. 1992.
21. C. v. Praun and T. Gross. Object race detection. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 2001.
22. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
23. N. Sterling. Warlock: A static data race analysis tool. In USENIX Winter Technical Conference, pages 97-106, 1993.
24. The Standard Performance Evaluation Corporation. SPEC JVM98 Benchmarks. http://www.spec.org/osg/jvm98/, 1998.
25. The Standard Performance Evaluation Corporation. SPEC JBB 2000. 2000 http://www.spec.org/osg/jbb2000/.