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