Using data-flow analysis for resilience and result checking in peer-to-peer computations
Samir Jafar, Sébastien Varrette, Jean-Louis Roch · Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. · 2004
To achieve correct execution of peer-to-peer applications on nonreliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checking. Two kinds of faults are considered: node failure or disconnection and result forgery. This algorithm is based on the knowledge of the macro data-flow dependencies between the application tasks. It provides correct execution with respect to a probabilistic certificate. We have implemented it on top of Athapascan programming interface and experimental results are presented.