Редактирование: Централизованный алгоритм для WCP
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 17: | Строка 17: | ||
* Обрабатываем приходящие сообщения только от красных процессов, сообщения от зеленых ставим в очередь. | * Обрабатываем приходящие сообщения только от красных процессов, сообщения от зеленых ставим в очередь. | ||
** Пришедший от красного процесса вектор гарантированно попадает в срез-кандидат. | ** Пришедший от красного процесса вектор гарантированно попадает в срез-кандидат. | ||
− | ** Сравниваем пришедший вектор попарно с другими процессами. Если новый вектор больше, то делаем меньший процесс красным, потому что новый вектор гарантированно попадает, а тогда после меньшего вектора должно идти что-то ещё (иначе не получим попарно несравнимые события). | + | ** Сравниваем пришедший вектор попарно с другими процессами. |
+ | Если новый вектор больше, то делаем меньший процесс красным, потому что новый вектор гарантированно попадает, а тогда после меньшего вектора должно идти что-то ещё (иначе не получим попарно несравнимые события). | ||
** После обработки сообщения делаем бывший красный процесс зеленым. | ** После обработки сообщения делаем бывший красный процесс зеленым. | ||
* Если все зеленое, то мы нашли согласованный срез. | * Если все зеленое, то мы нашли согласованный срез. |