Utformningen och korrektheten av en kommunikationsenhet för ett distribuerat datorsystem redovisas. Anläggningen ger stöd till feltoleranta processgrupper i form av en familj av tillförlitliga multicast-protokoll som kan användas i både lokala och breda nätverk. Dessa protokoll uppnår hög grad av samstämmighet, samtidigt som tillämpningsspecifika leveransorderbegränsningar respekteras, och har varierande kostnader och prestanda som beror på graden av beställning som önskas. I synnerhet införs ett protokoll som genomdriver order om leverans av orsakssamband och som visar sig vara ett värdefullt alternativ till konventionella asynkrona kommunikationsprotokoll. Anläggningen säkerställer också att processer som tillhör en feltolerant processgrupp följer konsekventa order på händelser som påverkar koncernen som helhet, inklusive processfel, återhämtningar, migrering och dynamiska förändringar av gruppfastigheter som medlemsrankningar. En genomgång av flera användningsområden för protokollen i ISIS-systemet, som stöder feltoleranta motståndskraftiga objekt och anslagstavlor, illustrerar den betydande förenkling av algoritmer på högre nivå som möjliggörs genom vårt tillvägagångssätt.
I ISIS-projektet REF har en verktygslåda för konstruktion av feltoleranta tillämpningar tagits fram.
Reliable communication in the presence of failures
{'venue': 'TOCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}