A Transformation to Provide Deadlock-Free Programs

Boronat, Pablo; Cholvi, Vicente

doi:10.1007/3-540-44862-4_101

Cited by 2 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Approaches like [1] and Gadara [8] detect potential deadlocks statically and avoid them at runtime. In [1], authors propose to use new locks, while Gadara uses Petri nets.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Efficiency Optimizations for Implementations of Deadlock Immunity

Jula

Andrica

Candea

2012

Runtime Verification

View full text Add to dashboard Cite

Abstract. Deadlock immunity is a property by which programs, once afflicted by a deadlock, develop resistance against future occurrences of that deadlock. Our deadlock immunity system, called Dimmunix, provides transparent immunization against deadlocks involving mutex locks. In this paper, we focus on efficiently protecting systems against deadlocks regardless of the rate of synchronization operations performed. We describe five optimizations that reduce the runtime overhead imposed by Dimmunix on the host system: (1) offline deadlock detection and signature extraction, which avoids runtime tracking of lock-to-thread allocations; (2) selective program instrumentation, whereby only vulnerable synchronization statements are monitored; (3) inline matching of deadlock signatures, which avoids expensive call stack retrieval; (4) false positive reduction, which avoids unnecessary thread serialization; and (5) safe early resumption of threads, allowing suspended threads to resume their execution more quickly than in the original Dimmunix. Our optimizations enable Dimmunix to achieve a reduction of 2.8x-5.2x in the runtime overhead it introduces for real-world systems like Eclipse, Vuze, and MySQL JDBC.

show abstract

“…Approaches like [1] and Gadara [8] detect potential deadlocks statically and avoid them at runtime. In [1], authors propose to use new locks, while Gadara uses Petri nets.…”

Section: Related Workmentioning

confidence: 99%

“…In [1], authors propose to use new locks, while Gadara uses Petri nets. If the static analysis has false positives, these approaches make the applications avoid false deadlock bugs.…”

Section: Related Workmentioning

confidence: 99%

Efficiency Optimizations for Implementations of Deadlock Immunity

Jula

Andrica

Candea

2012

Runtime Verification

View full text Add to dashboard Cite

show abstract

“…Dynamic approaches [5,2,17,15,12] often face a different challenge: false negatives. Since they rely exclusively on runtime information from the present execution (e.g., a lock trace), deadlocks may still occur, because they cannot be predicted.…”

Section: Introductionmentioning

confidence: 99%

A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity

Jula

Candea

2008

Runtime Verification

View full text Add to dashboard Cite

Abstract. 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 overhead 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.

show abstract

A Transformation to Provide Deadlock-Free Programs

Cited by 2 publications

References 14 publications

Efficiency Optimizations for Implementations of Deadlock Immunity

Efficiency Optimizations for Implementations of Deadlock Immunity

A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity

Contact Info

Product

Resources

About