当这四个条件存在时，死锁一定是真的吗？

Question

我理解发生死锁的四个必要条件:互斥、持有和等待、无抢占和循环等待。然而，是否存在四个条件为真并且系统不处于死锁状态的情况？

换句话说，如果发生死锁，则存在四个条件。但是，如果存在这四个条件，是否一定会出现死锁呢？哪种情况存在，并且系统未处于死锁状态？

Answer 1

这些是必要条件，但不是充分条件，因此几乎可以肯定，在某些情况下，这些条件是真的，但不会发生死锁。

满足这些条件的系统仅仅具有死锁状态--可能存在永远不会到达这些死锁状态之一的执行路径。我正在努力合成一个例子，但谢天谢地是someone else did it for me。

Answer 2

您可以通过绘制优先图来调查是否存在死锁，如果图中有循环，则会出现死锁。你也可能不幸地得到了一个活锁。如果这个图有一个循环，那么这个流程就不能被序列化。因此，要确定某个过程，请绘制其优先图并检查该优先图是否包含循环。