Линеаризуемость
Самая строгая модель согласованности для отдельных операций: каждая операция выглядит так, будто мгновенно вступает в силу в одной точке между вызовом и ответом.
Херлихи и Винг, 1990 год. Создаёт иллюзию, что распределённый объект живёт на одном узле. Практическое следствие: после успешной записи каждое последующее чтение её видит. Ещё это называют «строгой» или «атомарной» согласованностью.
Платить приходится задержкой (надо дождаться большинства реплик) и доступностью (теорема CAP). Линеаризуемы Spanner, etcd, ZooKeeper и FoundationDB. Не путайте с сериализуемостью, которая относится к транзакциям: линеаризуемость — свойство отдельной операции.