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.
Karta hasła
- typobiekt
- nadrztwierdzenie o niemożliwości
- kat.Systemy i architektura · Systemy rozproszone i współbieżność · Konsensus i replikacja
- grupaKonsensus i replikacja
Zobacz też
- twierdzenie FLPkonsensus
- twierdzenie FLPmodel-asynchroniczny
Powiązane pojęcia · Systemy rozproszone i współbieżność
- 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.
- 04migawka rozproszonaAlgorytm rejestrujący spójny stan globalny systemu rozproszonego przez znaczniki przesyłane kanałami, bez wstrzymywania normalnej pracy.
- 05przekró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ść.
- 06stan globalnyZbiór lokalnych stanów wszystkich procesów i kanałów w danym punkcie, opisujący chwilowy obraz systemu rozproszonego.