Модель согласованности — подход, используемый в той или иной распределённой системе ( , СУБД , файловой системе ), для обеспечения гарантий согласованности данных .

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

• ( англ. strict consistency )
• последовательная согласованность ( англ. sequential consistency )
• причинная согласованность ( англ. causal consistency )
• ( англ. )
• ( англ. )
• ( англ. )
• согласованность в конечном счёте
• ( англ. )
• ( англ. )

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

Литература

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

Ссылки

• Крюков В. А. Курс лекций «Распределенные ОС»

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