A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity [chapter]

Horatiu Jula, George Candea
2008 Lecture Notes in Computer Science  
We introduce the concept of deadlock immunity-a program's ability to avoid all deadlocks that match patterns of deadlocks experienced in the past. We present here an algorithm for enabling large software systems to automatically acquire such immunity without any programmer assistance. We prove that the algorithm is sound and complete with respect to the immunity property. We implemented the algorithm as a tool for Java programs, and measurements show it introduces only modest performance
more » ... d in real, large applications like JBoss. Deadlock immunity is as useful as complete freedom from deadlocks in many practical cases, so we see the present algorithm as a pragmatic step toward ridding complex concurrent programs of their deadlocks.
doi:10.1007/978-3-540-89247-2_8 fatcat:4s5wwk2utjaudk2hdzrbr2o2nm