Deadlock Immunity: Enabling Systems to Defend Against Deadlocks
RacerX: effective, static detection of race conditions and deadlocks