Question

With respect to deadlocks in an operating system, which of the following statements is/are FALSE?

Choose every correct option
Official answer and solution
Official answer
A and C
From
Official GATE 2026 answer key

Solution

Distinguish between deadlock prevention and deadlock avoidance (Banker's algorithm) and check the edge directions in a Resource Allocation Graph (RAG).

  • Option (A) is FALSE: Banker's algorithm is a deadlock avoidance algorithm (which dynamically checks for safe states using maximum resource claims), whereas deadlock prevention statically invalidates one of the four necessary Coffman conditions.
  • Option (B) is TRUE: Disallowing the hold-and-wait condition prevents deadlocks.
  • Option (C) is FALSE: In a Resource Allocation Graph, an assignment (allocation) edge is directed from a resource to a process (Rj→PiR_j \rightarrow P_i), whereas a request edge is directed from a process to a resource (Pi→RjP_i \rightarrow R_j).
  • Option (D) is TRUE: By definition, a safe state has a safe sequence in which all processes can run to completion without deadlocking.

Since the question asks which statements are FALSE, (A) and (C) are correct.

Final answer

Options (A), (C)

Common trap

Overlooking the word 'FALSE' in the question stem or confusing deadlock avoidance with deadlock prevention.

The answer is the one in the official GATE answer key. The solution is this site's own explanation.

Source

Paper
GATE 2026 Computer Science and Information Technology - Session 1 (CS1)
Question
29 of 65
Section
Computer Science and Information Technology

Report an error in this question

GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.