-
Consider the methods used by processes P1 and P2 for accessing their critical sections whenever needed, as given below. The initial values of shared Boolean variables S1 and S2 are randomly assigned.
Which one of the following statements describes the properties achieved?
-
- Mutual exclusion but not progress
- Progress but not mutual exclusion
- Neither mutual exclusion nor progress
- Both mutual exclusion and progress
- Mutual exclusion but not progress
Correct Option: A
As per the methods provided in process 1 and process 2, the process 1 and process 2 cannot exist simultaneously in the critical section. So, when the process 1 is in the critical section, process 2 is not and thus, the condition of mutual exclusion is satisfied but not progress.
