From Self- to Snap- Stabilization

摘要

A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we propose a light semi-automatic method allowing to snap-stabilize self-stabilizing wave protocols for arbitrary networks with a unique initiator. To that goal, we consider such a self-stabilizing protocol A We then slightly update A to obtain a protocol B that can be automatically transformed, using a black box protocol, into a snap-stabilizing protocol. B is easy to obtain from A compared to the design of a snap-stabilizing protocol.