Что такое последовательная согласованность?

Последовательная согласованность (Sequential Consistency) — это модель согласованности в распределенных системах или многопоточных программах, гарантирующая, что результат выполнения любой параллельной программы будет таким, как если бы все операции всех процессоров (потоков) были выполнены в некотором последовательном порядке, и операции каждого отдельного процессора (потока) в этом последовательном порядке следовали в том порядке, в котором они были заданы в программе.

Иными словами:

1. Сохранение порядка операций внутри потока: Операции, инициированные одним потоком, видны другим потокам в том же порядке, в котором они были выполнены этим потоком.
2. Единый глобальный порядок: Существует некий единый, глобальный, линейный порядок выполнения всех операций всех потоков, который соблюдается всеми потоками.

Эта модель является одной из самых сильных и инту