Слабый конъюнктивный предикат

Материал из Викиконспекты
Версия от 14:28, 14 марта 2018; 5.18.249.29 (обсуждение)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Слабый конъюнктивный предикат (WCP) – предикат, удовлетворяющий двум условиям:

  • имеет вид конъюнкции локальных предикатов над состоянием каждого процесса;
  • его истинность есть истинность хотя бы на одном согласованном срезе.

Локальный предикат – предикат по состоянию одного процесса. Например, если у процесса есть состояние (переменная) x, то локальным предикатом может быть (x < 0).

Пример WCP предиката: “в системе нет координатора”, причем локальное условие – “я не координатор”.