Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Attribution du registre

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 l'allocation des registres, le processus de transformation d'un programme utilisant des registres virtuels en un autre utilisant des registres de machines physiques. Des techniques telles que la coloration graphique et l'allocation de balayage linéaire sont discutées, ainsi que les stratégies de déversement et leur intégration. La séance de cours se penche également sur les concepts CPS / L3 tels que la contification et les sous-ensembles contifiables.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Enseignant·e

Michel Schinz

Source officielle

Concepts associés (32)

Coloration de graphe

thumb|Une coloration du graphe de Petersen avec 3 couleurs. En théorie des graphes, la coloration de graphe consiste à attribuer une couleur à chacun de ses sommets de manière que deux sommets reliés par une arête soient de couleur différente. On cherche souvent à utiliser le nombre minimal de couleurs, appelé nombre chromatique. La coloration fractionnaire consiste à chercher non plus une mais plusieurs couleurs par sommet et en associant des coûts à chacune.

Marée noire

right|thumb|Travaux de nettoyage après une marée noire. Une marée noire est une catastrophe industrielle et écologique se traduisant par l'écoulement en zone côtière d'une nappe d'hydrocarbures. Cette nappe, qui résulte du déversement volontaire ou accidentel d'une quantité importante de pétrole brut ou de produits pétroliers lourds à la mer, est ensuite ramenée vers la côte par l'effet des marées, des vents ou de courants. L'expression pour désigner ce type de catastrophe a été lexicalisé en français à l’occasion du naufrage du Torrey Canyon.

Allocation de registres

Dans un compilateur, l'allocation de registres est une étape importante de la génération de code. Elle vise à choisir judicieusement dans quel registre du processeur seront enregistrées les variables durant l'exécution du programme que l'on compile. Les registres sont des mémoires internes au processeur, généralement capables de contenir un mot machine. Les opérations sur des valeurs rangées dans des registres sont plus rapides que celles sur des valeurs en mémoire vive, quand ce ne sont pas les seules possibles.

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.

Registre de processeur

Un registre est un emplacement de mémoire interne à un processeur. Les registres se situent au sommet de la hiérarchie mémoire : il s'agit de la mémoire la plus rapide d'un ordinateur, mais dont le coût de fabrication est le plus élevé, car la place dans un microprocesseur est limitée. Une architecture externe de processeur définit un ensemble de registres, dits architecturaux, qui sont accessibles par son jeu d'instructions. Ils constituent l'état externe (architectural) du processeur.

Afficher plus

Séances de cours associées (33)

Attribution de registre à l'aide de Graph Coloring

Couvre l'allocation des registres en utilisant la coloration graphique pour minimiser l'accès à la mémoire dans les programmes.

Coloration graphique II

Explore les concepts avancés de coloration graphique, y compris la coloration plantée, le seuil de rigidité, et les variables gelées en points fixes BP.

Coloration graphique III

Explore les propriétés des grappes et le seuil de coloration dans la coloration graphique, y compris la connectivité moyenne et la rigidité.

Physique statistique des grappes

Explore la physique statistique des clusters, en se concentrant sur la complexité et le comportement d'équilibre.

Théorie de l'information: Bases

Couvre les bases de la théorie de l'information, de l'entropie et des points fixes dans les coloriages graphiques et le modèle Ising.

Afficher plus

Concepts associés (32)

Coloration de graphe

Marée noire

Allocation de registres

Coloration fractionnaire

Registre de processeur

Afficher plus