I detta dokument introduceras och utforskas ett nytt villkorsbaserat tillvägagångssätt för att lösa konsensusproblemet i asynkrona system. Metoden består av att identifiera uppsättningar av indatavektorer, kallade villkor, för vilka det är möjligt att utforma ett protokoll lösa samförstånd trots förekomsten av upp till f process kraschar. Det första huvudsakliga resultatet är ett generiskt samförståndsprotokoll för den gemensamma minnesmodellen. Det garanterar alltid avtal, och även uppsägning (åtminstone) när indata uppfyller villkoret som protokollet har omedelbar, eller när det inte finns några krascher. Sedan har två särskilda realistiska villkor fastställts, och de har visat sig vara maximala. Det andra huvudsakliga resultatet är en karakterisering av de villkor som gör det möjligt att lösa samförstånd. Samförståndsprotokollet fungerar för alla villkor. En e cient v ersion av protokollet är sedan utformad för meddelandet passerar modell som fungerar när f < n = 2, a n d i t i s h o wn att ingen sådan protokoll finns när f n = 2. Det visas också hur protokollets säkerhet kan handlas för sin livlighet.
Den villkorsbaserade metoden för att lösa samförstånd identifierar olika uppsättningar av ingångsvärden som gör det möjligt att lösa samförstånd snabbt REF.
Conditions on input vectors for consensus solvability in asynchronous distributed systems
{'venue': "STOC '01", 'journal': None, 'mag_field_of_study': ['Computer Science']}