Séance de cours

Optimisation : Attribution des registres

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

CS-420: Advanced compiler construction

Students learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time system for a simple functional programming language. ...

Description

Cette séance de cours couvre des sujets de construction de compilateur avancés liés aux techniques d'optimisation telles que l'élimination de code mort, l'élimination de sous-expression commune, le pliage constant et l'allocation de registre. L'instructeur explique comment l'allocation des registres transforme un programme utilisant des registres virtuels en un programme utilisant des registres de machines physiques, certains registres pouvant être transférés en mémoire. Des techniques telles que la coloration des graphes et l'allocation de registres à balayage linéaire sont discutées, ainsi que l'heuristique et la contification intégrées. La séance de cours se penche également sur les graphiques d'interférence, les sous-ensembles contifiables et le processus d'optimisation de rétrécissement. Divers exemples et exercices sont fournis pour illustrer les concepts.

Enseignant·e

Michel Schinz

Enseignement et PhD Cours Advanced compiler construction CS-420 Les étudiants apprennent plusieurs techniques de mise en œuvre des langages fonctionnels et orienté-objets. Ils les mettent en pratique en réalisant certaines parties importantes d'un compilateur et d'un moteur d'exécution pour un langage fonctionnel simple. Pratique de la programmation orientée-objet CS-108 Les étudiants perfectionnent leurs connaissances en Java et les mettent en pratique en réalisant un projet

Source officielle

Proximité ontologique

Génie informatique

Programmation informatique: Compilateur

Concepts associés (30)

Optimizing compiler

In computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power consumption (the last three being popular for portable computers). Compiler optimization is generally implemented using a sequence of optimizing transformations, algorithms which take a program and transform it to produce a semantically equivalent output program that uses fewer resources or executes faster.

Dead-code elimination

In compiler theory, dead-code elimination (DCE, dead-code removal, dead-code stripping, or dead-code strip) is a compiler optimization to remove dead code (code that does not affect the program results). Removing such code has several benefits: it shrinks program size, an important consideration in some contexts, and it allows the running program to avoid executing irrelevant operations, which reduces its running time. It can also enable further optimizations by simplifying program structure.

Coloration fractionnaire

droite|vignette| 5: 2-coloration du graphe dodécaédrique. Il n'existe pas de 4: 2-coloration de ce graphe. En théorie des graphes, la coloration fractionnaire est une généralisation de la coloration des graphes ordinaire. Dans une coloration de graphe traditionnelle, une couleur est affectée à chaque sommet d'un graphe, et deux sommets adjacents ne doivent pas avoir la même couleur. Dans une coloration fractionnaire, un ensemble de couleurs est affecté à chaque sommet du graphe.

Extension inline

En informatique, l'extension inline, ou inlining, est une optimisation d'un compilateur qui remplace un appel de fonction par le code de cette fonction. Cette optimisation vise à réduire le temps d'exécution ainsi que la consommation mémoire. Toutefois, l'extension inline peut augmenter la taille du programme (par la répétition du code d'une fonction). Certains langages (par exemple le C ou le C++) ont un mot clé inline attachable à la définition d'une fonction. Ce mot clé indique au compilateur qu'il devrait essayer d'étendre cette fonction.

Langage intermédiaire

En informatique, un langage intermédiaire (parfois abrégé en IL, de l'anglais Intermediate Language) est le langage d'une machine abstraite conçu pour l'analyse d'un programme informatique. Le terme vient de son utilisation dans les compilateurs, où un compilateur transcrit d'abord le code source d'un programme en une forme plus adaptée pour les transformations d'amélioration de code, comme un état intermédiaire avant de générer du code objet ou du langage machine pour une machine cible, c’est-à-dire la machine sur laquelle sera exécutée le programme.

Afficher plus

Séances de cours associées (32)

Compilateurs : défis avec les processeurs de signaux numériques

Couvre les défis de la compilation pour les processeurs de signaux numériques en raison de leurs caractéristiques architecturales uniques et des irrégularités.

Méthodes d'optimisation

Couvre les méthodes d'optimisation, en se concentrant sur les méthodes de gradient et les techniques de recherche de ligne.

Optimisation : Multiplicateurs Lagrange

Couvre la méthode des multiplicateurs de Lagrange pour trouver extreme soumis à des contraintes.

Prévoir le temps d'achèvement : Stratégies d'optimisation

Discuter de la prévision du temps d'achèvement et de l'optimisation des activités grâce à des stratégies d'orchestration efficaces et à des prévisions de courbes d'achèvement fondées sur l'expérience.

Définir la couverture : Integrality Gap

Explore le concept d'écart d'intégralité dans les algorithmes de couverture et de pondérations multiplicatives.

Afficher plus

Concepts associés (30)

Optimizing compiler

Dead-code elimination

Coloration fractionnaire

Extension inline

Langage intermédiaire

Afficher plus