CS Free MCQ Bank

[ Option C ]

The Banker’s Algorithm is used in operating systems to avoid deadlock by checking whether the system is in a safe state before allocating resources. A system is said to be in a safe state if there exists a safe sequence of processes such that each process can obtain its required resources, execute, and release the resources without causing deadlock.
To determine this, we calculate the Need matrix using, Need = Max-Allocation and then check whether each process's Need ≤ Available resources.
Compute Need :
Need = Max – Allocation

Available = (5, 4, 5)

• P1 can execute because (1,2,2) ≤ (5,4,5).
  • After execution, it releases resources → Available becomes (7,4,5).
• P0 can now execute because (7,4,3) ≤ (7,4,5).
  • After execution → Available becomes (7,5,5).
• P2 can execute because (6,0,0) ≤ (7,5,5).

Thus, a safe sequence exists: P1→P0→P2. Since a safe sequence is found, the system is in a safe state.

[ Option A ]

Deadlock Avoidance is a method used by an operating system to ensure that a system never enters a deadlock state. In deadlock avoidance, the OS makes decisions dynamically by checking whether allocating a requested resource will keep the system in a safe state. 

A safe state means that there is at least one sequence in which all processes can complete their execution without getting stuck waiting for each other. The Banker’s Algorithm is a well-known example of deadlock avoidance that works by finding at least one safe sequence before granting a request.

[ Option B ]

Deadlock happens when processes are waiting for resources in such a way that none of them can proceed. To check whether deadlock is possible, we compare total resources and maximum demand of processes.
Given:

• Total Processes = 2
• Total Resources = 3
• Maximum Need Per Process = 2

Deadlock can occur only if Total resources < (Processes * (Max Need - 1))

• (Max Need - 1) = 2 - 1 = 1
• Processes * (Max Need - 1) = 2 * 1 = 2

Since total resources are 3, which is greater than 2, the system will always have at least one free resource, allowing a process to complete and release resources.
Once the resources are released, the other process can also complete. Therefore, the situation of circular waiting does not arise, and Deadlock Will Never Occur.

[ Option B ]

The given resource allocation graph shows two resources, R₁ and R₂, each having two instances, and four processes, T₁, T₂, T₃, and T₄. In this graph, T₁ is waiting for an instance of R₁, while T₂ and T₃ are already holding instances of R₁. Similarly, T₄ is holding an instance of R₂, and T₁ is requesting it. 

Since both resources have multiple instances available, all processes can still be allocated resources without creating a circular wait. Therefore, the system is not always in a deadlock state, and the statement that it is always in deadlock is false.

[ Option B ]

Banker’s Algorithm is used in operating systems to avoid deadlock by ensuring that resource allocation keeps the system in a safe state.
Steps to check if a request can be granted:

• Check if the request ≤ Need of the process.
• Check if the request ≤ Available resources.
• Temporarily allocate the requested resources and check if the system can find a safe sequence for all processes.

[ Option B ]

In operating systems, deadlock is a situation where processes are stuck waiting for resources held by each other, and none can proceed. Different strategies exist to handle deadlocks, such as prevention, avoidance, detection, and recovery.
The Ostrich Algorithm follows a very simple approach, it ignores the possibility of deadlock completely.
The idea is based on the behavior of an ostrich (शुतुरमुर्ग) that hides its head in the sand to avoid danger. Similarly, the operating system assumes that deadlocks occur very rarely and chooses not to spend resources handling them.

[ Option C ]

In Operating Systems, a deadlock occurs when a set of processes are permanently blocked because each process is waiting for a resource held by another process.
There are four necessary conditions for deadlock (Coffman Conditions):

On the other hand, Starvation means, a process waits indefinitely because other processes continuously get the required resources.