let m[0] ...m[4] be mutexes (binary semaphores) and p[0] and p[4] be processes ...suppose each process p[i] executes the following
wait(m[i]);wait(m[i+1]mode 4]);
................
release(m[i];release(m[(i+1)mod4]);
what is meaning of all these things?