An effective dynamic analysis for detecting generalized deadlocks

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2010, Pages 327-336

  Joshi, Pallavi ^a   Naik, Mayur ^b   Sen, Koushik ^a   Gay, David ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b INTEL CORPORATION   (United States)

Author keywords

concurrency; deadlock detection; dynamic program analysis

Indexed keywords

CONCURRENCY; DEADLOCK DETECTION; DYNAMIC PROGRAM ANALYSIS; EFFECTIVE DYNAMICS; INTERLEAVINGS; MODEL CHECKER; MULTI-THREADED JAVA PROGRAMS; MULTI-THREADED PROGRAMS; PROGRAM LOGIC; REAL-WORLD; STATE-SPACE EXPLOSION; TWO STAGE;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; MODEL CHECKING; TRACE ANALYSIS;

DYNAMIC ANALYSIS;

EID: 78751515078     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1882291.1882339     Document Type: Conference Paper

References (20)

1. R. Agarwal and S. D. Stoller. Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. In PADTAD, 2006.
2. R. Agarwal, L. Wang, and S. D. Stoller. Detecting potential deadlocks with static analysis and runtime monitoring. In PADTAD, 2005.
3. S. Bensalem and K. Havelund. Scalable dynamic deadlock analysis of multi-threaded programs. In PADTAD, 2005.
4. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In OOPSLA, pages 211-230, 2002.
5. D. Engler and K. Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In SOSP, pages 237-252, 2003.
6. E. Farchi, Y. Nir, and S. Ur. Concurrent bug patterns and how to test them. In IPDPS, 2003.
7. J. Harrow. Runtime checking of multithreaded applications with visual threads. In SPIN, 2000.
8. K. Havelund. Using runtime analysis to guide model checking of java programs. In SPIN, 2000.
9. K. Havelund and T. Pressburger. Model checking java programs using java pathnder. Intl. Journal on Software Tools for Technology Transfer, 2(4):366-381, 2000.
10. D. Hovemeyer and W. Pugh. Finding concurrency bugs in java. In CSJP, 2004.
11. P. Joshi, C.-S. Park, K. Sen, and M. Naik. A randomized dynamic program analysis technique for detecting real deadlocks. In PLDI, 2009.
12. T. Li, C. S. Ellis, A. R. Lebeck, and D. J. Sorin. Pulse: A dynamic deadlock detection mechanism using speculative execution. In Proceedings of the 2005 USENIX Annual Technical Conference, 2005.
13. S. Lu, J. Tucek, F. Qin, and Y. Zhou. AVIO: detecting atomicity violations via access interleaving invariants. In ASPLOS, 2006.
14. S. Masticola and B. Ryder. A model of Ada programs for static deadlock detection in polynomial time. In Proceedings of ACM/ONR Workshop on Parallel and Distributed Debugging, pages 97-107, 1991.
15. M. Naik, C.-S. Park, K. Sen, and D. Gay. Effective static deadlock detection. In ICSE, 2009.
16. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
17. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model checking programs. ASE, 2003.
18. C. von Praun. Detecting Synchronization Defects in Multi-Threaded Object-Oriented Programs. PhD thesis, Swiss Federal Institute of Technology, Zurich, 2004.
19. A. Williams, W. Thies, and M. Ernst. Static deadlock detection for Java libraries. In ECOOP, 2005.
20. http://code.google.com/p/jchord/