Modeles et outils pour la prediction de performance des systemes informatiques paralleles

par Pierre Cubaud

Thèse de doctorat en Informatique

Sous la direction de Erol Gelenbe.

Soutenue en 1992

à Paris 5 .


  • Résumé

    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.


  • Pas de résumé disponible.


  • Résumé

    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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (180 p- XIX p.)
  • Annexes : Bibliogr. p. 163-176

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Descartes-Bibliothèque Saints-Pères Sciences (Paris). Service commun de la documentation. Bibliothèque Saints-Pères Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.