Question:

Consider a typical process P in the critical section. Arrange the following statements of code to make a valid general structure.
(A). Critical section
(B). Remainder section
(C). Entry section
(D). Exit section

Show Hint

In the general structure of critical section code, Entry comes before Critical, and Exit comes after Critical, followed by the Remainder section.

Updated On: Jan 17, 2026

(C), (B), (A), (D)
(C), (A), (B), (D)
(C), (A), (D), (B)
(C), (B), (D), (A)

Hide Solution

Verified By Collegedunia

The Correct Option is A

Solution and Explanation

Step 1: Understanding the sections.
- **Critical section** (C): This is the section where the process accesses shared resources.
- **Entry section** (A): This is the section before the critical section, where the process requests entry.
- **Remainder section** (B): The section after the critical section, where the process releases the resource and performs other tasks.
- **Exit section** (D): This section handles the exit process from the critical section.

Step 2: Arrange the sections correctly.
To form a valid structure for a process in the critical section:

- The process first enters the **Entry section** (A), checks for any conditions (if needed), and then moves to the **Critical section** (C).

- After completing its task in the **Critical section**, the process moves to the **Exit section** (D) to release the resource.

- Finally, the process moves to the **Remainder section** (B) for other tasks.

Step 3: Conclusion.
The correct order of statements is **(C), (B), (A), (D)**.

Was this answer helpful?

Top Questions on Synchronization

Consider the following multi-threaded code segment (in a mix of C and pseudo-code), invoked by two processes $P1$ and $P2$, and each of the processes spawns two threads $T1$ and $T2$:

int x = 0; // global 
Lock L1; // global 
main() { 
	create a thread to execute foo(); // Thread T1 
	create a thread to execute foo(); // Thread T2 
	wait for the two threads to finish execution; 
	print(x); } 
foo() { 
	int y = 0; 
	Acquire L1; 
	x = x + 1; 
	y = y + 1; 
	Release L1; 
	print(y); }

Which of the following statement(s) is/are correct?

View Solution

Consider the following pseudocode, where S is a semaphore initialized to 5 in line#2 and counter is a shared variable initialized to 0 in line #1. Assume that the increment operation in line#7 is not atomic.
1. int counter = 0; 2. Semaphore S = init(5); 3. void parop(void) 4. { 5. wait(S); 6. wait(S); 7. counter++; 8. signal(S); 9. signal(S); 10. }
If five threads execute the function parop concurrently, which of the following program behavior(s) is/are possible?
- GATE CS - 2021
- Operating System
- Synchronization
View Solution

View All

Questions Asked in CUET PG exam

View More Questions

Consider a typical process P in the critical section. Arrange the following statements of code to make a valid general structure. (A). Critical section (B). Remainder section (C). Entry section (D). Exit section