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:

${\mathcal {T}}(E_{3}^{1})<{\mathcal {T}}(E_{1}^{2})$

${\mathcal {T}}(E_{3}^{2})<{\mathcal {T}}(E_{1}^{2})$

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