zegar Lamporta
Skalarny zegar logiczny inkrementowany przy każdym zdarzeniu i aktualizowany do max przy odbiorze komunikatu; gwarantuje, że relacja przyczynowa implikuje rosnące znaczniki.
- Typ
- obiekt
- Pojęcie nadrzędne
- zegar logiczny
- Kategoria
- Systemy i architektura · Czas i uporzadkowanie
- Źródło
- Lamport, Time, Clocks, and the Ordering of Events (CACM 1978)
Zobacz też
Powiązane pojęcia · Systemy rozproszone i współbieżność
Stopniowe odchylanie się wskazań zegara fizycznego od czasu odniesienia wskutek różnicy częstotliwości jego oscylatora od wartości nominalnej.
przedział niepewnościOgraniczony zakres czasu rzeczywistego, w którym z gwarancją mieści się prawdziwa chwila zdarzenia, mimo niedokładności zegarów fizycznych.
synchronizacja zegarówProces uzgadniania odczytów zegarów fizycznych wielu węzłów tak, by ich różnice mieściły się w zadanej granicy.
migawka rozproszonaAlgorytm rejestrujący spójny stan globalny systemu rozproszonego przez znaczniki przesyłane kanałami, bez wstrzymywania normalnej pracy.
przekrój spójnyGlobalny stan, w którym dla każdego odebranego komunikatu uwzględniono również jego wysłanie; nie zawiera zdarzeń łamiących przyczynowość.
stan globalnyZbiór lokalnych stanów wszystkich procesów i kanałów w danym punkcie, opisujący chwilowy obraz systemu rozproszonego.
Chcesz wykorzystać AI w swojej firmie?
Wdrażamy chatboty, agentów głosowych i automatyzacje dla MŚP. Pierwsza konsultacja jest bezpłatna.
Bezpłatna konsultacja