Слабая консистенция

Название слабая согласованность может использоваться в двух смыслах. В первом смысле, строгом и более популярном, слабая согласованность является одной из моделей согласованности, используемых в области параллельного программирования (например, в распределенной общей памяти , распределенных транзакциях и т. д.).

Говорят, что протокол поддерживает слабую согласованность, если:

1. Все доступы к переменным синхронизации видны всем процессам (или узлам, процессорам) в том же порядке (последовательно) - это операции синхронизации. Доступы к критическим секциям видны последовательно.
2. Все остальные доступы могут наблюдаться в разном порядке на разных процессах (или узлах, процессорах).
3. Набор операций чтения и записи между различными операциями синхронизации одинаков в каждом процессе.

Следовательно, не может быть доступа к переменной синхронизации, если есть ожидающие операции записи. И не может быть начата новая операция чтения/записи, если система выполняет какую-либо операцию синхронизации.

Во втором, более общем смысле слабая согласованность может быть применена к любой модели согласованности, более слабой, чем последовательная согласованность .

Более строгим условием является сильная согласованность , при которой параллельные процессы могут наблюдать только одно согласованное состояние.

Ссылки

• Оригинальная статья о слабом порядке: M. Dubois, C. Scheurich и FA Briggs, Memory Access Buffering in Multiprocessors , в Трудах 13-го ежегодного международного симпозиума по архитектуре компьютеров 14, 2 (июнь 1986 г.), 434-442.
• Сарита В. Адве , Марк Д. Хилл, Слабое упорядочение — новое определение , в Трудах 17-го ежегодного международного симпозиума по компьютерной архитектуре .