Vi introducerar en ny modell av partiell synkronisering för läs-skriva delade minnessystem. Denna modell är baserad på den enkla uppfattningen om fastställd aktualitet-en naturlig generalisering av det seminala begreppet aktualitet i den delvis synkrona modellen av Dwork et al. (J. ACM 35(2):288–323, 1988). Trots sin enkelhet är begreppet fastställd aktualitet tillräckligt kraftfullt för att definiera en familj av delvis synkrona system som nära matchar enskilda fall av t-resilient k-set avtalsproblem bland n-processer, hädanefter betecknat (t, k, n)-avtal. I synnerhet använder vi den för att ge ett delvis synkront system som är synkront nog för att lösa (t, k, n)-avtal, men inte tillräckligt för att lösa två gradvis starkare problem, nämligen (t + 1, k, n)-avtal, som har ett något starkare behov av resiliens, och (t, k − 1, n)-avtal, som har ett något starkare avtalskrav. Detta är det första delvis synkrona systemet som separerar dessa underkonsensusproblem. Ovanstående resultat visar att fastställd aktualitet kan användas för att studera och jämföra partiella synkroniseringskrav för problem som är strikt svagare än konsensus. En preliminär version av detta dokument publicerades [3].
Slutligen framträdde begreppet fastställd aktualitet och några av de resultat som presenteras här först i en preliminär version av detta dokument i REF (i den preliminära versionen övervägde vi endast de delvis synkrona systemen S i n,n och den väntefria versionen av k-set-avtalet).
Partial synchrony based on set timeliness
{'venue': 'Distributed Computing', 'journal': 'Distributed Computing', 'mag_field_of_study': ['Computer Science', 'Engineering']}