Avoid deadlocks, banker algorithms