Tol�rance Aux Pannes Pour Objets Actifs Asynchrones

L'objectif premier de cette thse est de proposer un protocole de tolrance aux pannes par recouvrement arrire pour le modle objets actifs asynchrones communicants ASP (Asynchronous Sequential Processes) et ProActive, son implmentation en Java nomme. Cette thse gnralise la problmatique souleve par le dveloppement de ce protocole : nous tudions le recouvrement d'une application rpartie depuis un tat global non cohrent. Nous proposons donc dans un premier temps un protocole par points de reprise et son implmentation ne supposant pas que les tats globaux soient cohrents. Nous montrons travers des exprimentations ralistes utilisant des applications rparties communicantes que notre solution et son implmentation prsentent de bonnes performances. Nous contribuons aussi de manire plus gnrale l'tude du recouvrement depuis un tat global non cohrent en dfinissant formellement une nouvelle condition de recouvrabilit, la P-cohrence, base sur la notion de promesse d'vnement. Cette dfinition s'intgre dans un formalisme vnementiel capable de prendre en compte la smantique de n'importe quel systme; elle est donc applicable dans un cadre gnral.