An operating system uses the Banker's algorithm for deadlock avoidance when managing the allocation of four resource types A, B, C, and D to four processes P0, P1, P2, and P3. The table given below presents the current system state at time T0.
P. No P0 P1 P2 P3
Allocation A B C D A B C D
3 0 2 4 5 1 2 7 2
2 2 2 0 3 2 2 2 3
2 2 2 3 2 2 2 3 3
2 0 5 2 0 4 6 2 2
There are 2 units of type A, 2 units of type B, 3 units of C, and 2 units of type D still available. The system is currently in a safe state. Consider the following independent requests for additional resources in the current state:
REQ1: P0 requests 2 units of A, 2 units of B, 3 units of C, and 3 units of D
REQ2: P1 requests 1 unit of A, 2 units of B, 3 units of C, and 1 unit of D
REQ3: P3 requests 2 units of A, 2 units of B, 2 units of C, and 2 units of D
Which process requirements will be satisfied in the above three conditions? Justify your answer.