93-these-jamrozik

THESEprésentée parHervé Jamrozikpour obtenir le titre deDocteur de l’Université Joseph Fourier − Grenoble1(arrêté ministériel du 5 juillet 1984 et du 30 mars 1992)INFORMATIQUESpécialité : Aide à la Mise au Point des ApplicationsParallèles et Répartiesà base d’Objets PersistantsThèse soutenue devant la commission d’examen le :25 mai 1993Jacques Mossiere PrésidentGuy Bernard RapporteurClaude BétournéSacha Krakowiak Directeur de thèseRoland Balter ExaminateurMiguel SantanaThèse préparée au sein du Laboratoire Unité Mixte Bull−IMAG Aide à la Mise au Point des ApplicationsParallèles et Réparties à base d’Objets Persistants RésuméL’objectif de ce travail est d’offrir une aide à la mise au point des applications parallèles etréparties, à base d’objets persistants, permettant une mise au point cyclique et offrant uneobservation de l’exécution d’un haut niveau d’abstraction.Le non−déterminisme et la sensibilité à toute perturbation de ce type d’exécution rendenttrès difficile la correction des erreurs liées aux conditions d’exécution. Les limitations del’analyse statique des programmes et des approches dynamiques fondées sur une exécutioncourante nous conduisent à préconiser la mise en œuvre de méthodes basées sur lareproduction d’une exécution qui apportent une solution au non−déterminisme en fixant uneexécution. La mise au point s’effectue alors dans un contexte particulier où le comportementde l’exécution à corriger est déjà connu ...