Consider the code of two processes

P$1$:

while $($true$)\{$

p $=$ true;

while $($q $==$ true$)\{$

$//$CS

p $=$ false;

$\}$

$\}$

P$2$:

while $($true$)\{$

q $=$ true;

while $($p $==$ true$)\{$

$//$CS

q $=$ false;

$\}$

$\}$

Select one:

a$.$ code might cause deadlock but mutual exclusion is satisfied

b$.$ mutual exclusion is not satisfied but code is deadlock free

c$.$ Mutual exclusion is satisfied and code is deadlock free

d$.$ mutual exclusion is not satisfied and code might cause deadlock