Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms

The CRCW PRAM under dynamic fail-stop (no restart) processor behavior is a faultprone multiprocessor model for which it is possible to both guarantee reliability and preserve efficiency. To handle dynamic faults some redundancy is necessary in the form of many processors concurrently performing a common read or write task. In this paper we show how to significantly decrease this concurrency by bounding it in terms of the number of actual processor faults. We describe a low concurrency, efficient and faulttolerant algorithm for the Write-All primitive: "using N processors, write 1's into N locations". This primitive can serve as the basis for efficient fault-tolerant simulations of algorithms written for fault-free PRAMs on fault-prone PRAMs. For any dynamic failure pattern F , our algorithm has total write concurrency jF j and total read concurrency 7 jF j logN , where jF j is the number of processor faults (for example, there is no concurrency in a run without failures); note that..