Строгая согласованность — одна из моделей согласованности, используемых в области параллельного программирования (например, в распределенной общей памяти , распределенных транзакциях ). [1]
Считается, что протокол поддерживает сильную согласованность, если:
Таким образом, можно наблюдать только одно согласованное состояние, в отличие от слабой согласованности , когда различные параллельные процессы (или узлы и т. д.) могут воспринимать переменные в различных состояниях.
{{cite book}}
: CS1 maint: отсутствует местоположение издателя ( ссылка )