292
правки
Изменения
Нет описания правки
* Обрабатываем приходящие сообщения только от красных процессов, сообщения от зеленых ставим в очередь.
** Пришедший от красного процесса вектор гарантированно попадает в срез-кандидат.
** Сравниваем пришедший вектор попарно с другими процессами. Если новый вектор больше, то делаем меньший процесс красным, потому что новый вектор гарантированно попадает, а тогда после меньшего вектора должно идти что-то ещё (иначе не получим попарно несравнимые события).
** После обработки сообщения делаем бывший красный процесс зеленым.
* Если все зеленое, то мы нашли согласованный срез.
