FAST DIAGNOSIS OF MULTIPROCESSOR SYSTEMS WITH RANDOM FAULTS

Processors in a multiprocessor system fail independently with constant probability 0 < p < 1/2. They can test one another and faulty processors have to be identified on the basis of test results. Fault-free processors diagnose other fault-free processors correctly and find faults in faulty one with probability q less-than-or-equal-to 1 in each test. Faulty testers are unreliable: they may even behave maliciously. Tests are independent and in every time unit a processor can be involved in at most one test. We propose testing schemes which are fast, use few tests and are correct with probability converging to 1 as the size of the system grows.