Lamport ur

Lamport ur  - en algoritme til at bestemme rækkefølgen af ​​begivenheder i et distribueret system ( logisk ur ), udviklet af Leslie Lamport i 1978 , er en prototype af et vektorur .

Da det er fuldstændig umuligt at synkronisere alle noder, introduceres en delordrerelation på hændelsessættet . Lamport-uret tildeler et enkelt nummer til hver hændelse og øger tælleren for hver proces monotont i henhold til følgende regler:

• tælleren inkrementeres før hver intern proceshændelse;
• når du sender en besked, er tællerværdien knyttet til beskeden;
• når en besked modtages, indstilles værdien af ​​tælleren for modtageprocessen til maksimum af de aktuelle og modtagne værdier og øges med 1.

Litteratur

• Leslie Lamport. Tid, ure og bestilling af begivenheder i et distribueret system  (engelsk)  // Communications of the ACM  : journal. - 1978. - Bd. 21 , nr. 7 . - S. 558-565 . - doi : 10.1145/359545.359563 .
• Kosyakov MS Introduktion til distribueret computing. – . - Sankt Petersborg. : NRU ITMO, 2014. - S. 68-75. — 155 s.
• Kapitel 3: Logisk tid // Ajay Kshemkalyani og Mukesh Singhal, Distributed Computing: Principles, Algorithms, and Systems, Cambridge University Press, 2008 (Scalar Time)