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