Trots 30 år av intensiv forskning har den distribuerade datagemenskapen fortfarande inget praktiskt svar på icke-kraschfel på de maskiner som utgör ett distribuerat system. I synnerhet Bysantinska feltolerans (BFT), som lovar att hantera sådana fel, har inte levt upp till förväntningarna på grund av sin resurs och verksamhet overhead med avseende på dess krasch feltoleranta (CFT) motparter. Denna overhead kommer från det värsta antagandet om Bysantinska fel, i den meningen att någon samordnad kontradiktorisk aktivitet styr de felaktiga maskinerna och hela nätverket efter behag. Men för utövare verkar sådana kraftiga attacker vara irrelevanta. I detta dokument introducerar vi XFT ("korsfeltolerans"), en ny metod för att bygga tillförlitliga distribuerade system, som frikopplar felutrymmet över maskinen och nätverksfel dimensioner, behandla maskinfel och nätverksasynkroni separat. Detta står i skarp kontrast till de befintliga CFT- och BFT-modellerna som endast urskiljer systemfel längs maskinens feldimension. XFT erbjuder mycket mer flexibilitet än traditionella synkrona och asynkrona modeller som (för strikt) fixerar nätverksfelmodellen av intresse oavsett maskinfel. Som showcase för XFT presenterar vi Paxos++: det första protokollet för maskinreplikation i XFT-modellen. Paxos++ tolererar fel bortom krascher på ett effektivt och praktiskt sätt, med många fler nior av tillförlitlighet än det berömda kraschtoleranta Paxos-protokollet, utan att påverka dess resurs/driftskostnader samtidigt som samma prestanda upprätthålls (common-case kommunikation komplexitet bland repliker). Förvånansvärt nog ger Paxos++ ibland (beroende på systemmiljön) till och med mycket starkare tillförlitlighetsgarantier än de senaste BFT-replikationsprotokollen.
XFT REF är utformad för att tåla icke-krasch fel.
XFT: Practical fault tolerance beyond crashes
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}