WikiSort.ru - Не сортированное

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

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

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

• Строгая консистентность (англ. 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. Распределенная общая память

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 13 ноября 2016 года.