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