Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks