Слабый конъюнктивный предикат — различия между версиями
(Новая страница: «Категория: Параллельное программирование '''Локальный предикат''' - предикат над состоян…») |
м (rollbackEdits.php mass rollback) |
||
| (не показаны 3 промежуточные версии 2 участников) | |||
| Строка 1: | Строка 1: | ||
[[Категория: Параллельное программирование]] | [[Категория: Параллельное программирование]] | ||
| − | ''' | + | '''Слабый конъюнктивный предикат (WCP)''' – предикат, удовлетворяющий двум условиям: |
| − | ''' | + | * имеет вид конъюнкции локальных предикатов над состоянием каждого процесса; |
| + | * его истинность есть истинность хотя бы на одном согласованном срезе. | ||
| + | |||
| + | '''Локальный предикат''' – предикат по состоянию одного процесса. Например, если у процесса есть состояние (переменная) x, то локальным предикатом может быть (x < 0). | ||
| + | |||
| + | Пример WCP предиката: “в системе нет координатора”, причем локальное условие – “я не координатор”. | ||
Текущая версия на 19:36, 4 сентября 2022
Слабый конъюнктивный предикат (WCP) – предикат, удовлетворяющий двум условиям:
- имеет вид конъюнкции локальных предикатов над состоянием каждого процесса;
- его истинность есть истинность хотя бы на одном согласованном срезе.
Локальный предикат – предикат по состоянию одного процесса. Например, если у процесса есть состояние (переменная) x, то локальным предикатом может быть (x < 0).
Пример WCP предиката: “в системе нет координатора”, причем локальное условие – “я не координатор”.
