Contributions aux environnements de programmation pour le calcul intensif
|
|
- Jules Lavallée
- il y a 8 ans
- Total affichages :
Transcription
1 Contributions aux environnements de programmation pour le calcul intensif Habilitation à diriger des recherches Pierre Boulet équipe WEST - Soutenance HdR 2 décembre 2002 p. 1/41
2 Plan Contexte et positionnement Parallélisme de données Traitement de signal intensif Perspectives : le projet DaRT Soutenance HdR 2 décembre 2002 p. 2/41
3 Contexte et positionnement Soutenance HdR 2 décembre 2002 p. 3/41
4 Calcul intensif puissance de calcul nécessaire à une application quantité de calcul par rapport aux contraintes de temps d exécution application intensive si nécessaire optimisation du code pour respecter les contraintes de temps de ressources Soutenance HdR 2 décembre 2002 p. 4/41
5 Grand Challenges simulation numérique climat aéronautique nucléaire énorme quantité de calcul contraintes de temps implicites Soutenance HdR 2 décembre 2002 p. 5/41
6 Traitement de signal montée en puissance télécommunications multimédia moins gourmandes mais contraintes de temps réel plus fortes en général embarquées contraintes de ressources Soutenance HdR 2 décembre 2002 p. 6/41
7 Architecture des machines quatre classes de machines pour le calcul intensif supercalculateurs grappes de stations de travail systèmes distribués et grilles de calcul systèmes sur silicium (SoC) difficultés de développement parallélisme hétérogénéité de performance de fonction contraintes Soutenance HdR 2 décembre 2002 p. 7/41
8 Parallélisme parallélisme très présent dans les architectures différentes approches pour le développement d applications parallèles parallélisation automatique programmation parallèle explicite programmation parallèle implicite conception conjointe du logiciel et du matériel Soutenance HdR 2 décembre 2002 p. 8/41
9 Domaine scientifique outils de développement compilateurs paralléliseurs environnements de spécification quatre idées directrices programmer à haut niveau utiliser le parallélisme de données optimiser au plus tôt restreindre le domaine d application Soutenance HdR 2 décembre 2002 p. 9/41
10 Schema de recherche niveau de programmation ISP UML programmation visuelle volume de comm. simulation électromagnétique compilation traitement de signal intensif génération de code SPPoC tiling réseaux de processus distribués Soutenance HdR 2 décembre 2002 p. 10/41
11 Parallélisme de données Soutenance HdR 2 décembre 2002 p. 11/41
12 Définition calcul dirigé par le placement des données placement explicite des données règle : le propriétaire calcule paradigme de haut niveau communications implicites compilateur peut les optimiser incarné par High Performance Fortran Soutenance HdR 2 décembre 2002 p. 12/41
13 Deux ensembles de travaux parallélisation et compilation pour le calcul scientifique produire des outils pour la compilation optimisation de boucles imbriquées modèle polyédrique simulation numérique collaboration avec des électromagnéticiens démarche génie logiciel Soutenance HdR 2 décembre 2002 p. 13/41
14 Parallélisation automatique niveau de programmation ISP UML programmation visuelle volume de comm. simulation électromagnétique compilation traitement de signal intensif génération de code SPPoC tiling réseaux de processus distribués Soutenance HdR 2 décembre 2002 p. 14/41
15 SPPoC un outil de calcul polyédrique Symbolic Parameterized Polyhedral Calculator PIP PolyLib Omega Library interface symbolique unifiée moteur de simplification et extensions # System.simplify <:v<i1,i2,j1,j2>> (* Variables *) <:v<n,m>> (* Paramètres *) <:s< (-1+p1)+(-((-1+j1) mod 8)) = 0, (-1+p2)+(-((-1+j2) mod 8)) = 0, (-1+p1)+(-((-1+k1) mod 8)) = 0, (-1+p2)+(-((-1+k2) mod 8)) = 0, i1 = j1, k1 = j1, k2 = 1, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1 >> ;; - : SPPoC.System.t = {i1 = j1, (-1+j2) mod 8 = 0, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1} Soutenance HdR 2 décembre 2002 p. 15/41
16 SPPoC un outil de calcul polyédrique Symbolic Parameterized Polyhedral Calculator PIP PolyLib Omega Library # System.simplify <:v<i1,i2,j1,j2>> (* Variables *) <:v<n,m>> (* Paramètres *) <:s< (-1+p1)+(-((-1+j1) mod 8)) = 0, (-1+p2)+(-((-1+j2) mod 8)) = 0, (-1+p1)+(-((-1+k1) mod 8)) = 0, (-1+p2)+(-((-1+k2) mod 8)) = 0, i1 = j1, k1 = j1, k2 = 1, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1 >> ;; - : SPPoC.System.t = {i1 = j1, (-1+j2) mod 8 = 0, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1} interface symbolique unifiée moteur de simplification et extensions diffusé et utilisé dans la communauté réalisé avec Xavier Redon plusieurs applications Soutenance HdR 2 décembre 2002 p. 15/41
17 Volume de communication estimation avant compilation estimation du volume de communication généré par une affectation de tableau dans un nid de boucles # System.simplify <:v<i1,i2,j1,j2>> (* Variables *) <:v<n,m>> (* Paramètres *) <:s< (-1+p1)+(-((-1+j1) mod 8)) = 0, (-1+p2)+(-((-1+j2) mod 8)) = 0, (-1+p1)+(-((-1+k1) mod 8)) = 0, (-1+p2)+(-((-1+k2) mod 8)) = 0, i1 = j1, k1 = j1, k2 = 1, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1 >> ;; - : SPPoC.System.t = {i1 = j1, (-1+j2) mod 8 = 0, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1} selon la distribution des données modélisation de toutes les distributions HPF par blocs ou cycliques réplication ou placement en mémoire alignement des tableaux Soutenance HdR 2 décembre 2002 p. 16/41
18 Volume de communication travail au niveau du langage indépendant du compilateur indépendant de l architecture d exécution originalité et réalisation # System.simplify <:v<i1,i2,j1,j2>> (* Variables *) <:v<n,m>> (* Paramètres *) <:s< (-1+p1)+(-((-1+j1) mod 8)) = 0, (-1+p2)+(-((-1+j2) mod 8)) = 0, (-1+p1)+(-((-1+k1) mod 8)) = 0, (-1+p2)+(-((-1+k2) mod 8)) = 0, i1 = j1, k1 = j1, k2 = 1, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1 >> ;; - : SPPoC.System.t = {i1 = j1, (-1+j2) mod 8 = 0, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1} niveau d abstraction = processeurs virtuels utilisation de SPPoC nécessaire approche symbolique et paramétrée modèle polyédrique utilisation combinée de PIP et la PolyLib simplifications des résultats intermédiaires primordiale en collaboration avec Xavier Redon Soutenance HdR 2 décembre 2002 p. 17/41
19 Parallélisation automatique génération de code d itération après transformation pour placement et ordonnancement état de l art avec Alain Darte, Georges-André Silber et Frédéric # System.simplify <:v<i1,i2,j1,j2>> (* Variables *) <:v<n,m>> (* Paramètres *) <:s< (-1+p1)+(-((-1+j1) mod 8)) = 0, (-1+p2)+(-((-1+j2) mod 8)) = 0, (-1+p1)+(-((-1+k1) mod 8)) = 0, (-1+p2)+(-((-1+k2) mod 8)) = 0, i1 = j1, k1 = j1, k2 = 1, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1 >> ;; - : SPPoC.System.t = {i1 = j1, (-1+j2) mod 8 = 0, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1} Vivien algorithme général code de bas niveau de parcours lexicographique de U(z) = 1 i p L i (z) L i (z) ={x Z n y Z m i, A i x + B i y + C i z d i } utilisation de SPPoC avec Paul Feautrier Soutenance HdR 2 décembre 2002 p. 18/41
20 Parallélisation automatique partitionnement de calculs pavage par des parallélépipèdes (tiling) adaptation de la granularité répartition des tuiles sur une architecture hétérogène # System.simplify <:v<i1,i2,j1,j2>> (* Variables *) <:v<n,m>> (* Paramètres *) <:s< (-1+p1)+(-((-1+j1) mod 8)) = 0, (-1+p2)+(-((-1+j2) mod 8)) = 0, (-1+p1)+(-((-1+k1) mod 8)) = 0, (-1+p2)+(-((-1+k2) mod 8)) = 0, i1 = j1, k1 = j1, k2 = 1, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1 >> ;; - : SPPoC.System.t = {i1 = j1, (-1+j2) mod 8 = 0, m >= j2, j2 >= 1, i2 >= 1, n >= j1, m >= i2, j1 >= 1} hétérogénéité de performances heuristique asymptotiquement optimale avec Jack Dongarra, Yves Robert et Frédéric Vivien Soutenance HdR 2 décembre 2002 p. 19/41
21 Simulation numérique niveau de programmation ISP UML programmation visuelle volume de comm. simulation électromagnétique compilation traitement de signal intensif génération de code SPPoC tiling réseaux de processus distribués Soutenance HdR 2 décembre 2002 p. 20/41
22 Simulation numérique application en vraie grandeur simulation de machines électromagnétiques par la méthode des éléments finis code de recherche de l équipe de Francis Piriou du L2EP de Lille approche génie logiciel maintenabilité par un non spécialiste portabilité performances travail de thèse d Emmanuel Cagniot collaboration avec Thomas Brandes Soutenance HdR 2 décembre 2002 p. 21/41
23 Deux versions langage : HPF + bibliothèque Halos parallélisme de données optimisation des communications irrégulières parallélisation légère ajout de quelques directives au code Fortran 95 résultats corrects sur quelques processeurs ne passe pas à l échelle parallélisation lourde méthode de décomposition de domaines (complément de Schur) partitionnement manuel effort de structuration pour la maintenabilité gain substantiel en performances Soutenance HdR 2 décembre 2002 p. 22/41
24 Traitement de signal intensif Soutenance HdR 2 décembre 2002 p. 23/41
25 Applications Traitement de Signal TS Intensif = TSS + TDI Soutenance HdR 2 décembre 2002 p. 24/41
26 Applications Traitement de Signal TS Intensif = TSS + TDI exemples traitement sonar radio numérique JPEG-2000 Soutenance HdR 2 décembre 2002 p. 24/41
27 Applications Traitement de Signal TS Intensif = TSS + TDI exemples traitement sonar radio numérique JPEG-2000 structure habituelle d une application TSI une phase de traitement de signal systématique traitement régulier massif suivie d une phase de traitement de données intensif traitement irrégulier contraintes temps réel et embarqué Soutenance HdR 2 décembre 2002 p. 24/41
28 Traitement de signal intensif niveau de programmation ISP UML programmation visuelle volume de comm. simulation électromagnétique compilation traitement de signal intensif génération de code SPPoC tiling réseaux de processus distribués Soutenance HdR 2 décembre 2002 p. 25/41
29 Deux modèles réseaux de processus modèle de spécification et d exécution proposé par Gilles Kahn en 1974 processus concurrents communiquent uniquement par des files d attentes Array-OL modèle de spécification data-parallèle hiérarchique adapté au TSS Soutenance HdR 2 décembre 2002 p. 26/41
30 Réseaux de processus distribués applications visées simulation d applications complexes sur architecture hétérogène (SoC) (+ calcul scientifique) objectifs cacher la complexité due à la distribution gérer l hétérogénéité dynamicité de l exécution moyen implémentation distribuée du modèle des réseaux de processus utilisation de l intergiciel CORBA Soutenance HdR 2 décembre 2002 p. 27/41
31 Dynamicité plusieurs aspects développement incrémental évolution de l implémentation migration évolution du matériel équilibrage de charge moyens techniques demi files d attentes protocole de communication hybride à la demande ou selon l offre connexion dynamique des composants Soutenance HdR 2 décembre 2002 p. 28/41
32 Extensions en cours suite et fin de la thèse d Adbelkader Amar coencadrée avec Jean-Luc Dekeyser collaborations industrielles projet ITEA Sophocles THALES Communications, Philips retour d information à l exécution vers un équilibrage dynamique lien avec le modèle de spécification Array-OL Soutenance HdR 2 décembre 2002 p. 29/41
33 Array-OL modèle proposé par Alain Demeure (TMS) complexité et difficulté des applications de traitement de signal dans l accès aux données expression visuelle des dépendances niveau global : dépendances entre tableaux niveau local (data-parallèle) : dépendances entre éléments de tableaux expression textuelle des routines élémentaires propriétés assignation unique expression des seules dépendances de flot banalisation dimensions spatiales et temporelles Soutenance HdR 2 décembre 2002 p. 30/41
34 Prototypage atelier de prototypage Gaspard spécification visuelle d applications Array-OL compilation transformations de code (thèses Julien Soula et Philippe Dumont) formalisme opérateurs de description de tableaux compilation de l infini, optimisation de l occupation mémoire préparation au placement et à l ordonnancement multiples cibles : C++ + pthreads, Accélérateur Synchrone avec Jean-Luc Dekeyser, Alain Demeure, Florent Devin, Philippe Dumont, Jean-Luc Levaire, Philippe Marquet, Julien Soula Soutenance HdR 2 décembre 2002 p. 31/41
35 Perspectives : le projet DaRT Soutenance HdR 2 décembre 2002 p. 32/41
36 Bilan optimisation à tous les niveaux environnement de programmation / langage optimisations statiques optimisations dynamiques approches de la programmation parallèle parallélisation automatique programmation parallèle explicite programmation parallèle implicite conception conjointe hétérogénéité Soutenance HdR 2 décembre 2002 p. 33/41
37 Action DaRT action INRIA Futurs depuis juin 2002 portée par l équipe WEST en cours d instruction pour devenir un projet projet de recherche à 4 ans cadre de mes recherches actuelles et futures + nouvelle collaboration avec le L2EP CNRT Futurelec simulation distribuée de réseau de distribution d électricité - une partie de DaRT me concerne moins directement système d exploitation temps réel pour SMP Soutenance HdR 2 décembre 2002 p. 34/41
38 Structure de DaRT parallélisme de données pour le TSI réduire le temps de développement des applications TSI sur SoC de la modélisation à l exécution trois axes modélisation compilation système d exploitation Soutenance HdR 2 décembre 2002 p. 35/41
39 Modélisation conception conjointe logiciel et matériel modélisation en Y application architecture placement réutilisabilité des modèles Intensive Signal Processing UML englobe Real-Time Embedded UML développé dans le projet européen PROMPT2implementation Esterel Technologies, THALES Communications, INRIA Sosso, Nokia, universités de Tampere et Turku Soutenance HdR 2 décembre 2002 p. 36/41
40 ISP UML objectifs s affranchir des langages de programmation réduire les temps de développement réutilisation d applications ou d architectures composants prêts à l emploi (VC ou IP) respecter les standards UML 2.0, MOF, XMI exprimer tout le parallélisme potentiel démarche de type MDA modèles indépendants de la plate-forme d exécution simulation à différents niveaux / exécution Soutenance HdR 2 décembre 2002 p. 37/41
41 Lien avec techniques de compilation modèle de spécification d application assignation unique unification dimensions spatiales et temporelles expression des seules dépendances de flot universalité (pour le TDI) récursivité ordre supérieur modèles d architecture et de placement moins avancés inspiration de l existant Soutenance HdR 2 décembre 2002 p. 38/41
42 Compilation intégration des techniques de compilation parallélisation automatique langages fonctionnels transformations de code Array-OL placement et ordonnancement transformation de l application dimensions spatiales et temporelles unifiées placement spatio-temporel conjoint tirer partie du domaine d application restreint globalement hétérogène, localement homogène Soutenance HdR 2 décembre 2002 p. 39/41
43 Génération de code transformation de modèles d un modèle indépendant de la plate-forme d exécution à un modèle dépendant de cette plate-forme multiples cibles possibles simulation distribuée de composants virtuels différents niveaux de simulation respect des standards : VSIA, CORBA, SystemC, VHDL système sur silicium système temps réel sur SMP hétérogénéité Soutenance HdR 2 décembre 2002 p. 40/41
44 Perspectives niveau de programmation ISP UML programmation visuelle volume de comm. simulation électromagnétique compilation traitement de signal intensif génération de code SPPoC tiling réseaux de processus distribués Soutenance HdR 2 décembre 2002 p. 41/41
Techniques d ordonnancement pour les SoC
Techniques d ordonnancement pour les SoC Pierre Boulet équipe WEST Pierre.Boulet@lifl.fr Ordonnancement DEA informatique Lille p. 1/104 Plan Ordonnancement de tâches Placement sur SoC Ordonnancement de
Plus en détailMémoire de Fin d Etudes
Mémoire de Fin d Etudes Pour l Obtention du Diplôme d Ingénieur d Etat en Informatique Présenté par : MOSTEFA MERIEM Option : Système distribué Session Juin 2009 THEME PLACEMENT DES TACHES REPETITIVES
Plus en détailMODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE»
MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE» Du cours Modélisation Semi -Formelle de Système d Information Du Professeur Jean-Pierre GIRAUDIN Décembre. 2002 1 Table de matière Partie 1...2 1.1
Plus en détailConception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailMEAD : temps réel et tolérance aux pannes pour CORBA
MEAD : un intergiciel temps-réel et tolérant aux pannes pour CORBA Master 2 Informatique Recherche Université de Marne-la-Vallée Vendredi 3 mars 2006 Plan 1 Introduction 2 Solutions existantes 3 Concilier
Plus en détailSemestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016
Semestre HPC Violaine Louvet Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr Labex MILyon, Printemps 2016 V. Louvet (ICJ) Semestre HPC Printemps 2016 1 / 9 Présentation du semestre Modélisation
Plus en détailJulien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration
Julien MATHEVET Alexandre BOISSY GSID 4 Rapport Load Balancing et migration Printemps 2001 SOMMAIRE INTRODUCTION... 3 SYNTHESE CONCERNANT LE LOAD BALANCING ET LA MIGRATION... 4 POURQUOI FAIRE DU LOAD BALANCING?...
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Plus en détailThème 3 Conception et vérification d architectures de systèmes sur puce
Thème 3 Conception et vérification d architectures de systèmes sur puce Conception et simulation Frédéric Pétrot Vérification Laurence Pierre Conception et vérification d architectures de systèmes sur
Plus en détailProgramme de la 1ère année
Programme de la 1ère année de master informatique Recopié du Syllabus M1 Informatique. 2004-2005 (UPS Toulouse) TC1 - Conception et Programmation Parallèle et Orientée Objet (96h) Objectif : Ce cours a
Plus en détailPROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN
PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,
Plus en détailRapport d activité. Mathieu Souchaud Juin 2007
Rapport d activité Mathieu Souchaud Juin 2007 Ce document fait la synthèse des réalisations accomplies durant les sept premiers mois de ma mission (de novembre 2006 à juin 2007) au sein de l équipe ScAlApplix
Plus en détailExtensions à la formation. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan
Extensions à la formation Diagramme de timing FinEpreuve SautBarrière CourseAvantBarrière SautMur {>2 et 10 et 2 et 10 et
Plus en détailMaster (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)
Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/
Plus en détailMultiprogrammation parallèle générique des méthodes de décomposition de domaine
Multiprogrammation parallèle générique des méthodes de décomposition de domaine Andréa Schwertner-Charão To cite this version: Andréa Schwertner-Charão. Multiprogrammation parallèle générique des méthodes
Plus en détailJOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles
JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles
Plus en détailPlan du cours. Autres modèles pour les applications réparties Introduction. Mode de travail. Introduction
Plan du cours Autres modèles pour les applications réparties Introduction Riveill@unice.fr http://rangiroa.polytech.unice.fr Notre terrain de jeu : les systèmes répartis Un rappel : le modèle dominant
Plus en détailProfil UML pour TLM: contribution à la formalisation et à l automatisation du flot de conception et vérification des systèmes-sur-puce.
INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE N attribué par la bibliothèque T H È S E pour obtenir le grade de DOCTEUR DE L INPG Spécialité : «Micro et Nano Électronique» préparée au laboratoire CEA LIST/DTSI/SOL/LISE
Plus en détailUniversité de Bangui. Modélisons en UML
Université de Bangui CRM Modélisons en UML Ce cours a été possible grâce à l initiative d Apollinaire MOLAYE qui m a contacté pour vous faire bénéficier de mes connaissances en nouvelles technologies et
Plus en détailPrise en compte des ressources dans les composants logiciels parallèles
Prise en compte des ressources dans les composants logiciels parallèles Aperçus de l action RASC et du projet Concerto F. Guidec Frederic.Guidec@univ-ubs.fr Action RASC Plan de cet exposé Contexte Motivations
Plus en détailLe passage à l échelle de serveur J2EE : le cas des EJB
Le passage à l échelle de serveur J2EE : le cas des EJB Sylvain Sicard, Noël De Palma, Daniel Hagimont CFSE 4 5-8 Avril 2005 LSR 1 Plan de la présentation 1. Architecture de serveur J2EE en grappe 2. Problématique
Plus en détailCORBA haute performance
CORBA haute performance «CORBA à 730Mb/s!» Alexandre DENIS PARIS/IRISA, Rennes Alexandre.Denis@irisa.fr Plan Motivations : concept de grille de calcul CORBA : concepts fondamentaux Vers un ORB haute performance
Plus en détailIntroduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr
Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans
Plus en détailLimitations of the Playstation 3 for High Performance Cluster Computing
Introduction Plan Limitations of the Playstation 3 for High Performance Cluster Computing July 2007 Introduction Plan Introduction Intérêts de la PS3 : rapide et puissante bon marché L utiliser pour faire
Plus en détailIntroduction au temps réel
Introduction au temps réel Laurent.Pautet@enst.fr Version 2.0 Définition d un système temps réel Un système temps réel se compose d'un ou plusieurs sous-systèmes devant répondre en un temps fini et spécifié
Plus en détailPerformances et optimisations
Performances et optimisations Outils pour le calcul scientifique à haute performance École doctorale sciences pour l ingénieur juin 2001 Philippe MARQUET phm@lifl.fr Laboratoire d informatique fondamentale
Plus en détailPassage à l échelle d applications java distribuées auto-adaptatives
Année : 2011 Numéro d ordre : 40563 Habilitation à Diriger des Recherches de l Université de Lille I Discipline : Mathématique Passage à l échelle d applications java distribuées auto-adaptatives Par :
Plus en détailThèse. Du support générique d opérateurs de composition dans les modèles de composants logiciels, application au calcul à haute performance.
Thèse THESE INSA Rennes sous le sceau de l Université européenne de Bretagne pour obtenir le titre de DOCTEUR DE L INSA DE RENNES Spécialité : Informatique Du support générique d opérateurs de composition
Plus en détailVérifier la qualité de vos applications logicielle de manière continue
IBM Software Group Vérifier la qualité de vos applications logicielle de manière continue Arnaud Bouzy Kamel Moulaoui 2004 IBM Corporation Agenda Analyse de code Test Fonctionnel Test de Performance Questions
Plus en détailContexte et motivations Les techniques envisagées Evolution des processus Conclusion
Vérification de logiciels par analyse statique Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Contexte et motivations Specification Design architecture Revues and
Plus en détailRTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com
RTDS G3 Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev Dédiée au développement d un AGL pour le développement des applications temps réel et embarquées. Réseau de partenaires: Formations, Service,
Plus en détailLes diagrammes de modélisation
L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse
Plus en détailInformatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction
Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre Partie I : Introduction Plan de la première partie Quelques définitions Caractéristiques communes des applications temps-réel Exemples d
Plus en détailÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab
ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab notre compétence d'éditeur à votre service créée en juin 2010, Scilab enterprises propose services et support autour
Plus en détailModèles système, modèles logiciel et modèles de code dans les applications spatiales
GÉNIE LOGICIEL N o 97 JUIN 2011 Modèles système, modèles logiciel et modèles de code dans les applications spatiales É RIC C ONQUET, FRANÇOIS-XAVIER D ORMOY, IULIA D RAGOMIR, A LAIN L E G UENNEC, DAVID
Plus en détailConception et Intégration de Systèmes Critiques
Conception et Intégration de Systèmes Critiques 15 12 18 Non 50 et S initier aux méthodes le développement de projet (plan de développement, intégration, gestion de configuration, agilité) Criticité temporelle
Plus en détailCommunications collectives et ordonnancement en régime permanent pour plates-formes hétérogènes
Loris MARCHAL Laboratoire de l Informatique du Parallélisme Équipe Graal Communications collectives et ordonnancement en régime permanent pour plates-formes hétérogènes Thèse réalisée sous la direction
Plus en détailPlan du cours. Incarnations/applications du Grid Computing. Super-calcul virtuel
Plan du cours Les grilles informatiques : concepts et infrastructures La grille nationale Grid5000 Modèles de programmation et intergiciels pour le grilles Etude de cas : Globus, MPICH-G2 et GridRPC Taxinomie
Plus en détailNFP111 Systèmes et Applications Réparties
NFP111 Systèmes et Applications Réparties 1 de 34 NFP111 Systèmes et Applications Réparties Cours 7 - CORBA/Partie 1 Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon
Plus en détailAXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES
1 AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES 2 Axes de recherche L activité du DIM LSC concerne la méthodologie de la conception et le développement de systèmes à forte
Plus en détailRetour d expérience en Astrophysique : utilisation du Cloud IaaS pour le traitement de données des missions spatiales
Retour d expérience en Astrophysique : utilisation du Cloud IaaS pour le traitement de données des missions spatiales Cécile Cavet cecile.cavet at apc.univ-paris7.fr Centre François Arago (FACe), Laboratoire
Plus en détailInitiation au HPC - Généralités
Initiation au HPC - Généralités Éric Ramat et Julien Dehos Université du Littoral Côte d Opale M2 Informatique 2 septembre 2015 Éric Ramat et Julien Dehos Initiation au HPC - Généralités 1/49 Plan du cours
Plus en détailGrandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
Plus en détailMasters informatique et MIAGE
Masters informatique et MIAGE Formations en informatique de Lille Forum masters février 2012 IEEA / Informatique Formations en informatique de Lille http://fil.univ-lille1.fr 1 Master informatique Mention
Plus en détailCours 1 : Introduction Ordinateurs - Langages de haut niveau - Application
Université de Provence Licence Math-Info Première Année V. Phan Luong Algorithmique et Programmation en Python Cours 1 : Introduction Ordinateurs - Langages de haut niveau - Application 1 Ordinateur Un
Plus en détailCompte-rendu d habilitation : Modélisation à haut niveau d abstraction pour les systèmes embarqués
Compte-rendu d habilitation : Modélisation à haut niveau d abstraction pour les systèmes embarqués Matthieu Moy To cite this version: Matthieu Moy. Compte-rendu d habilitation : Modélisation à haut niveau
Plus en détailCours de Génie Logiciel
Cours de Génie Logiciel Sciences-U Lyon Diagrammes UML (2) http://www.rzo.free.fr Pierre PARREND 1 Avril 2005 Sommaire Les Diagrammes UML Diagrammes de Collaboration Diagrammes d'etats-transitions Diagrammes
Plus en détailParcours en deuxième année
Parcours en deuxième année Unités d Enseignement (UE) ECTS Ingénierie des réseaux haut 4 débit Sécurité des réseaux et 4 télécoms Réseaux mobiles et sans fil 4 Réseaux télécoms et 4 convergence IP Infrastructure
Plus en détailModélisation multi-agents - Agents réactifs
Modélisation multi-agents - Agents réactifs Syma cursus CSI / SCIA Julien Saunier - julien.saunier@ifsttar.fr Sources www-lih.univlehavre.fr/~olivier/enseignement/masterrecherche/cours/ support/algofourmis.pdf
Plus en détailArchitecture des ordinateurs
Décoder la relation entre l architecture et les applications Violaine Louvet, Institut Camille Jordan CNRS & Université Lyon 1 Ecole «Découverte du Calcul» 2013 1 / 61 Simulation numérique... Physique
Plus en détailORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL
i LE TEMPS RÉEL 1. PRÉSENTATION DU TEMPS RÉEL 1.1. APPLICATIONS TEMPS RÉEL 1.2. CONTRAINTES DE TEMPS RÉEL 2. STRUCTURES D'ACCUEIL POUR LE TEMPS RÉEL 2.1. EXÉCUTIFS TEMPS RÉEL 2.2. RÉSEAUX LOCAUX TEMPS
Plus en détailCloud et SOA La présence du Cloud révolutionne-t-elle l approche SOA?
Cloud et SOA La présence du Cloud révolutionne-t-elle l approche SOA? Jean-Marc Pierson pierson@irit.fr IRIT, Université de Toulouse Agenda! Le Cloud! Le SOA! Quelle différence!?! Cloud et SOA! Mise en
Plus en détailModélisation des interfaces matériel/logiciel
Modélisation des interfaces matériel/logiciel Présenté par Frédéric Pétrot Patrice Gerin Alexandre Chureau Hao Shen Aimen Bouchhima Ahmed Jerraya 1/28 TIMA Laboratory SLS Group 46 Avenue Félix VIALLET
Plus en détailProgrammation d'agents intelligents Vers une refonte des fils de raisonnement. Stage de fin d'études Master IAD 2006
vendredi 8 septembre 2006 Programmation d'agents intelligents Vers une refonte des fils de raisonnement Stage de fin d'études Master IAD 2006 Benjamin DEVEZE Responsable : M. Patrick TAILLIBERT Plan Plan
Plus en détailÉléments de programmation et introduction à Java
Éléments de programmation et introduction à Java Jean-Baptiste Vioix (jean-baptiste.vioix@iut-dijon.u-bourgogne.fr) IUT de Dijon-Auxerre - LE2I http://jb.vioix.free.fr 1-20 Les différents langages informatiques
Plus en détail1 Description générale de VISFIELD
Guide d utilisation du logiciel VISFIELD Yann FRAIGNEAU LIMSI-CNRS, Bâtiment 508, BP 133 F-91403 Orsay cedex, France 11 décembre 2012 1 Description générale de VISFIELD VISFIELD est un programme écrit
Plus en détailJournée Scientifique Onera
[[À la croisée des révolutions numériques]] Journée Scientifique Onera Date : 20 mai 2014 Lieu : ONERA - Centre de Châtillon - 29 avenue de la Division Leclerc, 92322 Inscription : Gratuite Obligatoire.
Plus en détailContributions à l expérimentation sur les systèmes distribués de grande taille
Contributions à l expérimentation sur les systèmes distribués de grande taille Lucas Nussbaum Soutenance de thèse 4 décembre 2008 Lucas Nussbaum Expérimentation sur les systèmes distribués 1 / 49 Contexte
Plus en détailCalculer avec Sage. Revision : 417 du 1 er juillet 2010
Calculer avec Sage Alexandre Casamayou Guillaume Connan Thierry Dumont Laurent Fousse François Maltey Matthias Meulien Marc Mezzarobba Clément Pernet Nicolas Thiéry Paul Zimmermann Revision : 417 du 1
Plus en détailMétriques de performance pour les algorithmes et programmes parallèles
Métriques de performance pour les algorithmes et programmes parallèles 11 18 nov. 2002 Cette section est basée tout d abord sur la référence suivante (manuel suggéré mais non obligatoire) : R. Miller and
Plus en détailIntroduction aux applications réparties
Introduction aux applications réparties Noël De Palma Projet SARDES INRIA Rhône-Alpes http://sardes.inrialpes.fr/~depalma Noel.depalma@inrialpes.fr Applications réparties Def : Application s exécutant
Plus en détailModules du DUT Informatique proposés pour des DCCE en 2014/2015
Modules du DUT Informatique proposés pour des DCCE en 2014/2015 Résumé de l offre : Parmi les 5500 heures d enseignement informatique dispensées au département informatique de l IUT (avec 2880 heures de
Plus en détailDG-ADAJ: Une plateforme Desktop Grid
DG-ADAJ: Une plateforme pour Desktop Grid Olejnik Richard, Bernard Toursel Université des Sciences et Technologies de Lille Laboratoire d Informatique Fondamentale de Lille (LIFL UMR CNRS 8022) Bât M3
Plus en détailL E C O U T E P r i n c i p e s, t e c h n i q u e s e t a t t i t u d e s
L E C O U T E P r i n c i p e s, t e c h n i q u e s e t a t t i t u d e s L E C O U T E P r i n c i p e s, t e c h n i q u e s e t a t t i t u d e s Stéphane Safin Psychologue - Ergonome Lucid Group -
Plus en détailPlanifier la migration des applications d entreprise dans le nuage
TM Planifier la migration des applications d entreprise dans le nuage Guide de vos options de migration : nuage privé et public, critères d évaluation des applications et meilleures pratiques de migration
Plus en détailProgrammation parallèle et distribuée
ppd/mpassing p. 1/43 Programmation parallèle et distribuée Communications par messages Philippe MARQUET Philippe.Marquet@lifl.fr Laboratoire d informatique fondamentale de Lille Université des sciences
Plus en détailYann BECHET 32 ans 8 ans d expérience yann@bechet.org http://www.bechet.org/cv
32 ans 8 ans d expérience yann@bechet.org http://www.bechet.org/cv Chef de projets Conception Orientée Objets Réseaux et systèmes distribués Formation 1999 Diplôme d Etudes Approfondies «réseaux et systèmes
Plus en détailElasticité logicielle pour optimiser l empreinte énergétique
Ecole des Mines de Nantes Elasticité logicielle pour optimiser l empreinte énergétique Thomas Ledoux (équipe Ascola, INRIA-EMN, LINA) direction des études décembre 2010 page 1 Relation logiciel empreinte
Plus en détailWhite Paper - Livre Blanc
White Paper - Livre Blanc Développement d applications de supervision des systèmes d information Avec LoriotPro Vous disposez d un environnement informatique hétérogène et vous souhaitez à partir d une
Plus en détailLa démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)*
La démarche MDA Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* Référence : Livrable 1.1-5 Date : Mai 2002 * : Les partenaires du projet ACCORD sont CNAM,
Plus en détailSecurity Center Plate-forme de sécurité unifiée
Security Center Plate-forme de sécurité unifiée Reconnaissance automatique de plaques d immatriculation Vidéosurveillance Contrôle d accès Solutions innovatrices Tout simplement puissant. Le Security Center
Plus en détailModelio by Modeliosoft
Modelio by Modeliosoft Solutions d entreprise basées sur l atelier leader de modélisation open source Modelio (modelio.org) L atelier de modélisation open source de référence Une solution sur étagère,
Plus en détailInfo0804. Cours 6. Optimisation combinatoire : Applications et compléments
Recherche Opérationnelle Optimisation combinatoire : Applications et compléments Pierre Delisle Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique 17 février 2014 Plan de
Plus en détailTAI049 Utiliser la virtualisation en assistance et en dépannage informatique TABLE DES MATIERES
TAI049 Utiliser la virtualisation en assistance et en dépannage informatique TABLE DES MATIERES 1 DECOUVERTE DE LA VIRTUALISATION... 2 1.1 1.2 CONCEPTS, PRINCIPES...2 UTILISATION...2 1.2.1 Formation...2
Plus en détailJournée Scientifique Onera
[[À la croisée des révolutions numériques]] Journée Scientifique Onera Date : 20 mai 2014 Lieu : ONERA - Centre de Châtillon - 29 avenue de la Division Leclerc, 92322 Inscription : Gratuite Obligatoire.
Plus en détailUne méthode de conception de systèmes sur puce
École thématique ARCHI 05 Une méthode de conception de systèmes sur puce (de l intégration d applications) Frédéric PÉTROT Laboratoire TIMA Institut National Polytechnique de Grenoble Frédéric Pétrot/TIMA/INPG
Plus en détailPrésentation du M2 SIC : Systèmes Informatiques et Applications Marines
Présentation du M2 SIC : Systèmes Informatiques et Applications Marines Jean-Philippe Babau (resp. M2 SIAM) http://dept-info.univ-brest.fr/master2_siam.php http://labsticc.univ-brest.fr/pages_perso/babau/
Plus en détailVers l'orchestration de grilles de PC par les mécanismes de publicationsouscription
Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Présentée par Leila Abidi Sous la direction de Mohamed Jemni & Christophe Cérin Plan Contexte Problématique Objectifs
Plus en détailFigure 1 : représentation des différents écarts
ulletin officiel spécial n 9 du 30 septembre 2010 Annexe SIENES DE L INGÉNIEUR YLE TERMINAL DE LA SÉRIE SIENTIFIQUE I - Objectifs généraux Notre société devra relever de nombreux défis dans les prochaines
Plus en détailInfrastructure de calcul du CRRI
Infrastructure de calcul du CRRI Types d'infrastructures de calcul Calcul Intensif (High Performance Computing) Tâches fortement couplées (codes vectoriels / parallèles) Supercalculateurs, SMP, clusters,
Plus en détailDémarches d urbanisation : réorganiser le Système d Information en structurant ses fonctions dans des blocs fonctionnels communicants.
Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 04 Architecture du SI : identifier et décrire les services, structurer le SI 1 2 3 4 5
Plus en détailDEPARTEMENT D'INFORMATIQUE MEMOIRE. Présenté par. K AR A M O S TE F A M o ha mme d Ilye s. Pour obtenir LE DIPLOME DE MAGISTER
DEPARTEMENT D'INFORMATIQUE MEMOIRE Présenté par K AR A M O S TE F A M o ha mme d Ilye s Pour obtenir LE DIPLOME DE MAGISTER Spécialité Informatique Option : Système Informatique Réparti Intitulé : OPTIMISATION
Plus en détailSNCC SCADA MES Vecteurs d intégration
SNCC SCADA MES Vecteurs d intégration Paris, le 6 juin 2013 Improving your execution systems Parcours Personnel 30 années d expérience en informatique industrielle ABSY (1983-1988 : constructeur SNCC)
Plus en détailÉCOLE POLYTECHNIQUE DE MONTRÉAL. Département de Génie Électrique. La technologie de TEXAS INSTRUMENTS DSP pour le cours Analyse des Signaux ELE2700
ÉCOLE POLYTECHNIQUE DE MONTRÉAL Département de Génie Électrique La technologie de TEXAS INSTRUMENTS DSP pour le cours Analyse des Signaux ELE2700 M. Corinthios et Zaher Dannawi 29 août 2007 2 Tables des
Plus en détailLicence professionnelle Réseaux et Sécurité Projets tutorés 2009-2010
Licence professionnelle Réseaux et Sécurité Projets tutorés 2009-2010 Organisation générale Les projets sont à réaliser en binôme ou en trinôme, suivant l indication marquée dans chaque sujet. Des ajustements
Plus en détailProgrammation temps-réel Cours 1 et 2 Introduction et ordonnancement
Master 2 pro Programmation temps-réel Cours 1 et 2 Introduction et ordonnancement Isabelle PUAUT / Rémi COZOT Université de Rennes I 1 Applications temps-réel embarquées Systèmes en interaction avec l
Plus en détailHigh Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi
Thèse High Performance by Exploiting Information Locality through Reverse Computing Présentée et soutenue publiquement le 21 décembre 2011 par Mouad Bahi pour l obtention du Doctorat de l université Paris-Sud
Plus en détailChapitre 5 Vision Informatique Logique Architectures Applicative et Logicielle
Chapitre 5 Vision Informatique Logique Architectures Applicative et Logicielle NFE107 Chapitre 5 Vision Informatique Logique Architectures Applicative et Logicielle 5.1 Introduction Positionnement de la
Plus en détailALGORITHMIQUE II NOTION DE COMPLEXITE. SMI AlgoII
ALGORITHMIQUE II NOTION DE COMPLEXITE 1 2 Comment choisir entre différents algorithmes pour résoudre un même problème? Plusieurs critères de choix : Exactitude Simplicité Efficacité (but de ce chapitre)
Plus en détail2015 // 2016. des formations. programme. Retrouvez toutes ces informations sur enseirb-matmeca.bordeaux-inp.fr
programme des formations Filière Électronique...2 Filière Informatique...3 Filière Mathématique et Mécanique...4 Filière Télécommunications...5 Filière Réseaux et Systèmes d Information...6 Filière Systèmes
Plus en détailFICHE UE Licence/Master Sciences, Technologies, Santé Mention Informatique
NOM DE L'UE : Algorithmique et programmation C++ LICENCE INFORMATIQUE Non Alt Alt S1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) MASTER INFORMATIQUE Non
Plus en détailLes systèmes embarqués Introduction. Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon
Les systèmes embarqués Introduction Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon Introduction aux systèmes embarqués Définition. Caractéristiques d
Plus en détailVMWare Infrastructure 3
Ingénieurs 2000 Filière Informatique et réseaux Université de Marne-la-Vallée VMWare Infrastructure 3 Exposé système et nouvelles technologies réseau. Christophe KELLER Sommaire Sommaire... 2 Introduction...
Plus en détailRapport 2014 et demande pour 2015. Portage de Méso-NH sur Machines Massivement Parallèles du GENCI Projet 2015 : GENCI GEN1605 & CALMIP-P0121
Rapport 2014 et demande pour 2015 Portage de Méso-NH sur Machines Massivement Parallèles du GENCI Projet 2015 : GENCI GEN1605 & CALMIP-P0121 Rappel sur Méso-NH : Modélisation à moyenne échelle de l atmosphère
Plus en détailGestion dynamique des tâches dans les grappes, une approche à base de machines virtuelles
UNIVERSITÉ DE NANTES FACULTÉ DES SCIENCES ET DES TECHNIQUES ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DES MATERIAUX Année 2010 N attribué par la bibliothèque Gestion dynamique des tâches
Plus en détailBIG DATA en Sciences et Industries de l Environnement
BIG DATA en Sciences et Industries de l Environnement François Royer www.datasio.com 21 mars 2012 FR Big Data Congress, Paris 2012 1/23 Transport terrestre Traçabilité Océanographie Transport aérien Télémétrie
Plus en détailLe réseau sans fil "Wi - Fi" (Wireless Fidelity)
Professionnel Page 282 à 291 Accessoires Page 294 TPE / Soho Page 292 à 293 Le réseau sans fil "Wi - Fi" (Wireless Fidelity) Le a été défini par le Groupe de travail WECA (Wireless Ethernet Compatibility
Plus en détailUrbanisation des Systèmes d Information Architecture d Entreprise. 04 Architecture du SI : identifier et décrire les services, structurer le SI
Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 04 Architecture du SI : identifier et décrire les services, structurer le SI 1 2 3 1.1
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailTechnologie SDS (Software-Defined Storage) de DataCore
Technologie SDS (Software-Defined Storage) de DataCore SANsymphony -V est notre solution phare de virtualisation du stockage, dans sa 10e génération. Déployée sur plus de 10000 sites clients, elle optimise
Plus en détail