• 5.3: Deadlock Detection and Recovery