Model konzistence

Model konzistence  je přístup používaný v distribuovaném systému ( distribuovaná sdílená paměť , DBMS , souborový systém ) k zajištění záruk konzistence dat .

Hlavní modely konzistence:

• přísná konzistence _ _  _
• sekvenční konzistence _ _  _
• kauzální konzistence _ _  _
• Konzistence PRAM _ _  _
• konzistence procesoru _ _  _
• slabá konzistence _ _  _
• konzistence na závěr
• konzistence uvolnění _ _  _
• konzistence vstupu _ _  _

Zvláštní roli pro model konzistence hraje problematika linearizovatelnosti programu , ve které se místo operací čtení a zápisu uvažují operace s objekty (například funkcemi, procedurami) a stav paměti v tomto modelu je stav objektů. Linearizovatelné programy se používají pro systémy s objektovou organizací sdílené paměti . Na rozdíl od všech ostatních systémů takové programy nemohou přímo využívat sdílené proměnné (stav objektů), ale pouze prostřednictvím speciálních funkčních metod (operací). U těchto systémů se linearizovatelnost shoduje s přísnou konzistencí.

Literatura

• Kshemkalyani, AD a Singhal, M. Distributed Computing: Principles, Algorithms, and Systems. - Cambridge University Press, 2011. - ISBN 9781139470315 .

Odkazy

• Kryukov V. A. Přednáškový kurz "Distribuované operační systémy" 6. Distribuovaná sdílená paměť