Consider the code of two processes

P$1$:

while $($true$)$

$p=$ true;

while $(q)=$ true