Pr-1st-1.1-m04-Slajd08

Realizacja zegarów skalarnych

L. Lamport zaproponował realizację skalarnego zegara logicznego, w której funkcja ${𝒯}(E)$ implementowana była przez zmienne naturalne $cloc{k}_i$, $1\le i\le n$, skojarzone z procesami $P_i$ (monitorami $Q_i$). Wartość zmiennej $cloc{k}_i$ reprezentuje w każdej chwili wartość funkcji ${𝒯}(E_i^k)$ odnoszącą się do ostatniego zdarzenia $E_i^k$ jakie zaszło w procesie $P_i$, a tym samym reprezentuje upływ czasu logicznego w tym procesie. Szczegółową implementację tego mechanizmu przedstawia algorytm L. Lamporta.

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