Let P1 and P2 be the two processes and S1 and S2 be the two shared Boolean variables. The initial values of S1 and S2 are randomly assigned. For accessing the critical sections of P1 and P2 the methods used by them are given below:Method used by P1While ( S1 == S2 );Critical sectionS1 = S2;Method used by P2While ( S1! = S2 )Critical sectionS2 = not (S1);Which statement / s describes that the properties are achieved?

• A. Progress but not mutual exclusion
• B. Mutual exclusion but not progress
• C. Both mutual exclusion and progress
• D. Neither mutual exclusion nor progress