Изменения
Нет описания правки
* Есть один процесс-координатор, который ответственный за поиск согласованного среза;
* Остальные процессы обычные, их задача проверять свои локальные предикаты;
* Всякий раз, когда впервые с момента последнего отправленного или принятого сообщения локальный предикат становится true, оповещаем об этом координатора, указывая свое векторное время;
* Координатор поддерживает в памяти срез-кандидат и очередь необработанных сообщений от каждого процесса;
* Срез-кандидат согласован тогда и только тогда, когда все соответствующие вектора попарно несравнимы;
