292
правки
Изменения
→Оптимизации
== Оптимизации ==
=== Уменьшение количества посылок о выполнении предиката ===
Если в каком-то процессе выполнялся предикат, а потом он получил сообщение, то не надо ещё раз высылать сообщение координатору.
Доказательство: если бы было решение, где новое состояние процесса после получения сообщения было границей искомого среза, то мы можем сдвинуть это состояние назад. Предикат всё ещё будет выполняться, а срез менее согласованным не станет, т.к. получения сообщений можно выкидывать безболезненно.
=== Часы с прямой зависимостью вместо векторных ===
