Самостабилизирующиеся алгоритмы

Определение:

Самостабилизирующие алгоритмы — это идея построения алгоритмов, устойчивых к ошибкам: Код потерять сложно, поэтому мы считаем, что он не портится при падении узлов. Алгоритм может работать с любой комбинацией данных. Из любого состояния мы попадаем в легальное через конечное число шагов (при отсутствии сбоев).