Abstract-Vi undersöker om asynkrona beräkningsmodeller och asynkrona algoritmer kan övervägas för att utforma realtid distribuerade feltoleranta system. A priori, bristen på avgränsade ändliga förseningar är antagonistisk med aktualitet krav. Vi visar hur man kringgår denna skenbara motsägelse, genom principen om "senare bindning" av en lösning till någon (delvis) synkron modell. Denna princip har visat sig maximera täckningen av demonstrerade säkerhets-, livlighets- och aktualitetsegenskaper. Dessa allmänna resultat illustreras med Uniform Consensus (UC) och Real-Time UC-problem, förutsatt att processorn kraschar och tillförlitlig kommunikation, med beaktande av asynkrona lösningar baserade på opålitliga feldetektorer. Vi introducerar begreppet Fast Misslyckande Detektorer och vi visar att problemet med att bygga Starka eller Perfekta Snabb Misslyckande Detektorer i verkliga system kan anges som ett distribuerat meddelande schemaläggning problem. En allmän lösning på detta problem ges, illustrerad med tanke på deterministiska Ethernet. I förbigående, det visas att, med vår konstruktion av opålitliga feldetektorer, asynkrona algoritmer som löser UC har en värsta fall terminering lägre gräns som matchar den optimala synkrona lägre gräns, det vill säga, ðt  och 1 på D, där t är det maximala antalet processorer som kan krascha och D är den maximala interprocess meddelande fördröjning. Slutligen introducerar vi FastUC, en ny lösning till UC, som bygger på snabbfelsdetektorer. FastUC har en värsta-fall termineringstid som är sublinjär i t D. För de flesta praktiska fall och gemensamma värden av t, FastUC slutar i D, vilket gör det till en värsta-fall-tid optimal lösning till Real-Time UC.
Till exempel i REF ger författarna en algoritm som når överenskommelse i värsta fall i tid som är sublinear i antalet processorer och maximal meddelandefördröjning.
Fast asynchronous uniform consensus in real-time distributed systems
{'venue': 'IEEE Trans. Computers', 'journal': 'IEEE Trans. Computers', 'mag_field_of_study': ['Computer Science']}