Unifying self-stabilization and fault-tolerance
Ajei S. Gopal, Kenneth J. Perry · 1993
In this paper we combine two previously disparate aspects of reliable distributed computing -selfstabllization, i.e., tolerance of systemic failures, and fault-tolerance, i.e., tolerance of process failures.We define what it means for a protocol to solve a problem while tolerating both types of failures and demonstrate a "compiler" that transforms a process failuretolerant protocol for a synchronous system into a process and systemic failure-tolerant protocol.For asynchronous systems, we present a protocol that solves a crucial problem (Consensus) while tolerating both process and systemic failures.