Recherche Avancée

Thèse soutenue

Aide à la mise au point des applications parallèles et réparties à base d'objets persistants

FR  |  
EN
Auteur / Autrice : Hervé Jamrozik
Direction : Sacha Krakowiak
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1993
Etablissement(s) : Université Joseph Fourier (Grenoble, Isère, France ; 1971-2015)

Résumé

FR

L'objectif de ce travail est d'offrir une aide a la mise au point des applications paralleles et reparties, a base d'objets persistants, permettant une mise au point cyclique et offrant une observation de l'execution d'un haut niveau d'abstraction. Le non-determinisme et la sensibilite a toute perturbation de ce type d'execution rendent tres difficile la correction des erreurs liees aux conditions d'execution. Les limitations de l'analyse statique des programmes et des approches dynamiques fondees sur une execution courante nous conduisent a preconiser la mise en uvre de methodes basees sur la reproduction d'une execution qui apportent une solution au non-determinisme en fixant une execution. La mise au point s'effectue alors dans un contexte particulier ou le comportement de l'execution a corriger est deja connu et peut etre observe a l'aide de vues de l'execution adaptees aux particularites de l'environnement d'execution. Nous definissons, dans le contexte des systemes a objets, un systeme de mise au point base sur la reproduction (dirigee par le controle) d'une execution, permettant une mise au point cyclique et une observation de l'execution au niveau des objets. Nous specifions le service de reexecution, le service d'observation, et proposons une architecture modulaire pour l'assemblage des composants logiciels realisant ces services. Nous presentons ensuite l'application concrete des propositions precedentes au systeme guide. Nous avons realise un noyau de reexecution, structure en objets guide, qui se charge de maniere automatique de l'enregistrement et de la reproduction d'une execution guide