Raft žurnalo replikavimas, patvarioji būsena ir gyvybingumas
Tyrimų kontekstas
research method · established · Patikros data 2026-10-10
Raft naudoja numeruotomis kadencijomis grindžiamus lyderio rinkimus, daugumos balsavimą ir žurnalų atitiktį būsenų mašinai replikuoti esant mazgų sustojimo gedimams.
Esminės žinios
Raft naudoja numeruotomis kadencijomis grindžiamus lyderio rinkimus, daugumos balsavimą ir žurnalų atitiktį būsenų mašinai replikuoti esant mazgų sustojimo gedimams. Lyderis patvirtina savo dabartinės kadencijos įrašą, kai šis replikuojamas daugumoje mazgų; ankstesni įrašai tampa patvirtinti pagal šią taisyklę, o ne tiesiog suskaičiavus bet kokias senas replikas. Balsai, dabartinė kadencija ir žurnalas turi išlikti po gedimų. Pažangai reikia tarpusavyje susisiekiančios daugumos ir palankių laiko sąlygų; saugos argumentas nereiškia, kad Raft toleruoja Bizantijos gedimus.
Sąlygos ir taikymo ribos
- Norint toleruoti f mazgų sustojimų, naudoti nekintamą 2f+1 mazgų, galinčių patirti sustojimo gedimus, sudėtį; perkonfigūravimui reikia atskiro sudėčių persidengimo protokolo.
- Būsenų mašinos vykdymas, klientų pakartotinių užklausų deduplikavimas (kad ta pati užklausa nebūtų vykdoma pakartotinai) ir patvarus duomenų išsaugojimas turi išlaikyti protokolo prielaidas.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, atskirai pateiktą lygtį, jei tokia yra, ir nurodytas prielaidas pagal šias šaltinio vietas: §§5–8: lyderio rinkimai, žurnalų atitiktis, patvirtinimo taisyklė, patvarioji būsena, mazgų sudėtis ir klientų operacijų linearizuojamumas. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad atliktas visiškas įrodymo atkūrimas, programinis įrodymo pakartojimas ar išsami visos literatūros aprėptis.
2026-10-10 · Autoriaus atlikta šaltinio turinio, teiginio, lygties ir taikymo srities patikra; kiekvienos grafo sąsajos aprėptis nustatyta 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-raft-safety-liveness
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas