292
правки
Изменения
→Часы с прямой зависимостью вместо векторных
=== Часы с прямой зависимостью вместо векторных ===
Если ''каждый'' процесс участвует в вычислении предиката, то нам хватает [[Часы с прямой зависимостью|часов с прямой зависимостью]] вместо векторных.
Смысл в том, чтобы все процессы, которые хоть как-то влияют на предикат, общались напрямую с координатором.
Доказательство: TODO (на лекции не было).