Implementing efficient fault containment for multiprocessors