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