Distribuerat samförstånd är en integrerad del av moderna distribuerade system. Den allmänt antagna Paxos algoritm använder två faser, var och en kräver majoritetsavtal, för att på ett tillförlitligt sätt nå samförstånd. I detta dokument visar vi att Paxos, som ligger till grund för många produktionssystem, är konservativ. Vi observerar särskilt att var och en av faserna av Paxos kan använda icke-skärande beslutförhet. Majoritetens beslutförhet är inte nödvändig eftersom skärningspunkten endast krävs i olika faser. Med hjälp av denna försvagning av kraven i den ursprungliga formuleringen föreslår vi Flexible Paxos, som generaliserar över Paxos algoritm för att ge flexibel beslutförhet. Vi visar att Flexible Paxos är säker, effektiv och enkel att använda i befintliga distribuerade system. Vi avslutar med att diskutera de vittomfattande konsekvenserna av detta resultat. Exempel är förbättrad tillgänglighet från att minska storleken på den andra fasens beslutförhet med en när antalet acceptörer är jämn och utnyttja små separata fas-2 beslutförhet för att påskynda steady-state.
Flexibel Paxos. Flexibel Paxos av Howard et al. REF konstaterar att Paxos kan använda icke-skärande beslutförhet inom en vy, men det krävs en skärningspunkt över vyerna.
Flexible Paxos: Quorum intersection revisited
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}