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