94
правки
Изменения
Новая страница: «Категория: Параллельное программирование '''Алгоритм Чанди-Лампорта''' получения [[Срез, …»
[[Категория: Параллельное программирование]]
'''Алгоритм Чанди-Лампорта''' получения [[Срез, согласованный срез|согласованного среза]].
Суть алгоритма в том, что мы ставим в соответствие каждому процессу цвет (красный или белый). Изначально все процессы белые. Когда все процессы станут красными мы получим согласованный срез.
Процесс меняет цвет как только записал свое локальное состояние. После этого он отсылает всем процессам специальное сообщение - маркер. Если процесс получил маркер и еще белый, то он обязан записать локальное состояние, стать красным и оправить маркеры. Иначе можно ничего не делать. Это гарантирует, что ни один белый процесс не получит сообщение от красного процесса.
'''Алгоритм Чанди-Лампорта''' получения [[Срез, согласованный срез|согласованного среза]].
Суть алгоритма в том, что мы ставим в соответствие каждому процессу цвет (красный или белый). Изначально все процессы белые. Когда все процессы станут красными мы получим согласованный срез.
Процесс меняет цвет как только записал свое локальное состояние. После этого он отсылает всем процессам специальное сообщение - маркер. Если процесс получил маркер и еще белый, то он обязан записать локальное состояние, стать красным и оправить маркеры. Иначе можно ничего не делать. Это гарантирует, что ни один белый процесс не получит сообщение от красного процесса.
