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