• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1994

Résumé en langue originale

Ce travail s'inscrit dans le cadre du projet pvc/box dont le but est le developpement d'un environnement oriente objet pour l'exploitation des machines paralleles distribuees. Dans ce projet, nous nous sommes plus particulierement interesse a la mise au point des programmes paralleles. Celle-ci est compliquee par le caractere non deterministe de tels programmes et le manque d'etat global d'une application distribuee. Notre objectif etait de mettre a la disposition du programmeur des outils permettant une reproductibilite du comportement de l'application et une interactivite avec l'execution. Nous avons concu et mis en uvre un mecanisme de reexecution pour la couche systeme pvc developpee par notre equipe. Un tel mecanisme permet de reproduire le comportement d'une execution de reference en levant le non-determinisme a l'aide d'une trace d'evenements. La reexecution que nous proposons est une reexecution totale de l'application dont le controle est distribue sur chaque site. Nous proposons egalement un mecanisme de reexecution partielle, c'est-a-dire la reexecution d'un seul processus. Box est un langage oriente objet parallele developpe par notre equipe. Les programmes box, s'executant au-dessus de la couche pvc, profitent du mecanisme de reexecution. Nous proposons comme outil de mise au point des programmes box des points d'arret distribues. Ces points d'arret sont associes a des evenements. Plusieurs types d'evenements de base ont ete definis prenant en compte l'aspect objet et l'aspect processus communiquant du langage. Le programmeur a la possibilite de filtrer les evenements et de les composer pour en definir de nouveaux.