A method of servicing {HEAD ~ a processor array} of {TAIL ~ a computer system} by quiescing a processor selected for maintenance and removing the selected processor from a processor pool used by the computers operating system 
of
A method of servicing { HEAD ~ a processor array } of { TAIL ~ a computer system } by quiescing a processor selected for maintenance and removing the selected processor from a processor pool used by the computers operating system
OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH