In a resource-allocation graph where every resource type has exactly one instance, what does a cycle indicate?
Correct answer B. A deadlock definitely exists
Explanation
With single-instance resources, a cycle is both necessary and sufficient for deadlock, because each process in the cycle waits for a resource held by the next with no other copy to free things up. With multiple instances per type, a cycle means deadlock is only possible, since a process outside the cycle may release an instance and break it.
Answer checked How we write and check questions
Discussion