Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables

Proceeding of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '06

Volumn 2006, Issue , 2006, Pages 51-59

  Agarwal, Rahul ^a   Stoller, Scott D ^a  

^a Stony Brook University   (United States)

Author keywords

Algorithms; Reliability

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONCURRENCY CONTROL; CONSTRAINT THEORY; ERROR ANALYSIS; USER INTERFACES;

CONDITION VARIABLES; PERMUTATION; SEMAPHORES;

COMPUTER SYSTEM RECOVERY;

EID: 34247540013     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1147403.1147413     Document Type: Conference Paper

References (27)

1. R. Agarwal, L. Wang, and S. D. Stoller. Detecting potential deadlocks with static analysis and runtime monitoring. Technical Report DAR-05-25, Computer Science Department, SUNY at Stony Brook, Sept. 2005. Available at http://www.cs.sunysb.edu/~ragarwal/deadlock/.
2. R. Agarwal, L. Wang, and S. D. Stoller. Detecting potential deadlocks with static analysis and runtime monitoring. In Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conference, volume 3875 of Lecture Notes in Computer Science, pages 191-207. Springer-Verlag, 2006. Received the conference's Best Paper Award.
3. S. Bensalem and K. Havelund. Scalable deadlock analysis of multi-threaded programs. In Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conference. Springer-Verlag, Nov. 2005.
4. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data, races and deadlocks. In Proc. 17th ACM Conference on Object-Oriented Programming, Systems. Languages and Applications (OOPSLA), pages 211-230, Nov. 2002.
5. F. Chen and G. Roşu. Predicting concurrency errors at runtime using sliced causality. Technical report, Computer Science at UIUC (No. UIUCDCS-R-2005-2660), 2005.
6. O. Edelstein, E. Farchi, E. Goldin, Y. Nir, G. Ratsaby, and S. Ur. Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience, 15(3-5):485-499, 2003.
7. D. R. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In Proc. 24th ACM Symposium on Operating System Principles, pages 237-252. ACM Press, Oct. 2003.
8. E. Farchi, Y. Nir, and S. Ur. Concurrent bug patterns and how to test them. In Proceedings of the 17th International Symposium on Parallel and Distributed Processing, page 286.2, Washington, DC, USA, 2003. IEEE Computer Society.
9. E. Farchi, Y. Nir-Buchbinder, and S. Ur. Cross-run lock discipline checker for Java. Presentation at the 2005 IBM Verification Conference.
10. C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. In Proc. 31st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Jan. 2004.
11. J. J. Harrow. Runtime checking of multithreaded applications with Visual Threads. In Proc. 7th Int'l. SPIN Workshop on Model Checking of Software, volume 1885 of Lecture Notes in Computer Science, pages 331-342. Springer-Verlag, Aug. 2000.
12. K. Havelund. Using runtime analysis to guide model checking of Java programs. In Proc. 7th Int'l. SPIN Workshop on Model Checking of Software, volume 1885 of Lecture Notes in Computer Science, pages 245-264. Springer-Verlag, Aug. 2000.
13. D. Hovemeyer and W. Pugh. Finding concurrency bugs in Java. In Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs, July 2005.
14. 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 USENIX Annual Technical Conference, pages 31-44, April 2005.
15. F. Mattern. Virtual time and global states of distributed systems. In M. Cosnard et. al, editor, Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms, pages 215-226. Elsevier Science Publishers B. V., 1989.
16. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In Proc. ACM SIGPLAN 2003 Symposium on Principles and Practice of Parallel Programming (PPoPP), June 2003.
17. 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, Nov. 1997.
18. K. Sen, G. Roşu, and G. Agha. Runtime Safety Analysis of Multithreaded Programs. In 9th European Software Engineering Conference and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'03), pages 337-346. ACM, 2003.
19. K. Sen, G. Roşu, and G. Agha. Online efficient predictive safety analysis of multithreaded programs. International Journal on Software Technology and Tools Transfer (STTT) (To Appear), 2005. Previous version appeared in TACAS'04, LNCS volumn 2988, pages 123-138.
20. W. Stallings. Operating Systems. Prentice-Hall, 5th edition edition, 2005.
21. http://java.sun.com/docs/books/tutorial/essential/threads/waitAndNotify. html.
22. G. von Praun. Detecting Synchronization Defects in Multi-Threaded Object-Oriented Programs. PhD thesis, ETH Zürich, 2004.
23. C. von Praun and T. R. Gross. Object race detection. In Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), volume 36(11) of SIGPLAN Notices, pages 70-82. ACM Press, Oct. 2001.
24. L. Wang and S. D. Stoller. Accurate and efficient runtime detection of atomicity errors in concurrent programs. In Proc. ACM SIGPLAN 2006 Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 137-146. ACM Press, Mar. 2006.
25. L. Wang and S. D. Stoller. Runtime analysis of atomicity for multi-threaded programs. IEEE Transactions on Software Engineering, 32(2):93-110, Feb. 2006.
26. A preliminary version appeared in Proceedings of the Third Workshop on Runtime Verification (RV), Electronic Notes in Theoretical Computer Science 89(2), Elsevier, 2003.
27. A. Williams, W. Thies, and M. D. Ernst. Static deadlock detection for Java libraries. In Proc. 2005 European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science. Springer-Verlag, July 2005.