Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer?

EduRev

All Courses

Explore Courses UPSC Exam UPSC Test Series Free Notes EduRev Infinity

Open App

GATE Exam > GATE Questions > Consider the following synchronization const...

Join the Discussion on the App

Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:

P₀ :

while (true) {

turn_0 = true;

while (turn_l = = true)

turn_0 = false;

CRITICAL SECTION

}

/ * Remainder section*/

P₁ :

while (true) {

turn_1 = true;

while (turn_0 = = true)

turn_1 = false;

CRITICAL SECTION

}

/*Remainder section*/

Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?

a)
It ensures mutual exclusion and prevents deadlock.
b)
It requires that processes enter the critical section in strict alternation.
c)
It does not ensure mutual exclusion.
d)
It ensures mutual exclusion but cannot prevent deadlock.

Correct answer is option 'C'. Can you explain this answer?

FREE This question is part of

Practice Test: Computer Science Engineering (CSE) - 14

Attempt Test

Attempt this Test

Verified Answer

Consider the following synchronization construct used by two process ...

When both processes P₀ and P₁ execute concurrently. P₀ and P₁ make turn_0 = true and turn_1 = true, process P₀ executes while loop before executing turn_0 = false it preempts and P₁ starts executing it to make tum_1 = false and preempted. P₀ makes turn_0 = false, both processes enter into the critical section. It does not ensure mutual exclusion.

View all questions of this test

View all answers Start learning for free

< Previous Question Next Question >

Explore Courses for GATE exam

Similar GATE Doubts

Each of a set of n processes executes the following code using two semaphores a and b initialized to 1 and 0, respectively. Assume that count is a shared variable initialized to 0 and not used in CODE SECTION P.What does the code achieve?

View answer

Consider the case: f(n) = O(g(n)). Then, following two statements are claimed to be inferred from the above case.Statement I:2f(n)= O(2g(n))Statement II:2g(n)= O(2f(n))Choose the correct option from the given.

View answer

Each of the following items consists of two statements, one labelled as the ‘Statement (I)’ and the other as ‘Statement (II)’. Examine these two statements carefully and select the answers to these items using the codes below:Statement (I):A moving hydraulic jump is called a surge.Statement (II):The travel of a wave is faster in the upper portion than in the lower portion in case of positive surges.

View answer

A shared variable x, initialized to zero, is operated on by four concurrent processes W, X, Y, Z asfollows. Each of the processes W and X reads x from memory, increments by one, stores it tomemory, and then terminates. Each of the processes Y and Z reads x from memory, decrements bytwo, stores it to memory, and then terminates. Each process before reading x invokes the Poperation (i.e., wait) on a counting semaphore S and invokes the V operation (i.e., signal) on thesemaphore S after storing x to memory. Semaphore S is initialized to two. What is the maximumpossible value of x after all processes complete execution?

View answer

Consider the following two statements:Statement 1: Stop and Wait protocol is preferred for LANs compared to WANsStatement 2: Stop and Wait protocol is good for bursty data transmission.Which of the above two statements are true?

View answer

Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer?

Share with a Friend

Answer this doubt

Question Description
Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer? for GATE 2024 is part of GATE preparation. The Question and answers have been prepared according to the GATE exam syllabus. Information about Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer? covers all topics & solutions for GATE 2024 Exam. Find important definitions, questions, meanings, examples, exercises and tests below for Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer?.

Solutions for Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer? in English & in Hindi are available as part of our courses for GATE. Download more important topics, notes, lectures and mock test series for GATE Exam by signing up for free.

Here you can find the meaning of Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer? defined & explained in the simplest way possible. Besides giving the explanation of Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer?, a detailed solution for Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer? has been provided alongside types of Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer? theory, EduRev gives you an ample number of questions to practice Consider the following synchronization construct used by two process P0 and P1 which need to access a critical section:P0 :while (true) {turn_0 = true;while (turn_l = = true)turn_0 = false;CRITICAL SECTION}/ * Remainder section*/P1 :while (true) {turn_1 = true;while (turn_0 = = true)turn_1 = false;CRITICAL SECTION}/*Remainder section*/Here, turn_0 and turn_1 are shared variables, which are initialized to false. Which of the following statements is true about the above construct?a)It ensures mutual exclusion and prevents deadlock.b)It requires that processes enter the critical section in strict alternation.c)It does not ensure mutual exclusion.d)It ensures mutual exclusion but cannot prevent deadlock.Correct answer is option 'C'. Can you explain this answer? tests, examples and also practice GATE tests.

Explore Courses for GATE exam