Preventing deadlocks