Modèles d'exécutions parallèles sur des systèmes multiprocesseurs : analyse et optimisation / Zhen Liu ; [sous la direction d'Erol] Gelenbe

Date :

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

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Langue / Language : français / French

Multiprocesseurs

Files d'attente, Théorie des

Parallélisme (informatique)

Ordonnancement (informatique)

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

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

Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : Cette thèse est consacrée aux problèmes de la modélisation, de l'analyse, et de l'optimisation des performances soulevés par des systèmes multiprocesseurs exécutants des programmes parallèles. Dans nos modèles, les systèmes multiprocesseurs sont considérés comme un ensemble de processeurs connectés par un réseau d'interconnexion, les programmes parallèles sont représentés par des graphes orientés acycliques. Des méthodes d'analyse exactes et approchées sont élaborées pour divers modèles d'exécutions parallèles. Des mesures de performances telles que les temps de réponse des programmes parallèles, le débit et la condition de stabilité du système, etc..., sont étudiées. Des techniques d'ordonnancement de processus sont également proposées avec pour objectif l'optimisation du temps total d'achèvement des processus. En complément des études théoriques, le logiciel d'analyse de performances SPEC (Système d'évaluation de Performances d'Exécutions Concurrentes), conçu et réalisé par l'auteur, est décrit de manière succincte. Ce logiciel contient des outils d'analyse et de simulation.

Résumé / Abstract : The main concerns of this thesis are the modeling, analysis and optimization problems arising in multiprocessor systems with concurrent tasks. Multiprocessor systems are modeled by a set of processors connected by an interconnection network, parallel programs by directed acyclic graphs. Both exact and approximate methods are proposed for various parallel processing models. The performance measures such as program response time, system throughput, and stability condition, etc..., are analyzed. Scheduling algorithm that minimize makespan are also considered. New heuristics are provided together with simple illustrative examples. Besides theoretical studies, the performance evaluation software package SPEC (Software package for Performances Evaluation of Concurrent systems), designed and implemented by the author, is described concisely. This software package contains analytical and simulation tools.