Abstract-Leader-baserade protokoll vilar på en primitiv kan ge processerna med samma unika ledare. Sådana protokoll är mycket vanliga i distribuerade datorer för att lösa synkroniserings- eller samordningsproblem. Tyvärr, att ge en sådan primitiv är långt ifrån trivial i asynkrona distribuerade system benägna att bearbeta krascher. (Det är till och med omöjligt i felbenägna rent asynkrona system.) För att kringgå denna svårighet har flera protokoll föreslagits som bygger en ledaranläggning ovanpå ett asynkront distribuerat system berikat med ytterligare antaganden. De protokoll som föreslås hittills beaktar antingen ytterligare antaganden baserade på synkronisering eller ytterligare antaganden om mönstret för de meddelanden som utbyts. Med tanke på system med n-processer och upp till f-processkrascher, 1 f < n, undersöker detta papper kombinationen av ett tidsfritt antagande av meddelandemönstret med ett synkront antagande om processhastighet och meddelandefördröjning. Det visar att båda typerna av antaganden kan kombineras för att få en hybrid slutligen ledare protokoll som drar nytta av det bästa av båda världarna. Detta kombinerade antagande tar hänsyn till en stjärnkommunikationsstruktur som omfattar f 1 processer. Dess anmärkningsvärda drag ligger i den kombination av båda typer av antaganden som är "så bra som möjligt" i den meningen att var och en av f-kanalerna i stjärnan måste tillfredsställa en egendom oberoende av den egendom som tillgodoses av var och en av de f À 1 andra kanalerna (f-kanalerna behöver inte uppfylla samma antagande). Mer exakt, detta kombinerade antagande är följande: Det finns en korrekt process p (centrum för stjärnan) och en uppsättning Q av f processer q (p = 2 Q) sådan att, så småningom, antingen 1) varje gång det sänder en fråga, q får ett svar från p bland ðn À f på första svar på den frågan, eller 2) kanalen från p till q är läglig. (Processerna i uppsättningen Q kan krascha.) En förvånansvärt enkel slutlig ledare protokoll baserat på detta finkorniga hybrid antagande föreslås och har visat sig vara korrekt. En förbättring presenteras också.
De två tidigare tillvägagångssätt (t-källa och meddelandemönster) kombineras, i REF, för att få en eventuell ledare protokoll.
Time-free and timer-based assumptions can be combined to obtain eventual leadership
{'venue': 'IEEE Transactions on Parallel and Distributed Systems', 'journal': 'IEEE Transactions on Parallel and Distributed Systems', 'mag_field_of_study': ['Computer Science']}