Czas i uporzadkowanie

Name: lok-ai — Lokalna Automatyzacja Biznesu
Address: Grudziądz, kujawsko-pomorskie, PL
Telephone: +48-534-541-454
Price range: $$

15 pojęć w 6 podgrupach, z prostymi definicjami i źródłami.

Czas fizyczny · 3

01dryf zegaraclock driftStopniowe odchylanie się wskazań zegara fizycznego od czasu odniesienia wskutek różnicy częstotliwości jego oscylatora od wartości nominalnej.
02przedział niepewnościOgraniczony zakres czasu rzeczywistego, w którym z gwarancją mieści się prawdziwa chwila zdarzenia, mimo niedokładności zegarów fizycznych.
03synchronizacja zegarówProces uzgadniania odczytów zegarów fizycznych wielu węzłów tak, by ich różnice mieściły się w zadanej granicy.

01migawka rozproszonaAlgorytm rejestrujący spójny stan globalny systemu rozproszonego przez znaczniki przesyłane kanałami, bez wstrzymywania normalnej pracy.
02przekrój spójnyconsistent cutGlobalny stan, w którym dla każdego odebranego komunikatu uwzględniono również jego wysłanie; nie zawiera zdarzeń łamiących przyczynowość.
03stan globalnyZbiór lokalnych stanów wszystkich procesów i kanałów w danym punkcie, opisujący chwilowy obraz systemu rozproszonego.

01czas wirtualnyGlobalny system odniesienia czasowego oparty na przyczynowości zamiast czasu fizycznego, służący do rozumowania o stanach globalnych i porządkowaniu zdarzeń.

01porządek przyczynowySposób uporządkowania komunikatów lub zdarzeń, w którym każde zdarzenie jest dostarczane dopiero po wszystkich zdarzeniach, od których przyczynowo zależy.
02relacja stało-się-przedhappened-beforeCzęściowy porządek na zdarzeniach systemu rozproszonego wyrażający potencjalną zależność przyczynową: zdarzenie a poprzedza b w tym samym procesie lub przez przesłany komunikat.
03współbieżność zdarzeńWłasność pary zdarzeń, których nie łączy żadna relacja przyczynowa w żadnym kierunku, więc ich względna kolejność jest nieokreślona.

01porządek całkowityUporządkowanie, w którym wszystkie procesy dostarczają zbiór komunikatów w tej samej, jednoznacznie określonej kolejności.
02rozgłoszenie atomowetotal order broadcastPrymityw komunikacyjny dostarczający każdy komunikat do wszystkich poprawnych procesów w identycznym porządku całkowitym, na zasadzie wszystko-albo-nic.

01zegar hybrydowy logicznyHLCZegar łączący czas fizyczny ze składnikiem logicznym, dający znaczniki bliskie czasowi rzeczywistemu i jednocześnie zgodne z porządkiem przyczynowym.
02zegar LamportaSkalarny zegar logiczny inkrementowany przy każdym zdarzeniu i aktualizowany do max przy odbiorze komunikatu; gwarantuje, że relacja przyczynowa implikuje rosnące znaczniki.
03zegar logicznyMechanizm przypisujący zdarzeniom w systemie rozproszonym wartości liczbowe odzwierciedlające ich przyczynowe następstwo, bez odwołania do czasu fizycznego.