Изменения
Новая страница: «Категория: Параллельное программирование '''Слабый конъюнктивный предикат (WCP)''' – пре…»
[[Категория: Параллельное программирование]]
'''Слабый конъюнктивный предикат (WCP)''' – предикат, удовлетворяющий двум условиям:
* имеет вид конъюнкции локальных предикатов над состоянием каждого процесса;
* его истинность есть истинность хотя бы на одном согласованном срезе.
'''Локальный предикат''' – предикат по состоянию одного процесса. Например, если у процесса есть состояние (переменная) x, то локальным предикатом может быть (x < 0).
Пример WCP предиката: “в системе нет координатора”, причем локальное условие – “я не координатор”.
'''Слабый конъюнктивный предикат (WCP)''' – предикат, удовлетворяющий двум условиям:
* имеет вид конъюнкции локальных предикатов над состоянием каждого процесса;
* его истинность есть истинность хотя бы на одном согласованном срезе.
'''Локальный предикат''' – предикат по состоянию одного процесса. Например, если у процесса есть состояние (переменная) x, то локальным предикатом может быть (x < 0).
Пример WCP предиката: “в системе нет координатора”, причем локальное условие – “я не координатор”.
