CONTRIBUTION A LA MODELISATION DU SPMD : DISTRIBUTION ASYNCHRONE D'AUTOMATES / BENOIT CAILLAUD ; SOUS LA DIRECTION DE M. RAYNAL

Date : 1994

Editeur / Publisher : [S.l.] : [s.n.] , 1994

Format : 160 P.

Type : Livre / Book

Langue / Language : français / French

Raynal, Michel (1949-.... ; informaticien) (Directeur de thèse / thesis advisor)

Université de Rennes 1 (1969-2022) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : CETTE THESE PORTE SUR LA CARACTERISATION DES COMPORTEMENTS DES PROGRAMMES REPARTIS SPMD, PRODUITS PAR DISTRIBUTION AUTOMATIQUE DE PROGRAMMES SEQUENTIELS. IL S'AGIT D'UN TRAVAIL DE MODELISATION S'APPUYANT SUR DEUX OUTILS THEORIQUES: LA THEORIE DES ENSEMBLES ORDONNES ET LES SEMI-COMMUTATIONS. L'ENSEMBLE DES COMPORTEMENTS D'UN PROGRAMME SPMD EST REPRESENTE PAR UNE STRUCTURE ADEQUATE, UN AUTOMATE D'ORDRES. LES RESULTATS OBTENUS S'APPLIQUENT AUSSI BIEN AUX PROGRAMMES SEQUENTIELS IMPERATIFS QU'AUX PROGRAMMES REACTIFS SYNCHRONES. UN CADRE FORMEL POUR LA PREUVE DE CORRECTION DE SCHEMAS DE REPARTITIONS EST PROPOSE ET APPLIQUE SUR UN EXEMPLE COMPLET: LA PREUVE DE CORRECTION D'UN SCHEMA DE REPARTITION DE PROGRAMMES SEQUENTIELS IMPERATIFS. LA DERNIERE PARTIE PORTE SUR LA CARACTERISATION DE L'ASYNCHRONISME ET DU COMPORTEMENT DES CANAUX DE COMMUNICATIONS D'UNE CLASSE PARTICULIERE DE PROGRAMMES SPMD. LES RESULTATS ETABLIS PERMETTENT DE DECIDER DE LA BORNITUDE DE L'ASYNCHRONISME ET DES CANAUX DE COMMUNICATION