Let m…m be mutexes (binary semaphores) and P…P be processes.
Suppose each process P[i] executes the following:
wait (m[i]; wait (m(i+1) mod 4]);
release (m[i]); release (m(i+1) mod 4]);
This could cause
C. Starvation but not Deadlock
D. None of these