PROJET CAPS Compilation, Architecture, Processeurs Superscalaires et Spécialisées.

Slides:



Advertisements
Présentations similaires
Yassine Lakhnech Prof. UJF Verimag
Advertisements

Architecture de machines Le microprocesseur
© Copyright 2007 Arumtec. All rights reserved. Présentation Etude déligibilité
Plate-forme de conception de systèmes interactifs
2002 Exploratoire ASTRÉE : Analyse Statique de logiciels Temps-RÉel Embarqués 1)Le problème considéré est de démontrer statiquement (à la compilation)
PROGRAMMATION LOGICIEL PL7 MICRO Consignes
Le processus unifié UML est un langage de modélisation et n ’impose pas de démarche de développement Le processus unifié : méthodologie de développement.
Objectif de l’exposé.
A abstraction b assembleur c nombre binaire d bit e cache f UC g puce h compilateur i famille dordinateurs j contrôle k chemin de données l défaut m dé
Objectifs Identifier l’interface entre le logiciel de plus bas niveau et le matériel Comprendre la problématique de l’architecture du jeu d’instruction.
Hiérarchie mémoire Contrôle Entrées Mémoire Chemin de données Sorties.
People want to do X, but computers can only do Y. This leads to a problem. My job is to explain how this problem can be solved.
Le Concept du programme enregistré
Auto Apprentissage Le DSP
2.Les différentes architectures (Louis)
Informatique parallèle hautes performances
Architecture de machines Principes généraux
Sélection automatique d’index et de vues matérialisées
KAR Power Faster
Pourquoi MIPS Assembler ?
Fonction Traiter Algorithmique et Programmation
Architectures et systèmes à microprocesseurs – ELEC288
Architecture des Ordinateurs
Techniques de test Boulanger Jean-Louis.
Synthèse d’activités Présentation.
Introduction Objectifs du cours Évaluation Références
Systèmes Superscalaires et VLIW
Détection du meilleur format de compression pour une matrice creuse dans un environnement parallèle hétérogène Olfa HAMDI-LARBI.
Méthodes formelles pour la conception de systèmes répartis par Luigi Logrippo et tous ses collaborateurs et étudiants École d`ingénierie et technologie.
Les étapes du cycle de développement du génie logiciel
L’adaptativité pour un solveur de l’équation de Vlasov
Cours Architecture des Systèmes Informatiques
PROJET CAPS Compilation, Architecture, Processeurs Superscalaires et Spécialisées.
PROJET CAPS Compilation, Architecture, Processeurs Superscalaires et Spécialisées.
Supports de formation au SQ Unifié
André Seznec Caps Team IRISA/INRIA 1 Processeurs Hautes Performances Panorama et Nouveaux Défis André Seznec IRISA/INRIA
INF8505: processeurs embarqués configurables Département de génie informatique et génie logiciel Langages de description architecturale.
Réalisé par : Mr IRZIM Hédi Mr JRAD Firas
Haute Ecole de la Ville de Liège Département paramédical Département économique Département pédagogique Département technique rue Sohet, LIEGE.
INF8505: processeurs embarqués configurables
Vérification dans le cycle de vie GEF492A 2014 Référence: [HvV §14.2, 14.9] Capt Vincent Roberge Collège Militaire Royal du Canada Génie électrique et.
“Software defined Storage”
Un outil d’estimation du temps d’exécution au pire-cas par analyse statique de programmes IRISA - Projet Solidor Antoine COLIN.
Thomas LOPEZ - Equipe BUNRAKU Candidature au monitorat INSA– Vendredi 10 Octobre 2008.
L’architecture du processeur Xtensa de Tensilica
ARPO: architecture des processeurs superscalaires,VLIW et optimisation André Seznec et François Bodin.
Noyau Linux et multi-processeur sur plateforme embarquée ST50 Vendredi 18 Mars 2005 – Thomas Petazzoni.
PROJET CAPS Compilation, Architecture, Parallélisme et Système.
Construction d'une hiérarchie mémoire faible consommation
Introduction et Généralités sur l’Algorithmique
Simulation de jeux d’instructions à hautes performances
Évolution des (micro)processeurs et des systèmes embarqués
Architecture des ordinateurs
1 Vers la gestion de la cohérence dans les processus multi-modèles métier Wolfgang THEURER Ecole Nationale Supérieure d’Ingénieurs des Etudes et Techniques.
Optimisation pour la Conception de Systèmes Embarqués
ISNET-43 Atelier de génie logiciel Approche fonctionnelle ou objets Concurrence ou complémentarité ? Synthèse.
PROJET CAPS Compilation, Architecture, Processeurs Superscalaires et Spécialisées.
Plan de la séance 5. Deux grands thèmes L’analyse du risque, l’emploi de la simulation et du L’optimisation, la programmation linéaire.
ARPO: architecture des processeurs superscalaires,VLIW et optimisation André Seznec et François Bodin.
PROJET CAPS Compilation, Architecture, Parallélisme et Système.
Sujet 5 : Intégration d’une loi d’ordonnancement dans un modèle
1. Introduction 2. Les réseaux sur puce NOC 3. Conception des SOC
Intégration des Tableaux Multidimensionnels en Pig pour
1 Microprocesseurs Hautes Performances André Seznec IRISA/INRIA
FAUVET Nicolas 1 Gestion de données scientifiques 3d massives pour l’interaction en Réalité Virtuelle Doctorant: Nicolas Fauvet Encadrant: Jean-Marc Vézien.
Projet GDS de l’ACI MD Projet PARIS IRISA, Rennes.
Génération de simulateurs de jeux d’instructions compilés Ronan AMICEL IRISA / Equipe CAPS.
IFT 703 Informatique cognitive ACT-R Modèle symbolique et perceptuel
1 Journées Scientifiques novembre 2003 MoMaS EDF Electricité de France Multi Phénomènes Couplage Multi Phénomènes André Menjoz - BRGM Laurent Loth.
Transcription de la présentation:

PROJET CAPS Compilation, Architecture, Processeurs Superscalaires et Spécialisées

Projet CAPS 2 CAPS: Qui sommes nous ?  2 chercheurs, 2 professeur(e)s, 5 doctorants, 1 ingénieur  4 thèses soutenues dans l’année  Deux activités fortement imbriquées :  Matériel : architecture des processeurs  Interactions matériel / logiciel (compilation, analyse)

3 CAPS: que faisons nous ?

Projet CAPS 4 Architecture des microprocesseurs  Comprendre les architectures hautes performances  Proposer les nouvelles architectures  Caches: skewed associative caches, …  Prédiction de branchement  Simultaneous Multithreading  Nouvelles organisations de processeurs

Projet CAPS 5 Les outils pour l’architecture  Simulation fine: cycle par cycle  Tracer les applications  Le simulateur IATO du jeu d’instruction IA64  ABSCISS: Génération automatique de simulateurs

Projet CAPS 6 Les défis de l’architecture  Passer de: “ la performance ultime à tout prix” à “la performance à un coût raisonnable”  Coût = surface, consommation, température, temps de mise au point, …

Projet CAPS 7 Interactions matériel / logiciel  Compilation : choisissez votre objectif !  La performance moyenne ultime  La consommation électrique  La taille du code  La prévisibilité temporelle  Analyse  Dynamique (simulation)  Statique (pire-temps d’exécution)  Domaines cibles : haute performance, embarqué

Projet CAPS 8 Les outils pour les interactions matériel/logiciel  La nécessité d’expérimenter !  Des systèmes prototypes : entre autres  SAGE : infrastructure de manipulation de programmes C/C++  SALTO : manipulation de langage assembleur  HEPTANE : estimation de pires temps d’exécution

Projet CAPS 9 Interactions matériel/logiciel : prototypes pour valider les concepts  CAHT: Intégration du « Case Base Reasoning » dans optimiseur de code  Compilation itérative pour les systèmes enfouis  ALISE: infrastructure pour l’optimisation bas- niveau, … Transfert du savoir-faire à la start-up CAPS Entreprise

Projet CAPS 10 Propositions de stages !!

Projet CAPS 11 Architecture  Architecture et performance d'une mémoire compressée  Eviter les déplacements de données en cas de modification de la taille d’un bloc  André Seznec  Etude des variations temporelles de température lorsque une application s'exécute sur un processeur  Ordonnancement pour la température  Pierre Michaud

Projet CAPS 12 Interactions matériel / logiciel Compilation  Compilation pour le déterminisme temporel (Isabelle Puaut)  Revisiter les optimisations de compilation en changeant la fonction objectif  Outils de développements pour systèmes embarqués et processeurs configurables (François Bodin)  Compilation pour la performance  ST-micro Crolles

Projet CAPS 13 Interactions matériel / logiciel Analyse  Hiérarchies de mémoire et prévisibilité temporelle (Isabelle Puaut)  Comparaison de différentes méthodes de prise en compte des caches  Modèles de pipeline pour l'analyse WCET (François Bodin)  Processeurs superscalaires, out-of-order  Temps d’exécution pire-cas dynamique pour applications temps-réel (Isabelle Puaut)  ST-micro, Crolles

Projet CAPS 14 Contacts   André Seznec, François Bodin, Pierre Michaud, Isabelle Puaut 