Deadlock immunity: Enabling systems to defend against deadlocks

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008

Volumn , Issue , 2019, Pages 295-308

  Jula, Horatiu ^a   Tralamazza, Daniel ^a   Zamfir, Cristian ^a   Candea, George ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

LIME; SYSTEMS ANALYSIS;

POSIX THREADS; REAL SYSTEMS;

JAVA PROGRAMMING LANGUAGE;

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

References (23)

1. Aspectj. http://www.eclipse.org/aspectj.
2. P. Boronat and V. Cholvi. A transformation to provide deadlock-free programs. In Intl. Conf. on Computational Science, 2003.
3. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In 17th Conf. on Object-Oriented Programming, Systems, Languages, and Applications, 2002.
4. G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot - a technique for cheap recovery. In Proc. 6th Symp. on Operating Systems Design and Implementation, 2004.
5. D. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In 19th ACM Symp. on Operating Systems Principles, 2003.
6. C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. In Proc. Intl. Symp. on Formal Methods Europe, 2001.
7. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Conf. on Programming Language Design and Implementation, 2002.
8. M. Herlihy and J. E. B. Moss. Transactional memory: architectural support for lock-free data structures. In 20th Intl. Symp. on Computer Architecture, 1993.
9. M. Hofri. Proof of a mutual exclusion algorithm. ACM SIGOPS Operating Systems Review, 24(1):18-22, 1990.
10. Java PathFinder. http://javapathfinder.sourceforge.net, 2007.
11. JDBCBench. http://mmmysql.sourceforge.net/performance/.
12. H. Jula and G. Candea. A scalable, sound, eventually-complete algorithm for deadlock immunity. In Proc. 8th Workshop on Runtime Verification, 2008.
13. H. Kopetz. Fault management in the time triggered protocol. In Proc. EuroMicro, 1994.
14. E. Koskinen and M. Herlihy. Dreadlocks: Efficient deadlock detection. In Proc. 20th ACM Symp. on Parallelism in Algorithms and Architectures, 2008.
15. B. W. Lampson and D. D. Redell. Experience with processes and monitors in Mesa. Communications of the ACM, 23(2), 1980.
16. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes - a comprehensive study on real world concurrency bug characteristics. In Proc. 13th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, 2008.
17. Y. Nir-Buchbinder, R. Tzoref, and S. Ur. Deadlocks: from exhibiting to healing. In Proc. 8th Workshop on Runtime Verification, 2008.
18. F. Qin, J. Tucek, Y. Zhou, and J. Sundaresan. Rx: Treating bugs as allergies - a safe method to survive software failures. ACM Trans. on Computer Systems, 25(3), 2007.
19. RUBiS. http://rubis.objectweb.org, 2007.
20. L. Sha, R. Rajkumar, and S. Sathaye. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. on Computers, 39(9):1175-1185, 1990.
21. A. Williams, W. Thies, and M. D. Ernst. Static deadlock detection for Java libraries. In 19th European Conf. on Object-Oriented Programming, 2005.
22. J. Xu and D. Parnas. Scheduling processes with release times, deadlines, precedence, and exclusion relations. IEEE Trans. on Software Engineering, 16(3), 1990.
23. F. Zeng and R. P. Martin. Ghost locks: Deadlock prevention for Java. In Mid-Atlantic Student Workshop on Programming Languages and Systems, 2004.