Konsistensmodell

En konsistensmodell  är ett tillvägagångssätt som används i ett distribuerat system ( distribuerat delat minne , DBMS , filsystem ) för att säkerställa datakonsistensgarantier .

Huvudsakliga konsistensmodeller:

• strikt konsistens _ _  _
• sekventiell konsistens _ _  _
• kausal konsistens _ _  _
• PRAM konsistens _ _  _
• processorkonsistens _ _  _ _
• svag konsistens _ _  _
• konsistens till slut
• släpp konsistens _ _  _
• ingångskonsistens _ _  _ _

En speciell roll för konsistensmodellen spelas av frågan om programlinjärisering , där man i stället för läs- och skrivoperationer beaktar operationer på objekt (till exempel funktioner, procedurer), och minnestillståndet i denna modell är objektens tillstånd. Linjäriserbara program används för system med en objektorganisation av delat minne . Till skillnad från alla andra system kan sådana program inte direkt använda delade variabler (objektens tillstånd), utan endast genom speciella funktionsmetoder (operationer). För dessa system sammanfaller linjäriserbarheten med strikt konsistens.

Litteratur

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

Länkar

• Kryukov V. A. Föreläsningskurs "Distribuerade operativsystem" 6. Distribuerat delat minne