Изменения

Перейти к: навигация, поиск

Централизованный алгоритм для WCP

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

Навигация