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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

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

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

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

Литература

[править | править код]
  • Kshemkalyani, A.D. and Singhal, M. Distributed Computing: Principles, Algorithms, and Systems. — Cambridge University Press, 2011. — ISBN 9781139470315.