死锁、充分条件和必要条件