In: Computer Science
It was stated that deadlock cannot occur for the situation reflected in Figure. Justify that statement.
If Q acquires B and A before P requests A, then Q can use these two resources and then release them, allowing A to proceed. If P acquires A before Q requests A, then at most Q can proceed to the point of requesting A and then is blocked. However, once P releases A, Q can proceed. Once Q releases B, A can proceed.
A, Q can proceed. Once Q releases B, A can proceed.