Taming Deadlocks in Multithreaded Programs
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs