Safety and Deadlock Prevention