Алгоритм Чанди-Лампорта

Алгоритм Чанди-Лампорта получения согласованного среза.

Суть алгоритма в том, что мы ставим в соответствие каждому процессу цвет (красный или белый). Изначально все процессы белые. Когда все процессы станут красными мы получим согласованный срез.

Процесс меняет цвет как только записал свое локальное состояние. После этого он отсылает всем процессам специальное сообщение - маркер. Если процесс получил маркер и еще белый, то он обязан записать локальное состояние, стать красным и оправить маркеры. Иначе можно ничего не делать. Это гарантирует, что ни один белый процесс не получит сообщение от красного процесса.