Tolérance aux pannes pour objets actifs asynchrones : modèle, protocole et expérimentations

Delbé Christian 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : L'objectif premier de cette thèse est de proposer un protocole de tolérance aux pannes par recouvrement arrière pour le modèle à objets actifs asynchrones communicants ASP (Asynchronous Sequential Processes) et son implémentation en Java ProActive. Cette thèse généralise la problématique soulevée par le développement de ce protocole : nous étudions le recouvrement d'une application répartie depuis un état global non cohérent. Nous proposons donc dans un premier temps un protocole par points de reprise et son implémentation ne supposant pas que les états globaux soient cohérents. Nous montrons à travers des expérimentations réalistes utilisant des applications réparties communicantes que notre solution et son implémentation présentent de bonnes performances. Nous contribuons aussi de manière plus générale à l'étude du recouvrement depuis un état global non cohérent en définissant formellement une nouvelle condition de recouvrabilité, la P-cohérence, basée sur la notion de promesse d'évènement. Cette définition s'intègre dans un formalisme événementiel capable de prendre en compte la sémantique de n'importe quel système ; elle est donc applicable dans un cadre général. En particulier, en appliquant ce formalisme au modèle ASP, nous prouvons la correction de notre protocole en montrant que les états globaux formés durant l'exécution sont toujours recouvrables. Enfin, nous contribuons plus spécifiquement au domaine des grilles de calcul en proposant une extension de notre protocole et son implémentation adaptée à ce contexte. Cette extension se base sur la constitution automatique de groupes de recouvrement au déploiement de l'application. Elle permet une répartition indépendante des mémoires stables et un confinement des effets d'une panne au seul groupe concerné.
Type de document :
Thèse
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2007. Français
Liste complète des métadonnées

Littérature citée [90 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00207953
Contributeur : Estelle Nivault <>
Soumis le : vendredi 18 janvier 2008 - 16:12:19
Dernière modification le : vendredi 3 juin 2016 - 01:04:31
Document(s) archivé(s) le : mardi 13 avril 2010 - 23:11:51

Identifiants

  • HAL Id : tel-00207953, version 1

Collections

Citation

Delbé Christian. Tolérance aux pannes pour objets actifs asynchrones : modèle, protocole et expérimentations. Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2007. Français. 〈tel-00207953〉

Partager

Métriques

Consultations de
la notice

292

Téléchargements du document

673