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

Rahul Agarwal Scott D. Stoller

Published in: PADTAD (2006)

Keyphrases

automatic detection
detection accuracy
detection algorithm
static analysis
computer programs
real time
false alarms
detection method
sufficient conditions
object detection
database
integrity constraints
change detection
case study
knowledge base
data sets
signal detection