Model de consistență

Un model de consistență  este o abordare utilizată într-un sistem distribuit ( memorie partajată distribuită , DBMS , sistem de fișiere ) pentru a asigura garanțiile de consistență a datelor .

Principalele modele de consistență:

• consecvență strictă _ _  _
• consistență secvențială _ _  _
• consistenta cauzala _ _  _
• consistenta PRAM _ _  _
• consistenta procesorului _ _  _
• consistență slabă _ _  _
• consistenta in final
• eliberați consistența _ _  _
• consistența intrării _ _  _

Un rol special pentru modelul de consistență îl joacă problema liniarizării programului , în care, în loc de operații de citire și scriere, sunt luate în considerare operațiunile pe obiecte (de exemplu, funcții, proceduri), iar starea memoriei în acest model este starea obiectelor. Programele liniarizabile sunt utilizate pentru sistemele cu o organizare obiect de memorie partajată . Spre deosebire de toate celelalte sisteme, astfel de programe nu pot folosi direct variabile partajate (starea obiectelor), ci doar prin metode speciale de funcții (operații). Pentru aceste sisteme, liniarizarea coincide cu consistența strictă.

Literatură

• Kshemkalyani, AD și Singhal, M. Calcul distribuit: principii, algoritmi și sisteme. - Cambridge University Press, 2011. - ISBN 9781139470315 .

Link -uri

• Kryukov V. A. Curs de curs „Sisteme de operare distribuite” 6. Memoria partajată distribuită