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