Модель согласованности — подход, используемый в той или иной распределённой системе (распределённой общей памяти, СУБД, файловой системе), для обеспечения гарантий согласованности данных.
Основные модели согласованности:
- строгая согласованность (англ. strict consistency)
- последовательная согласованность (англ. sequential consistency)
- причинная согласованность (англ. causal consistency )
- PRAM-согласованность (англ. PRAM consistency)
- процессорная согласованность (англ. processor consistency)
- слабая согласованность (англ. weak consistency)
- согласованность в конечном счёте
- согласованность по выходу (англ. release consistency)
- согласованность по входу (англ. entry consistency)
Особую роль для модели согласованности играет вопрос линеаризуемости программы, в которой вместо операций чтения и записи рассматриваются операции над объектами (например функции, процедуры), а состояние памяти в данной модели — это состояния объектов. Линеаризуемые программы применяются для систем с объектной организацией общей памяти. В отличие от всех остальных систем, такие программы не могут напрямую использовать общие переменные (состояние объектов), а только через специальные функции-методы (операции). Для этих систем линеаризуемость совпадает со строгой согласованностью.
Литература
- Kshemkalyani, A.D. and Singhal, M. Distributed Computing: Principles, Algorithms, and Systems. — Cambridge University Press, 2011. — ISBN 9781139470315.
Ссылки
- Крюков В. А. Курс лекций «Распределенные ОС» 6. Распределенная общая память
| Методы | |
|---|---|
| Избранные протоколы и стандарты | |
| Общие положения | |
|---|---|
| Уровни параллелизма |
|
| Поток выполнения | |
| Теория |
|
| Элементы | |
| Взаимодействие | |
| Программирование |
|
| Компьютерная техника |
|
| API |
|
| Проблемы |
|
Эта страница в последний раз была отредактирована 7 марта 2019 в 13:33.
Обычно почти сразу, изредка в течении часа.