Deadlock Detection Example