Complete the following statement by choosing the correct option.
For a deadlock to occur, the four conditions namely Mutual Exclusion, Hold and Wait, No preemption, Circular wait __________.
Step 1: Deadlock Conditions Explained.
Deadlock necessitates the simultaneous presence of all four essential conditions: 1. Mutual Exclusion: A resource is held exclusively, preventing sharing.
2. Hold and Wait: A process possesses at least one resource while requesting others.
3. No Preemption: Resources cannot be seized from a holding process.
4. Circular Wait: Processes form a cycle of waiting for resources held by others.
Step 2: Summary.
For deadlock to manifest, all four conditions must coexist concurrently.
Consider a computer system with multiple shared resource types, with one instance per resource type. Each instance can be owned by only one process at a time. Owning and freeing of resources are done by holding a global lock \(L\). The following scheme is used to own a resource instance:
function OwnResource(Resource R)
Acquire lock L // a global lock
if R is available then
Acquire R
Release lock L
else
if R is owned by another process P then
Terminate P, after releasing all resources owned by P
Acquire R
Restart P
Release lock L
end if
end if
end function
Which of the following choice(s) about the above scheme is/are correct?