Pr-1st-1.1-m04-Slajd12

Przykład synchronizacji zegarów logicznych

W przykładzie obrazującym synchronizację skalarnych zegarów przedstawionym na slajdzie, wartości zegarów logicznych wyznaczono zgodnie z propozycją Lamporta przyjmując, że zdarzeniom inicjującym odpowiada czas wirtualny 0, a każde kolejne zdarzenie lokalne zmienia wartość zegara o d=1.

Rozważmy teraz pary zdarzeń współbieżnych: $E_2^1||E_3^1$, $E_3^1||E_1^2$ oraz $E_1^2||E_3^1$. Widać wyrażnie na ich przykładzie, że mniejsza wartość zagara logicznego nie musi oznaczać istnienia relacji poprzedzania między zdarzeniami. Dla przykładu, relacje między czasami wirtualnymi współbieżnych zdarzeń $E_2^1$ i $E_3^1$ oraz $E_1^2$ i $E_3^2$,są następujące:

${𝒯}(E_3^1)<{𝒯}(E_1^2)$

${𝒯}(E_3^2)<{𝒯}(E_1^2)$

<< Poprzedni slajd | Spis treści | Następny slajd >>