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