Using data-flow analysis for resilience and result checking in peer-to-peer computations

Author

Jafar, Samir ; Varrette, Sébastien ; Roch, Jean-Louis

Author_Institution

IMAG, Grenoble, France

fYear

2004

fDate

30 Aug.-3 Sept. 2004

Firstpage

512

Lastpage

516

Abstract

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.

Keywords

checkpointing; data flow analysis; distributed algorithms; fault tolerant computing; parallel processing; peer-to-peer computing; Athapascan programming interface; checkpoint recovery; data-flow analysis; distributed algorithm; fault tolerance; nonreliable resources; peer-to-peer computation; probabilistic certificate; result checking; Certification; Data analysis; Distributed algorithms; Distributed computing; Fault tolerance; Fault tolerant systems; Forgery; Peer to peer computing; Resilience; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Database and Expert Systems Applications, 2004. Proceedings. 15th International Workshop on

ISSN

1529-4188

Print_ISBN

0-7695-2195-9

Type

conf

DOI

10.1109/DEXA.2004.1333526

Filename

1333526