Pulse: A dynamic deadlock detection mechanism using speculative execution

USENIX 2005 Annual Technical Conference

Volumn , Issue , 2005, Pages 31-44

  Li, Tong ^a   Ellis, Carla S ^a   Lebeck, Alvin R ^a   Sorin, Daniel J ^b  

^a Department of Computer Science ^*  (United States)

^b Duke University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; PHILOSOPHICAL ASPECTS; SMOKE;

APACHE WEB SERVER; DEADLOCK DETECTION; DENIAL OF SERVICE; DINING PHILOSOPHERS; LOCK ACQUISITION; MULTIPLE PROCESS; SIMPLE TYPES; SPECULATIVE EXECUTION;

DYNAMICS;

EID: 84887095037     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Ruediger R. Asche. Putting DLDETECT to Work. MSDN Library Technical Articles, Microsoft Corporation, January 1994.
2. Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Xen and the Art of Virtualization. In Proceedings of the 20th ACM Symposium on Operating System Principles, pages 164–177, October 2003.
3. Fay Chang and Garth A. Gibson. Automatic I/O Hint Generation Through Speculative Execution. In Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation, pages 1–14, February 1999.
4. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Puasuareanu, Robby, and Hongjun Zheng. Bandera: Extracting Finite-State Models from Java Source Code. In Proceedings of the 22nd International Conference on Software Engineering, June 1999.
5. Dawson Engler and Ken Ashcraft. RacerX: Effective, Static Detection of Race Conditions and Deadlock. In Proceedings of the 20th ACM Symposium on Operating System Principles, pages 237–252, October 2003.
6. Keir Fraser and Fay Chang. Operating System I/O Speculation: How Two Invocations Are Faster Than One. In Proceedings of the 2003 USENIX Annual Technical Conference, pages 325–338, June 2003.
7. Patrice Godefroid. Model Checking for Programming Languages using VeriSoft. In Proceedings of The 24th ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL), pages 174–186, January 1997.
8. Klaus Havelund. Using Runtime Analysis to Guide Model Checking of Java Programs. In Proceedings of the 7th SPIN Workshop, pages 245–264, August 2000.
9. Richard C. Holt. Some Deadlock Properties of Computer Systems. ACM Computing Surveys, 4(3):179–196, September 1972.
10. Gerard J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279–295, May 1997.
11. Mukesh Singhal. Deadlock Detection in Distributed Systems. IEEE Computer, 22(11):37–48, November 1989.
12. Symantec. Symantec NetRecon™ 3.6 Security Update 6 Release Notes. Symantec Corporation, August 2003.
13. Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park, and Flavio Lerda. Model Checking Programs. Journal of Automated Software Engineering, 10(2):203–232, April 2003.
14. Carl A. Waldspurger. Memory Resource Management in VMware ESX Server. In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation, pages 181–194, December 2002.