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.

Method used by PIMethod used by P2
while (S1 = = S2) ;while (S1 != S2) ;
Critica1 SectionCritica1 Section
S1 = S2;S2 = not (S1);

Which one of the following statements describes the properties achieved?
Option (A)
Mutual exclusion but not progress
Option (B)
Progress but not mutual exclusion
Neither mutual exclusion nor progress
Both mutual exclusion and progress
Correct Option:
Question Solution:
Both the processes cannot be there simultaneously in critical section, so it will satisfy mutual exclusion,