SYSTEM ATLASЗагрузка материала

Последовательная согласованность

Sequential Consistency

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

Простыми словами

Например, две операции почти одновременно пытаются изменить одну запись, а пользователи ожидают предсказуемый итог. Поэтому заранее определяют правила чтения, записи и восстановления - иначе параллельные операции могут оставить данные в состоянии, которого бизнес не ожидал.

Механизм действия

Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на структуру компонентов, потоки данных, ограничения и действия участников. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.

Пример в работе

Нерабочий подход

Решение принимают без учета механизма «Последовательная согласованность», оценивая только ближайший эффект.

Системный подход

Перед изменением проверяют, как «Последовательная согласованность» влияет на ограничения, стимулы, зависимости и вторичные последствия.

Ограничения

«Последовательная согласованность» объясняет только часть происходящего в области «Базы данных и данные». Сам принцип не говорит, насколько сильным будет эффект в вашем случае, и не заменяет измерения. При другом масштабе, среде или временном горизонте результат может отличаться.

Источник

Leslie Lamport. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs (1979).

Первоисточник