Алгоритм Чанди-Лампорта — различия между версиями
(Новая страница: «Категория: Параллельное программирование '''Алгоритм Чанди-Лампорта''' получения [[Срез, …») |
|||
| Строка 4: | Строка 4: | ||
Суть алгоритма в том, что мы ставим в соответствие каждому процессу цвет (красный или белый). Изначально все процессы белые. Когда все процессы станут красными мы получим согласованный срез. | Суть алгоритма в том, что мы ставим в соответствие каждому процессу цвет (красный или белый). Изначально все процессы белые. Когда все процессы станут красными мы получим согласованный срез. | ||
| − | Процесс меняет цвет как только записал свое локальное состояние. После этого он отсылает всем процессам специальное сообщение - маркер. Если процесс получил маркер и еще белый, то он обязан записать локальное состояние, стать красным и оправить маркеры. Иначе можно ничего не делать. Это гарантирует, что ни один белый процесс не получит сообщение от красного процесса. | + | Процесс меняет цвет как только записал свое локальное состояние. После этого он отсылает всем процессам специальное сообщение - маркер. Только после этого он может снова обрабатывать сообщения. Если процесс получил маркер и еще белый, то он обязан записать локальное состояние, стать красным и оправить маркеры. Иначе можно ничего не делать. Это гарантирует, что ни один белый процесс не получит сообщение от красного процесса. |
Версия 16:47, 26 июня 2010
Алгоритм Чанди-Лампорта получения согласованного среза.
Суть алгоритма в том, что мы ставим в соответствие каждому процессу цвет (красный или белый). Изначально все процессы белые. Когда все процессы станут красными мы получим согласованный срез.
Процесс меняет цвет как только записал свое локальное состояние. После этого он отсылает всем процессам специальное сообщение - маркер. Только после этого он может снова обрабатывать сообщения. Если процесс получил маркер и еще белый, то он обязан записать локальное состояние, стать красным и оправить маркеры. Иначе можно ничего не делать. Это гарантирует, что ни один белый процесс не получит сообщение от красного процесса.
