Given the following code of two processes. $S1$ and $S2$ are shared boolean variables, there initial

values are randomly assigned

P$1$:

while $(s1==s2$;

$\frac{\frac{?}{?}}{C}S$

$s1=s2$

P$2$:

while $(s1s2$;

$\frac{\frac{?}{?}}{C}S$

s$2=$ negate $($s$1)$; $//$ negate function if true becomes false, and the vise versa

which of the following is true

Select one:

a$.$ progress is satisfied but not the mutual exclusion

b$.$ Mutual exclusion is satisfied but not progress

c$.$ mutual exclusion and progress are not satisfied

d$.$ Mutual exclusion is satisfied and progress