Abstract-This paper presenterar två svaga delvis synkrona systemmodeller M antiðnÀk och M handfatðnÀk på, som bara är tillräckligt starka för att lösa k-set-avtal: Vi introducerar den generaliserade ðn À k-lonely feldetektorn Lðk och som vi först visar oss vara tillräcklig för att lösa k-set-avtal, och visar att Lðk ska kunna genomföras i båda modellerna. M antiðnÀk. och M handfatðnÀk. är därför de första meddelandepasserande modeller som ligger mellan modeller där V (och därmed samförstånd) kan genomföras och den rent asynkrona modellen. Vi tar också upp k-set-avtal i anonyma system, det vill säga i system där (unik) processidentifierare inte är tillgängliga. Eftersom vår nya k-set-agreementalgoritm med hjälp av Lðk ska även fungera i anonyma system, visar det sig att ensamhetsfeldetektorn L 1⁄4 Lðn À 1 ska införas av Delporte et al. är också den svagaste feldetektorn för inställt avtal i anonyma system. Slutligen analyserar vi förhållandet mellan Lðk och andra feldetektorer som lämpar sig för att lösa k-set-avtal.
I REF tillhandahöll vi k-set-avtalsalgoritmer för delvis synkrona system med svaga synkroniseringskrav.
The Generalized Loneliness Detector and Weak System Models for k-Set Agreement
{'venue': 'IEEE Transactions on Parallel and Distributed Systems', 'journal': 'IEEE Transactions on Parallel and Distributed Systems', 'mag_field_of_study': ['Computer Science']}