linearyzowalność
Najsilniejszy model spójności obiektu: każda operacja zdaje się działać atomowo w pewnym punkcie między jej wywołaniem a zakończeniem, zgodnie z czasem rzeczywistym.
- Typ
- cecha
- Pojęcie nadrzędne
- model spójności
- Kategoria
- Systemy i architektura · Modele spojnosci
- Źródło
- Herlihy, Wing, 'Linearizability: A Correctness Condition for Concurrent Objects' (1990)
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