Muteness failure detectors: specifications and implementation

摘要

This paper extends the failures detector approach from crashstop failures to muteness failures.Muteness failures are malicious failures in which a process stops sending algorithm messages,but might continue bo send other messages,e.g.,"I-an-alive" messages.The apper presents both the specification of a muteness failure detector,denoted by M_A,and an implemnentatin of M_A in a partial synchrony model (there are bounds on message latency and clock skew,but these bounds are unknown and hold only after some point that is itself undnown).We show that,modulo a simple modification,a consensus algorithm that has been designed in a crash-stop model with S,can be reused in the presence of muteness failures simply by replacing M_A with S.