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.)

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


[Maison.png]Back to Home

Last generated on 6 Oct 2016     Valid HTML 4.0!