Which of the following statements about the Banker's Algorithm is INCORRECT?
medium🐞 Bug Identification Q14 of Q15
Operating Systems - Banker's Algorithm - Safe State & Resource Allocation
Which of the following statements about the Banker's Algorithm is INCORRECT?
AThe algorithm can guarantee deadlock avoidance only if the system starts in a safe state.
BThe Need matrix is calculated as Allocation minus Maximum demand for each process.
CIf a resource request leads to an unsafe state, the request is denied to prevent deadlock.
DThe algorithm simulates resource allocation to check if the system remains in a safe state before granting requests.
Step-by-Step Solution
Step 1: Understand the Need matrix definition
Need = Maximum demand - Allocation, not Allocation - Maximum demand.
Step 2: Verify other statements
A is correct; starting in a safe state is necessary. C is correct; unsafe requests are denied. D is correct; simulation is core to the algorithm.
Final Answer:
Option B -> Option B
Quick Check:
Remember Need = Max - Allocation, not the reverse.
Quick Trick:Need = Max demand minus Allocation [OK]
Common Mistakes:
MISTAKES
Mixing up Need matrix calculation
Assuming algorithm works from unsafe states
Believing unsafe requests are sometimes granted
Trap Explanation:
PITFALL
Option B is a subtle but critical formula error. Other options are true and often confused with misconceptions about initial states and request handling.
Interviewer Note:
CONTEXT
Tests candidate's precise understanding of key Banker's Algorithm components and formulas.
Master "Banker's Algorithm - Safe State & Resource Allocation" in Operating Systems
2 interactive learning modes - each teaches the same concept differently