Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Prevention of system deadlocks