Sr-10-wyk-1.0-Slajd24
Reprezentacja zbiorów zapisów
Wektory wersji umożliwiają efektywną reprezentację zbiorów operacji. Slajd pokazuje w jaki sposób realizowana jest reprezentacja zbiorów zapisów przez wektory wersji. Załóżmy, że funkcja T:O ? V będzie wydobywać z kodu operacji jej etykietę wektorową. Zbiór operacji reprezentowanych wektorem wersji V będzie oznaczany jako WS(V ). Zbiór ten obejmuje wszystkie zapisy z wszystkich serwerów o ile etykieta wektorowa dla tych zapisów jest zdominowana przez zadany wektor wersji. Relacja dominacji jest przedstawiona na slajdzie. Wektor V1 dominuje nad V2 jeżeli wszystkie pozycje tego wektora są nie mniejsze od odpowiednich pozycji wektora V2 .
Interpretacja zbiorów WS(V ) jest dość intuicyjna w przypadku klasycznych wektorów wersji, gdzie każda pozycja wektora oznacza liczbę operacji zapisu przyjętych do realizacji przez dany serwer.
