Модель согласованности

В распределённой системе, такой как распределённая общая память или распределённом хранилище, таком как база данных, файловая система, кэширование или оптимистичная репликация существуют разнообразные модели непротиворечивости данных.

Модель консистентности представляет собой некоторый договор между программами и памятью, в котором указывается, что при соблюдении программами определённых правил работа модуля памяти будет корректной, если же требования к программе будут нарушены, то память не гарантирует правильность выполнения операций чтения/записи.

Основные модели консистентности:

• Строгая консистентность (англ. strict consistency)
• Последовательная консистентность (англ. sequential consistency)
• Причинная консистентность (англ. causal consistency )
• PRAM-консистентность (англ. PRAM consistency)
• Процессорная консистентность (англ. processor consistency)
• Слабая консистентность (англ. weak consistency)
• Консистентность в конечном счёте (англ. eventual consistency)
• Консистентность по выходу (англ. release consistency)
• Консистентность по входу (англ. entry consistency)

Отдельно выделим модель линеаризуемости (англ. linearizability) программы, в которой вместо операций чтения/записи рассматриваются операции над объектами (например функции, процедуры), а состояние памяти в данной модели — это состояния объектов. Эта модель используется для систем с объектной организацией общей памяти. В отличие от всех остальных систем, здесь программы не могут напрямую использовать общие переменные (состояние объектов), а только через специальные функции-методы (операции). Для этих систем линеаризуемость совпадает со строгой консистентностью.

Литература

• Kshemkalyani, A.D. and Singhal, M. Distributed Computing: Principles, Algorithms, and Systems. — Cambridge University Press, 2011. — ISBN 9781139470315.

Ссылки

• Крюков В. А. Курс лекций «Распределенные ОС» 6. Распределенная общая память