A system uses the Banker's algorithm for deadlock avoidance with three resource types (A, B, C) and Available = (3, 3, 2). Process P₁ requests (1, 0, 2). The request does not exceed Available, but granting it would leave a state with no safe sequence. What must the operating system do?
- AGrant the request and kill the lowest-priority process
- BDeny the request for now and make P₁ wait until it can be granted safely
- CPreempt all of P₁'s resources and abort it
- DGrant the request, because Available (3, 3, 2) covers the request (1, 0, 2)