Konsistensmodel

En konsistensmodel  er en tilgang, der bruges i et distribueret system ( distribueret delt hukommelse , DBMS , filsystem ) for at sikre datakonsistensgarantier .

Hovedkonsistensmodeller:

• streng konsistens _ _  _
• sekventiel konsistens _ _  _
• kausal sammenhæng _ _  _
• PRAM konsistens _ _  _
• processorkonsistens _ _  _ _
• svag konsistens _ _  _
• konsistens til sidst
• frigivelseskonsistens _ _  _ _
• indtastningskonsistens _ _  _ _

En særlig rolle for konsistensmodellen spilles af spørgsmålet om programlinearisering , hvor der i stedet for læse- og skriveoperationer overvejes operationer på objekter (for eksempel funktioner, procedurer), og hukommelsestilstanden i denne model er objekters tilstand. Lineariserbare programmer bruges til systemer med en objektorganisering af delt hukommelse . I modsætning til alle andre systemer kan sådanne programmer ikke direkte bruge delte variable (objekternes tilstand), men kun gennem specielle funktionsmetoder (operationer). For disse systemer falder lineariserbarheden sammen med streng konsistens.

Litteratur

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

Links

• Kryukov V. A. Forelæsningskursus "Distribuerede operativsystemer" 6. Distribueret delt hukommelse