Deadlock Immunity: Enabling Systems to Defend Against Deadlocks
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics