Détection de propriétes de repos globales dans des systèmes répartis avec désequencement de messages : application au problème de terminaison / Pascale Blanc ; sous la direction de CLAUDE GIRAULT

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Girault, Claude (19..-.... ; informaticien) (Directeur de thèse / thesis advisor)

Université Pierre et Marie Curie (Paris ; 1971-2017) (Organisme de soutenance / degree-grantor)

Relation : Detection de proprietes de repos globales dans des systemes repartis avec desequencement de messages. Application au probleme de terminaison / Pascale Blanc / Grenoble : Atelier national de reproduction des thèses , 1990

Résumé / Abstract : CETTE THESE TRAITE DE LA CONCEPTION ET DE LA VERIFICATION D'ALGORITHMES DE DETECTION DE PROPRIETES GLOBALES. EN PARTICULIER, DIFFERENTS ALGORITHMES DE DETECTION DE LA TERMINAISON DISTRIBUEE SONT PRESENTES. DANS LA PREMIERE PARTIE DE LA THESE, NOUS PRESENTONS UNE METHODE POUR DETECTER DES PROPRIETES DE REPOS GLOBALES D'UNE APPLICATION REPARTIE LORSQUE LE DESEQUENCEMENT DES MESSAGES EST POSSIBLE. UNE PROPRIETE DE REPOS GLOBALE EST UNE PROPRIETE QUI, LORSQU'ELLE DEVIENT VRAIE POUR UN ETAT, RESTE VRAIE POUR TOUS LES ETATS SUIVANTS. LA METHODE QUE NOUS PROPOSONS EST BASEE SUR L'INTRODUCTION DE DEUX TECHNIQUES, L'OBSERVATION ET LA COLLECTE, QUI PERMETTENT DE TRANSFORMER UNE APPLICATION AFIN QU'ELLE PUISSE DETECTER SES PROPRIETES DE REPOS GLOBALES. L'OBSERVATION DEFINIT LES VARIABLES ET LES MESSAGES NECESSAIRES POUR LA CARACTERISATION DE L'ETAT DE L'APPLICATION VIS-A-VIS DE LA PROPRIETE DE REPOS QUE L'ON VEUT RECHERCHER. LA COLLECTE DEFINIT LES VARIABLES ET LES MESSAGES NECESSAIRES POUR LE RASSEMBLEMENT DES INFORMATIONS CARACTERISTIQUES. POUR PROUVER QUE L'APPLICATION TRANSFORMEE EST CORRECTE, C'EST-A-DIRE QU'ELLE DETECTE A BON ESCIENT SES PROPRIETES DE REPOS GLOBALE, L'UTILISATION D'UNE PREUVE PAR INVARIANT EST PROPOSEE. EN UTILISANT CES METHODES, UNE CLASSE D'ALGORITHMES DISTRIBUES EST DEFINIE, LES ALGORITHMES A ENQUETE. DANS LA DEUXIEME PARTIE DE LA THESE, NOUS DEVELOPPONS DES ALGORITHMES A ENQUETE QUI RESOLVENT LE PROBLEME DE LA TERMINAISON D'UNE APPLICATION REPARTIE. LA TERMINAISON EST UNE PROPRIETE DE REPOS GLOBALE D'UNE APPLICATION REPARTIE. ELLE EST VERIFIEE LORSQUE TOUS LES PROCESSUS QUI COMPOSENT L'APPLICATION ONT TERMINE LEUR CALCUL LOCAL ET QU'IL N'Y A PLUS DE MESSAGE EN TRANSIT QUI POURRAIT RELANCER CES CALCULS. POUR TRAITER LE DESEQUENCEMENT DES MESSAGES, DEUX SOLUTIONS SONT PRESENTEES, L'UNE BASEE SUR L'ENVOI D'ACCUSES DE RECEPTION DE MESSAGES, L'AUTRE SUR LE COMPTAGE DE ME