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

Необходимо перенести содержимое этой статьи в статью согласованность данных и заменить эту статью на перенаправление. Вы можете помочь проекту, объединив статьи. В случае необходимости обсуждения целесообразности объединения, замените этот шаблон на шаблон {{К объединению}} и добавьте соответствующую запись на странице Википедия:К объединению. Пожалуйста, также проверьте историю правок. (7 марта 2019)

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

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

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

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

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

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

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