operating the processors in {TAIL ~ accordance} with {HEAD ~ the ordering} of the mutexes 
operating the processors in { TAIL ~ accordance } with { HEAD ~ the ordering } of the mutexes
OTH OTH OTH OTH TAIL TAIL TAIL TAIL TAIL OTH HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH