Gedimų ir laiko prielaidos paskirstytosiose sistemose
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Sustojimo gedimas sustabdo procesą; bizantiniai gedimai leidžia bet kokią elgseną, įskaitant nenuoseklius pranešimus.
Esminės žinios
Sustojimo gedimas sustabdo procesą; bizantiniai gedimai leidžia bet kokią elgseną, įskaitant nenuoseklius pranešimus. Sinchroniniai modeliai numato laiko ribas, asinchroniniai – ne, o dalinė sinchronija suteikia ribas po nežinomo stabilizavimosi laiko arba nežinomas baigtines ribas. Saugumas draudžia neteisingą rezultatą; gyvybingumas reikalauja galiausiai pasiekiamos pažangos leidžiamuose vykdymuose. Laiko limito viršijimas gali paskatinti įtarti lėtą procesą, tačiau visiškai asinchroniniame modelyje neleidžia atskirti vėlavimo nuo gedimo.
Sąlygos ir taikymo ribos
- Nurodykite autentifikavimą, pranešimų praradimą ir dubliavimą, patvarią saugyklą, tinklo sujungiamumą bei sugedusių mazgų skaičių ir gedimų tipą.
- Saugumo teorema automatiškai neapima delsos ribos ar pažangos tinklo skaidinio metu.
Šaltiniai · 4
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
- Impossibility of Distributed Consensus with One Fault (1985)Michael J. Fischer, Nancy A. Lynch and Michael S. PatersonMokslinis straipsnis · PDF
- Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services (2002)Seth Gilbert and Nancy Lynch / MITMokslinis straipsnis · PDF
- In Search of an Understandable Consensus Algorithm (extended version, 2014)Diego Ongaro and John Ousterhout / StanfordMokslinis straipsnis · PDF
- The Byzantine Generals Problem (1982)Leslie Lamport, Robert Shostak and Marshall PeaseMokslinis straipsnis · PDF
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinių vietas: Modelio apibrėžimai, leistini vykdymai ir pagrindinė neįmanomumo teorema; apibrėžimai ir asinchroninių atominių skaitymo bei rašymo operacijų neįmanomumo teorema; dalinės sinchronijos aptarimas; §§5–8: lyderio rinkimas, žurnalų atitikimas, patvirtinimo taisyklė, patvari būsena, narystė ir kliento linearizuojamumas; nepasirašytų pranešimų prielaidos ir 3m+1 teorema; pasirašytų pranešimų modelio skirtumas. Patikra apsiriboja užrašytais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, pakartotinai atlikta programinė įrodymo patikra ar aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio teksto, teiginio, lygties ir taikymo srities patikra; grafo sąsajų aprėptis nurodyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-info-fault-timing-models
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas