Overview

L'objectif premier de cette these est de proposer un protocole de tolerance aux pannes par recouvrement arriere pour le modele a objets actifs asynchrones communicants ASP (Asynchronous Sequential Processes) et ProActive, son implementation en Java nommee. Cette these generalise la problematique soulevee par le developpement de ce protocole: nous etudions le recouvrement d'une application repartie depuis un etat global non coherent. Nous proposons donc dans un premier temps un protocole par points de reprise et son implementation ne supposant pas que les etats globaux soient coherents. Nous montrons a travers des experimentations realistes utilisant des applications reparties communicantes que notre solution et son implementation presentent de bonnes performances. Nous contribuons aussi de maniere plus generale a l'etude du recouvrement depuis un etat global non coherent en definissant formellement une nouvelle condition de recouvrabilite, la P-coherence, basee sur la notion de promesse d'evenement. Cette definition s'integre dans un formalisme evenementiel capable de prendre en compte la semantique de n'importe quel systeme; elle est donc applicable dans un cadre general.

Full Product Details

9786131543012

Table of Contents

Reviews

Author Information

Tab Content 6

Countries Available