MODELES ET OUTILS POUR LA PREDICTION DE PERFORMANCE DES SYSTEMES INFORMATIQUES PARALLELES / PIERRE HENRI CUBAUD ; SOUS LA DIRECTION DE EROL GELENBE

Date :

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

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Systèmes informatiques

Parallélisme (informatique)

Méthode PERT

Gelenbe, Erol (1945-....) (Directeur de thèse / thesis advisor)

Université Paris Descartes (1970-2019) (Organisme de soutenance / degree-grantor)

Relation : MODELES ET OUTILS POUR LA PREDICTION DE PERFORMANCE DES SYSTEMES INFORMATIQUES PARALLELES / Pierre Henri Cubaud ; sous la direction de Erol Gelenbe / Grenoble : Atelier national de reproduction des thèses , 1992

Résumé / Abstract : A PARTIR D'UN MODELE MIXTE D'ACTIVITES SYNCHRONISEES ET CONCURRENTE, NOUS DECRIVONS UN OUTIL DE PREDICTION DE PERFORMANCE DU PARALLELISME, EN INTEGRANT DES TECHNIQUES DE GENIE LOGICIEL. UNE INTERFACE HOMME/MACHINE CONVIVIALE EST DEVELOPPEE, AINSI QU'UN GESTIONNAIRE D'OBJETS PERMETTANT DE CONSERVER ET DE MANIPULER RAPIDEMENT LES MODELES DE L'UTILISATEUR. LES ESTIMATEURS DE PERFORMANCE PEUVENT ETRE OBTENUS PAR SIMULATION OU PAR DES SOLVEURS ANALYTIQUES, POUR DES CAS RESTREINTS DU MODELE. NOUS ETUDIONS EN PARTICULIER LE MODELE PERT ET UNE GENERALISATION DE CELUI-CI ADAPTE A L'ETUDE DU COMPORTEMENT TEMPOREL DES LOGICIELS (PERT biologiQUE). POUR CELA, NOUS DEVELOPPONS UN ALGORITHME DE FAIBLE COMPLEXITE FOURNISSANT UN ENCADREMENT DU TEMPS D'EXECUTION. NOUS ETUDIONS ENSUITE LE COMPORTEMENT ASYMPTOTIQUE DU TEMPS D'EXECUTION DE GRAPHES AYANT UNE TOPOLOGIE REGULIERE.

Résumé / Abstract : A new model of synchronised activities, which is a superset of queueing networks, has been developped. It is used to define a modeling tool, following a recent trend in the design of modeling packages that considers performance evaluation as a part of CASE. This implies user friendly interfaces and support to store and efficiently explore the user knowledge of his models. Performance estimators are obtained through simulation, or using analytical algorithms which provide an efficient alternative to costly simulations for subparts of the general model. Particularly investigated are the PERT and biologic PERT network models. Some stochastic bounds of the completion time are derived, using an algorithm of low polynomial complexity in the number of nodes in the graph. Also studied is the asymptotic execution time for a restricted class of networks which exhibit some topologic regularity