Download Free Contribution A Letude Et A La Conception Doutils Pour Le Developpement Dapplications Sur Machines Paralleles Book in PDF and EPUB Free Download. You can read online Contribution A Letude Et A La Conception Doutils Pour Le Developpement Dapplications Sur Machines Paralleles and write the review.

SUR ORDINATEURS PARALLELES, LA TENDANCE ACTUELLE EST D'OFFRIR AUX UTILISATEURS DEVANT IMPLANTER DES APPLICATIONS, UN NIVEAU D'ABSTRACTION ADAPTE A LEURS BESOINS. CET OBJECTIF NE PEUT ETRE ATTEINT QU'UN CONSIDERANT LE DOMAINE DES ARCHITECTURES MATERIELLES, CELUI DES NOYAUX DE SYSTEME D'EXPLOITATION ET DES ENVIRONNEMENTS DE DEVELOPPEMENT. IL S'AGIT DE GUIDER LE CHOIX DE L'UTILISATEUR EN MATIERE DE SUPPORT MATERIEL ET DE NOYAU DE SYSTEME AFIN QU'IL OBTIENNE DANS L'ENVIRONNEMENT DE PROGRAMMATION LA VUE DU PARALLELISME QU'IL SOUHAITE. L'ESSENTIEL DE NOTRE CONTRIBUTION PORTE PRINCIPALEMENT SUR LES POINTS SUIVANTS: L'APPLICATION D'UN FORMALISME AU DOMAINE DES ARCHITECTURES MIMD, LA FORMATION DES FONCTIONNALITES D'UN NOYAU DE SYSTEME D'EXPLOITATION PARALLELE, LA PROPOSITION D'UNE DEMARCHE POUR LA SELECTION D'UN NIVEAU D'ABSTRACTION SELON DEUX APPROCHES ANTAGONISTES, L'APPLICATION DU SYSTEME D'EXPLOITATION PARALLELE HELIOS AU T.NODE, LA RESOLUTION DU PLACEMENT DE TACHES, SOUS HELIOS, L'IMPLANTATION DE L'INTERFACE X/OPEN SOUS HELIOS ET SOUS LE SYSTEME PAROS. L'ARCHITECTURE MATERIELLE D'UNE MACHINE PARALLELE FOURNIT A ELLE SEULE DES CONCEPTS INTELLIGENTS QUE NOUS NOUS SOMMES PROPOSES DE FORMALISER. LE SYSTEME D'EXPLOITATION SUR CE TYPE DE MACHINE PREND PLUSIEURS DIMENSIONS SUIVANT QU'IL FOURNIT UNIQUEMENT UN ACCES AUX FONCTIONNALITES MATERIELLES OU UN NIVEAU D'ABSTRACTION TEL QU'IL CACHE LE PARALLELISME SOUS-JACENT ; NOUS PRESENTONS NOS REALISATIONS AU NIVEAU DES DIFFERENTES COUCHES D'UN SYSTEME D'EXPLOITATION. AFIN DE FACILITER LE PORTAGE D'APPLICATIONS, LES INTERFACES DE PROGRAMMATION DOIVENT OFFRIR UN CERTAIN DEGRE DE COMPATIBILITE AVEC LES ARCHITECTURES TRADITIONNELLES, NOUS AVONS FAIT LE CHOIX D'IMPLANTER L'INTERFACE X/OPEN SUR MACHINE PARALLELE. LE PASSAGE ENTRE LA PREMIERE ET LA DEUXIEME GENERATION DE MACHINES PARALLELES DE TELMAT A PERMIS DE CONFORTER NOS CHOIX ET AINSI DE CONSTRUIRE DES SOLUTIONS A DES DOMAINES D'APPLICATIONS PLUS CIBLES
Cette thèse est une contribution à l'étude du placement dynamique de processus sur des machines multiprocesseurs à mémoire distribuée. Le contexte de notre travail est celui de la simulation et de l'évaluation de l'exécution d'applications dont le nombre de processus et le moment de leur création dépendent de l'exécution en cours. Nous proposons un nouvel algorithme évolutif de placement dynamique de processus de type approximatif, avec des éléments de contrôle et d'information distribués. A chaque noeud X d'une machine parallèle est associé un sous-ensemble de processeurs avec lesquels il peut partager sa charge de manière équitable. Ce sous-ensemble est appelé la Solution de Placement (SP) du noeud. La Solution de Placement initiale d'un noeud X est composée du sous-ensemble des noeuds directement connectés au noeud X. La décision de placement d'un processus est faite au moment de sa création, il peut alors être placé sur le noeud sur lequel il a été créé ou bien sur un des noeuds de sa SP. Sous l'effet de certains opérateurs (declin, croissance, fusion, remplacement, rotation) la Solution de Placement d'un noeud évolue au cours de l'exécution de l'application ce qui permet une répartition et un équilibrage des charges des noeuds. Pour étudier le comportement de l'algorithme évolutif, nous avons utilisé le simulateur séquentiel SIMAD qui est un outil conçu pour évaluer les algorithmes d'allocation dynamique de charge sur des machines MIMD à mémoire distribuée. Le deuxième apport de cette thèse est la définition et l'intégration dans SIMAD d'un langage synthétique qui permet de décrire des applications parallèles avec des graphes de communication généraux. Le document se termine par la présentation d'une partie des résultats de l'ensemble des expériences que nous avons menées, dans le but d'évaluer les performances et le comportement de notre approche du placement dynamique de processus. Deux types de résultats sont présentés et analysés. Tout d'abord nous recherchons l'influence de certains paramètres (la taille maximale des SP, l'actualisation des SP, le nombre de processus par niveau de charge et l'opérateur de fusion) sur le comportement de l'algorithme évolutif. Ensuite, une étude comparative avec d'autres méthodes de placement dynamique permet de mettre en évidence les performances de notre approche.
L'objectif de cette thèse est la conception d'une implantation parallèle efficace de Prolog. Sur une machine sans mémoire commune. Le modèle de calcul exploite le parallélisme ou selon l'approche multisequentielle classique. La partie principale de cette thèse est l'étude de méthodes de partage de contexte entre plusieurs machines abstraites Prolog. Un prototype est présent et des résultats préliminaires décrits. Ce prototype délivre un accroissement de performance effectif par parallélisation par rapport a des systèmes séquentiels
LE TRAVAIL DE CETTE THESE PORTE SUR LA CONCEPTION D'ALGORITHMES PARALLELES POUR LA RESOLUTION DE DEUX CLASSES DE PROBLEMES D'OPTIMISATION DANS LES GRAPHES : LES PROBLEMES DE FLOT DE COUT MINIMUM A CRITERE CONVEXE ET LES PROBLEMES DE TYPE FLOT MAXIMUM/COUPE MINIMALE. IL CONCERNE EGALEMENT LA MISE EN UVRE DE CES ALGORITHMES SUR DES MACHINES PARALLELES A MEMOIRE DISTRIBUEE ET A MEMOIRE PARTAGEE. DANS LA PREMIERE PARTIE DU DOCUMENT, NOUS NOUS INTERESSONS AU PROBLEME DE FLOT DE COUT MINIMUM A CRITERE CONVEXE. LES METHODES DE GRADIENT ET DE RELAXATION PERMETTANT DE RESOUDRE CETTE CLASSE DE PROBLEME SONT PERFORMANTES ET BIEN ADAPTEES A UNE MISE EN UVRE PARALLELE. NOUS NOUS CONCENTRONS PRINCIPALEMENT SUR LES METHODES ITERATIVES PARALLELES DEPOURVUES D'UN CONTROLE DES ITERATIONS, APPELEES ITERATIONS ASYNCHRONES. APRES UN RAPPEL DE LEUR FORMULATION ET DE RESULTATS DE CONVERGENCE, NOUS PRESENTONS UNE EXTENSION OFFRANT UNE PLUS GRANDE SOUPLESSE DANS LA COMMUNICATION DES ITERES PARTIELS ENTRE LES PROCESSEURS : LES ITERATIONS ASYNCHRONES AVEC COMMUNICATION FLEXIBLE. NOUS VALIDONS CETTE NOUVELLE APPROCHE PAR L'EXPERIMENTATION SUR DEUX ARCHITECTURES PARALLELES : LE T-NODE (MEMOIRE DISTRIBUEE) AINSI QU'UN MULTIPROCESSEUR SUN SMP (MEMOIRE PARTAGEE). LA SECONDE PARTIE DU MEMOIRE EST CONSACREE AU PROBLEME DE FLOT MAXIMUM/COUPE MINIMALE, QUI EST UN CAS PARTICULIER DU PROBLEME DE FLOT DE COUT MINIMUM A CRITERE LINEAIRE. DANS UN PREMIER TEMPS, NOUS PRESENTONS LE PROBLEME AINSI QUE LES DEUX PRINCIPALES CLASSES D'ALGORITHMES SEQUENTIELS PERMETTANT DE LE RESOUDRE : LES ALGORITHMES BASES SUR UNE CHAINE AMELIORANTE ET CEUX BASES SUR LA NOTION DE PREFLOT. DANS UN SECOND TEMPS, NOUS COMPARONS LES PERFORMANCES DE CES ALGORITHMES POUR DES PROBLEMES DE TOPOLOGIE DIFFERENTE A PARTIR D'EXPERIMENTATIONS NUMERIQUES. NOUS PROPOSONS ENFIN UNE STRATEGIE DE PARALLELISATION DU PREFLOT PAR L'UTILISATION DE THREADS SUR ARCHITECTURE FAIBLEMENT PARALLELE.
L'OBJECTIF EST DE REDUIRE LES TEMPS D'OBTENTION D'IMAGES DE SYNTHESE REALISTES PAR LA TECHNIQUE DU LANCER DE RAYON. UN LOGICIEL DE SYNTHESE D'IMAGES, APPLIQUE A DES OBJETS MODELISES PAR COMPOSITION DE PRIMITIVES GEOMETRIQUES, EST PROPOSE. AFIN D'EXPLOITER LE PARALLELISME D'ECRAN ET LA COHERENCE SPATIALE D'UNE SCENE, UNE ARCHITECTURE PARALLELE A ETE INTRODUITE
Le présent travail constitue une contribution au projet N-ARCH qui vise la conception d'une architecture d'ordinateur parallèle orientée vers le traitement. Dans la première partie de ce rapport, nous présentons les 2 points principaux retenus pour la conception de la machine N-ARCH. Il s'agit d'une part de l'utilisation de langages de nature déclarative et d'autre part de l'adéquation d'un schéma d'évaluation de type non-Von Neumann à ces langages. Une description fonctionnelle d'un nœud de la machine est, par la suite présentée. Dans cette description nous montrons le rôle des mémoires associatives dans le fonctionnement d'un nœud, ainsi que la méthode sur l'utilisation de fonctions de hachage. A partir de cette description, un émulateur de la machine N-ARCH a été réalisé afin d'étudier le comportement dynamique du modèle. Le noyau de l'émulateur a été développé en OCCAM et mis au point sur un réseau de 16 Transputers. Les programmes de test réalisés sur l'émulateur ont permis de mesurer les performances de celui-ci et de valider le modèle fonctionnel de N-ARCH. Les résultats de ces test mettent en évidence certains points clés qui devront être pris en compte lors de la réalisation physique du nœud (comme l'intégration des mémoires associatives, la répartition du programme dynamiquement, l'existence d'unités de communication autonomes). Le travail se termine par une proposition d'extension du noyau N-ARCH pour permettre l'exécution de programmes écrits en langages fonctionnels
Cette étude au sein du projet PVC est une contribution à la définition et l'implantation de langages parallèles à objets sur machines MIMD. Pour la conception et la réalisation d'applications parallèles, nous proposons les Composants Actifs de Communication (Cac). Un Cac est une structure active mono-programmée qui répond naturellement aux problèmes rencontrés dans les applications parallèles que sont l'expression du parallélisme et les échanges entre processus distants. Ces composants évoluent dans des modules qui sont des entités de partage de code du modèle Cac. Le Cac est facilement réalisable au-dessus des systèmes d'exploitation. L'environnement sert de plate-forme au développement de langages parallèles à objets. Après un réexamen des langages parallèles à objets en privilégiant les critères suivants: le parallélisme, la synchronisation et les modèles de répartition des entités du langage, nous proposons plusieurs implantations d'environnement d'objets actifs au-dessus des Cac. Nous avons réalisé plusieurs représentations distribuées d'objets actifs multi-programmés construites en termes de Cacs. La proposition permet d'exploiter un réel parallélisme intra-objet ainsi qu'une fragmentation des objets
I. ETUDE DE SCHEMAS DE COMPOSITION DE PROPOSITIONS PARALLELES. APPLICATION A LA STRUCTURATION DES SYSTEMES ET A LA PROGRAMMATION D'APPLICATIONS. II. REFLEXIONS ET CONTRIBUTIONS RELATIVES A LA FIABILITE DES LOGICIELS. III. ETUDE D'UN SYSTEME DISTRIBUE ADAPTE A LA TRADUCTION DES LANGAGES