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  0.

Method used by P1 :
while(S1==S2);
Critical section
S1 = S2;
 
Method used by P2 :
while(S1!=S2);
Critical section
S2 = not(S1);

which process will execute first? the above construct  fails to provide ---