I detta dokument beskrivs ett modulärt tillvägagångssätt för konstruktion av feltoleranta avtalsprotokoll. Metoden bygger på en allmän konsensustjänst. Feltoleranta avtal protokoll byggs med hjälp av en klient-server interaktion, där kunderna är de processer som måste lösa avtalet problem, och servrarna genomföra konsensus tjänsten. Denna tjänst nås genom en allmän konsensus lter, anpassade för varje specific c avtal problem. Vi illustrerar vår strategi för att bygga olika feltoleranta avtal protokoll såsom icke-blockerande atomiskt engagemang, gruppmedlemskap, synkron kommunikation och total order multicast. Genom en systematisk minskning till samförstånd ger vi ett enkelt sätt att lösa avtalsproblem, vilket leder till originella lösningar för problem som gruppmedlemskap och synkron kommunikation. Utöver sin moduläritet möjliggör vårt tillvägagångssätt eektiva implementeringar av avtal protokoll, och exakt karakterisering av deras livlighet och säkerhetsegenskaper.
Slutligen bör det noteras att frikopplingen av de två mekanismerna underförstått förekom i REF, där en konsensustjänst används för att lösa avtalsproblem.
The Generic Consensus Service
{'venue': 'IEEE Transactions on Software Engineering', 'journal': None, 'mag_field_of_study': ['Computer Science']}