Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations

To achieve correct execution of peer-to-peer applications on non-reliable 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. Keywords-- Fault Tolerant, Checkpoint Recovery, Certificate of execution, Result Checking, Parallel Processing

• Type: Conference
• Year: 2004
• Where: DEXAW
• Authors: Samir Jafar, Sébastien Varrette, Jean-Louis Roch
• Keywords: Correct Execution, Database, DEXAW 2004, Fault Tolerance, Macro Data-flow Dependencies