Question:

Among the four criteria for synchronization mechanism, which of the two criteria are mandatory?

Show Hint

When designing synchronization mechanisms, always ensure mutual exclusion and progress to avoid deadlock and starvation.

Updated On: Jun 16, 2025

Mutual exclusion and Progress
Progress and Architectural neutral
Bounded wait and mutual exclusion
Bounded wait and progress

Hide Solution

Verified By Collegedunia

The Correct Option is A

Solution and Explanation

Mutual exclusion ensures that only one process accesses a shared resource at a time, preventing conflicts. Progress guarantees that if no process is executing in the critical section, another process can enter. These two criteria are essential for the correct functioning of synchronization mechanisms.

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 AP PGECET exam

View More Questions