+
−
⟲
P1
P1
P1
P2
P2
P2
请求都能满足
请求都能满足
可完全化简代表没有死锁