twierdzenie FLP
FLP — Fischer-Lynch-Paterson
Wynik dowodzący, że w asynchronicznym systemie rozproszonym żaden deterministyczny protokół nie gwarantuje konsensusu przy choćby jednej awarii zatrzymania.
- Typ
- obiekt
- Pojęcie nadrzędne
- twierdzenie o niemożliwości
- Kategoria
- Systemy i architektura · Konsensus i replikacja
- Źródło
- Fischer, Lynch, Paterson, JACM (1985)
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