Barry Porter, François Taïani, and Geoff Coulson

On the convergent detection of crashed regions in overlay networks

10, Lancaster (UK), February, number COMP-010-2008, 2008 (10p.)

Abstract
This report presents a distributed service that allows nodes in an overlay network to agree locally on the extent of crashed regions in their neighbourhood. Our service is local is that it only involves nodes in the vicinity of a crashed region. It is convergent as nodes that propose overlapping and hence conflicting regions are forced to reconcile their views before deciding. In this report, we motivate the need for such a service, formally specify its properties, propose an implementation, and prove its correctness.

complete document

bibtex



[Maison.png]Back to Home

 
Last generated on 6 Oct 2016       francois.taiani@irisa.fr     Valid HTML 4.0!