Модель согласованности — подход, используемый в той или иной распределённой системе (, СУБД, файловой системе), для обеспечения гарантий согласованности данных.
Основные модели согласованности: строгая согласованность () последовательная согласованность () причинная согласованность ()
согласованность в конечном счёте ()
Особую роль для модели согласованности играет вопрос линеаризуемости программы, в которой вместо операций чтения и записи рассматриваются операции над объектами (например функции, процедуры), а состояние памяти в данной модели — это состояния объектов. Линеаризуемые программы применяются для систем с объектной организацией общей памяти. В отличие от всех остальных систем, такие программы не могут напрямую использовать общие переменные (состояние объектов), а только через специальные функции-методы (операции). Для этих систем линеаризуемость совпадает со строгой согласованностью.
Литература
Ссылки Крюков В. А. Курс лекций «Распределенные ОС» 6. Распределенная общая память
Категория:Теоретические основы баз данных Категория:Архитектура распределённых вычислений Категория:Управление памятью