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