Operating Systems - Deadlock - Four Necessary Conditions (Coffman)
Consider a system where processes can be preempted and resources forcibly taken away. If a process P1 holds resource R1 and requests R2 held by P2, but P2 is preempted and forced to release R2, what deadlock condition is being violated to prevent deadlock?
