Pr-1st-1.1-m04-Slajd08

Realizacja zegarów skalarnych

L. Lamport zaproponował realizację skalarnego zegara logicznego, w której funkcja ${\mathcal {T}}(E)$ implementowana była przez zmienne naturalne $clock_{i}$, $1\leq i\leq n$, skojarzone z procesami $P_{i}$ (monitorami $Q_{i}$). Wartość zmiennej $clock_{i}$ reprezentuje w każdej chwili wartość funkcji ${\mathcal {T}}(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 >>