A mutex ordering mechanism controls the ordering of {HEAD ~ mutex ownership} to provide {TAIL ~ deterministic execution} of the processes 
A mutex ordering mechanism controls the ordering of { HEAD ~ mutex ownership } to provide { TAIL ~ deterministic execution } of the processes
OTH OTH OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH