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

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

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

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

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

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

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

использованная литература