This could be the undesirable result of executing the following code for two synchronized processes.

    Let S and Q be two semaphores initialized to 1 

       P0          P1
 wait(S);    wait(Q);
 wait(Q);    wait(S);
  ...          ...
 signal(S);  signal(Q);
 signal(Q);  signal(S);