Изменения
Нет описания правки
[[Категория: Параллельное программирование]]
'''Централизованный алгоритм для WCP''' – алгоритм для поиска наименьшего (проще говоря, самого левого) [[Срез, согласованный срез|согласованного среза]] в котором выполняется [[Слабый конъюнктивный предикат (WCP)|слабый конъюнктивный предикат]].
В централизованном алгоритме используются [[Векторные часы|векторные часы]]. В таком случае, срезом будет Срез задается вектораминабором векторных часов для всех процессов.
Суть алгоритма:
* Есть один процесс-координатор, который ответственный за поиск согласованного среза;
* Остальные процессы обычные, их задача проверять свои локальные предикаты;
* Всякий раз, когда впервые с момента последнего отправленного сообщения локальный предикат становится true, оповещаем об этом координатора, указывая свое векторное время;
