Documents disponibles écrits par cet auteur

Conception d'une machine orientee fonctions , application a l'implantation d'un langage dirige par les donnees / BELKHIR Abdelkader

Public ISBD Titre : Conception d'une machine orientee fonctions , application a l'implantation d'un langage dirige par les donnees Type de document : texte imprimé Auteurs : BELKHIR Abdelkader, Auteur ; FEAUTRIER Paul, Directeur de thèse Année de publication : 1988 Importance : 176 p. Langues : Français (fre) Catégories : Mathématique:informatique Mots-clés : programmation  fonction  architecture  parallélisme  flots de données  graphe  paquet d’opération  réseau de petri Résumé : cette théses étudie la viabilité d’un systéme de programmation à flots de données pour la programmation fonctionnelle , cette étude nous a conduit à dresser le modèle de von neumann face aux architectures paralléles qui ont enregistré une grande évolution , nous montrons la difficulté d’adapter le modèle séquentiel aux architectures paralléles pour bénéficier de leur principal apport : le parallélisme a l’opposé des langages impératifs et séquentiels le style fonctionnel est fort apprécié pour la programmation de ces nouvelles architectures , nous décrivons les caractéristiques de ce mode de programmation : méthode d’évalution , structure du code ainsi que les schémas d’exécution des programmes fonctionnels , bien entendu l’exécution des programmes est indissociable de l’architecture hote la diversité des architectures pour la programmation fonctionnelle ; que nous décrirons au chapitre 3 , met en valeur la souplesse de la mise en œuvre du style fonctionnel , ce dernier posséde des propriétés faisant de lui un candidat potentiel pour le mode d’évalution paralléle des programmes l’exécution d’un programme correspond à la propagation de données à travers les fonctions qui composent le programme , ce concept de flots de données ( data flow ) sera défini comme un formalisme simple mais puissant pour la description du calcul paralléle a l’instar de tous les systémes à flots de données , nous définissons notre modèle à flots de données à l’aide d’opérateurs de base qui permettront de constituier des graphes de programme , ces notations graphiques seront adoptées comme un interface entre le langage utilisé et l’architecture à flots de données , on donnera alors un algorithme de traduction des programmes du langage sans variable graal en graphes de programme équivalents , nos graphes de programme sont homogénes : ils possédent tous une seule entrée et une seule sortie ; c’est une traduction du concept de fonction qui à chaque élément du domaine associe un unique élément du codomaine nous montrerons que le choix du langage a été justifié en se conformant aux régles qui régissent la définition d’un langage à flots de données ( achermann82) nous montrons au chapitre 7 que ces graphes de programme sont effectivement calculables , cela assure la calculabilité des programmes graal un environnement à flots de données et revient à modéliser les graphes de programme par des réseaux de petri à terminaison propre l’exécution des programmes dans un environnement à flots de données nous améne à définir une architecture à flots de données dont nous donnerons la description de chacune de ses composantes , le prossus d’assortiment qui est l’élément clé de tout architecture à flots de données , sera décrit par un processus simple car il traduit le fonctionnement dynamique d’un opérateur de base appélé jonction ce dernier constituera le mùécanisme d’activation de fonction cette architecture est fondée sur le principe de communication par paquets , on donnera l’algorithme de traduction de nos graphes de programme en collections de paquets d’opération qui constitueront par la suite , le stock d’activités de notre machine destiné à etre exécuté , tout implantation à flots de données dynamique nécessite une expansion des graphes de programme , nous avons préfére assurer la réentrance de programme à la recopie , ce choix sera mis en oeuivre à l’aide de la notion de graphe nommé et du mécanisme de coloriage de données , le coloriage peut etre implanté par un compteur sans avoir recours à des informations supplémentaires telles que le nom de l’instructionn invoquée , le niveau d’activation etc .0… les deux mécanismes ( coloriiage et graphe s’avérent idéaux pour la gestion des continuations du style fonctionnel et assurent une prise en charge automatique du parallélisme temporel ( pipeline) nous décrrirons au chapitre 10 un émulateur de l’architecture que nous propsons les programmes en langage C sont donnés en annexe , nous donnerons quelques exemples pour matérialiser la vision d’un systéme à flots de données et en évaluer autant que possible les performances Conception d'une machine orientee fonctions , application a l'implantation d'un langage dirige par les donnees [texte imprimé] / BELKHIR Abdelkader, Auteur ; FEAUTRIER Paul, Directeur de thèse . - 1988 . - 176 p. Langues : Français (fre) Catégories : Mathématique:informatique Mots-clés : programmation  fonction  architecture  parallélisme  flots de données  graphe  paquet d’opération  réseau de petri Résumé : cette théses étudie la viabilité d’un systéme de programmation à flots de données pour la programmation fonctionnelle , cette étude nous a conduit à dresser le modèle de von neumann face aux architectures paralléles qui ont enregistré une grande évolution , nous montrons la difficulté d’adapter le modèle séquentiel aux architectures paralléles pour bénéficier de leur principal apport : le parallélisme a l’opposé des langages impératifs et séquentiels le style fonctionnel est fort apprécié pour la programmation de ces nouvelles architectures , nous décrivons les caractéristiques de ce mode de programmation : méthode d’évalution , structure du code ainsi que les schémas d’exécution des programmes fonctionnels , bien entendu l’exécution des programmes est indissociable de l’architecture hote la diversité des architectures pour la programmation fonctionnelle ; que nous décrirons au chapitre 3 , met en valeur la souplesse de la mise en œuvre du style fonctionnel , ce dernier posséde des propriétés faisant de lui un candidat potentiel pour le mode d’évalution paralléle des programmes l’exécution d’un programme correspond à la propagation de données à travers les fonctions qui composent le programme , ce concept de flots de données ( data flow ) sera défini comme un formalisme simple mais puissant pour la description du calcul paralléle a l’instar de tous les systémes à flots de données , nous définissons notre modèle à flots de données à l’aide d’opérateurs de base qui permettront de constituier des graphes de programme , ces notations graphiques seront adoptées comme un interface entre le langage utilisé et l’architecture à flots de données , on donnera alors un algorithme de traduction des programmes du langage sans variable graal en graphes de programme équivalents , nos graphes de programme sont homogénes : ils possédent tous une seule entrée et une seule sortie ; c’est une traduction du concept de fonction qui à chaque élément du domaine associe un unique élément du codomaine nous montrerons que le choix du langage a été justifié en se conformant aux régles qui régissent la définition d’un langage à flots de données ( achermann82) nous montrons au chapitre 7 que ces graphes de programme sont effectivement calculables , cela assure la calculabilité des programmes graal un environnement à flots de données et revient à modéliser les graphes de programme par des réseaux de petri à terminaison propre l’exécution des programmes dans un environnement à flots de données nous améne à définir une architecture à flots de données dont nous donnerons la description de chacune de ses composantes , le prossus d’assortiment qui est l’élément clé de tout architecture à flots de données , sera décrit par un processus simple car il traduit le fonctionnement dynamique d’un opérateur de base appélé jonction ce dernier constituera le mùécanisme d’activation de fonction cette architecture est fondée sur le principe de communication par paquets , on donnera l’algorithme de traduction de nos graphes de programme en collections de paquets d’opération qui constitueront par la suite , le stock d’activités de notre machine destiné à etre exécuté , tout implantation à flots de données dynamique nécessite une expansion des graphes de programme , nous avons préfére assurer la réentrance de programme à la recopie , ce choix sera mis en oeuivre à l’aide de la notion de graphe nommé et du mécanisme de coloriage de données , le coloriage peut etre implanté par un compteur sans avoir recours à des informations supplémentaires telles que le nom de l’instructionn invoquée , le niveau d’activation etc .0… les deux mécanismes ( coloriiage et graphe s’avérent idéaux pour la gestion des continuations du style fonctionnel et assurent une prise en charge automatique du parallélisme temporel ( pipeline) nous décrrirons au chapitre 10 un émulateur de l’architecture que nous propsons les programmes en langage C sont donnés en annexe , nous donnerons quelques exemples pour matérialiser la vision d’un systéme à flots de données et en évaluer autant que possible les performances

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4811	02-04-103	version papier	Bibliothèque USTOMB	Thèse de Doctorat	Exclu du prêt