RacerX: Effective, static detection of race conditions and deadlocks

Operating Systems Review (ACM)

Volumn 37, Issue 5, 2003, Pages 237-252

  Engler, Dawson ^a   Ashcraft, Ken ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Deadlock detection; Program checking; Race detection

Indexed keywords

DATA REDUCTION; ERROR ANALYSIS; FORMAL LANGUAGES; INFORMATION ANALYSIS; MATHEMATICAL MODELS; PROBLEM SOLVING;

DATA SHARING; DEADLOCK DETECTION; PROGRAM CHECKING; RACE DETECTION;

COMPUTER OPERATING SYSTEMS;

EID: 21644474151     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1165389.945468     Document Type: Conference Paper

References (30)

1. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
2. G. Brat, K. Havelund, S. Park, and W. Visser. Model checking programs. In IEEE International Conference on Automated Software Engineering (ASE), 2000.
3. M. Burrows and K. Leino. Finding stale-value errors in concurrent programs. Technical Report SRC-TN-2002-004, Compaq Systems Research Center, May 2002.
4. W. Bush, J. Pincus, and D. Sielaff. A static analyzer for finding dynamic programming errors. Software: Practice and Experience, 30(7):775-802, 2000.
5. S. Chandra, B. Richards, and J. Larus. Teapot: a domain-specific language for writing cache coherence protocols. IEEE Transactions on Software Engineering, 25(3):317-33, May-June 1999.
6. Cheng, Feng, Leiserson, Randall, and Stark. Detecting data races in cilk programs that use locks. In SPAA: Annual ACM Symposium on Parallel Algorithms and Architectures, 1998.
7. J. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 2002.
8. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
9. J. Corbett. Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering, 22(3), 1996.
10. J. Corbett, M. Dwyer, J. Hatcliff, S. Laubach, C. Pasareanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In ICSE 2000, 2000.
11. M. Das, S. Lerner, and M. Seigle. Path-sensitive program verification in polynomial time. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, Berlin, Germany, June 2002.
12. D. Detlefs, K. R. M. Leino, G. Nelson, and J. Saxe. Extended static checking. TR SRC-159, COMPAQ SRC, Dec. 1998.
13. A. Dinning and E. Schonberg. An empirical comparision of monitoring algorithms for access anomaly detection. In Proceedings of the 2nd ACM SIGPLAN Symposium on the Principles and Practice of Parallel Programming, 1990.
14. D. Engler, D. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, 2001.
15. C. Flanagan and S. N. Freund. Type-based race detection for Java. In SIGPLAN Conference on Programming Language Design and Implementation, pages 219-232, 2000.
16. C. Flanagan and K. Leino. Houdini, an annotation assistant for ESC/Java. In Symposium of Formal Methods Europe, pages 500-517, Mar. 2001.
17. D. Freedman, R. Pisani, and R. Purves. Statistics. W.W. Norton, third edition edition, 1998.
18. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification (2nd Edition). Addison-Wesley, 2000.
19. D. Grossman. Type-safe multithreading in cyclone. In Workshop on Types in Language Design and Implementation (TLDI), Jan. 2003.
20. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, Berlin, Germany, June 2002.
21. D. P. Helmbold and C. E. McDowell. A taxonomy of race detection algorithms. Technical Report UCSC-CRL-94-35, 1994.
22. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Comm. of the ACM, 21(7):558-565, July 1978.
23. B. W. Lampson and D. D. Redell. Experience with processes and monitors in mesa. Commun. ACM, 23(2):105-116, Feb. 1980.
24. K. M. Leino, G. Nelson, and J. Saxe. ESC/Java user's manual. Technical note 2000-002, Compaq Systems Research Center, Oct. 2001.
25. J. Mellor-Crummey. On-the-fly detection of data races for programs with nested fork-join parallelism. In Proceedings of the 1991 Supercomputer Debugging Workshop, 1991.
26. A. Morton. Personal communication. Semantics and deadlock implications of the Linux BKL, Feb. 2003.
27. D. Perkovic and P. Keleher. Online data-race detection via coherency guarantees. In Proceedings of the 2nd USENIX Symposium on Operating System Design and Implementation, 1996.
28. T. Reps, S. Horowitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In Proceedings of the 22th Annual Symposium on Principles of Programming Languages, pages 49-61, 1995.
29. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programming. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
30. N. Sterling. Warlock: A static data race analysis tool. In Proceedings of the 1993 USENIX Winter Technical Conference, pages 97-106, 1993.