Proposer des passes SSA d'optimisation de boucle pour un compilateur DSP
Aperçu
En quoi consiste ce défi.
Rédigez une proposition de conception pour deux passes SSA d'optimisation de boucle sur un compilateur DSP et obtenez un certificat vérifiable.
Le brief
Ce que vous ferez, et ce que vous démontrerez.
Comment concevoir des passes d'optimisation de boucle en forme SSA qui augmentent la performance des noyaux de calcul d'un DSP vectoriel tout en préservant la sémantique du programme ?
Earning criteria — what you'll demonstrate
- Exploiter la forme SSA pour simplifier l'analyse des variables d'induction et de la dominance (cœur du cours)
- Concevoir et implémenter le déplacement de code invariant et la réduction de force sur une représentation intermédiaire
- Établir les conditions de correction préservant la sémantique lors d'une transformation de boucle
- Relier une optimisation de boucle au modèle de coût d'un matériel vectoriel cible
- Coordonner en équipe la conception et la validation de passes de compilateur
Adéquation au programme
Où cela s'inscrit dans votre cursus.
Renforce les mêmes compétences que celles attendues par votre diplôme.
Cursus associés bientôt disponibles.
Compétences
Les compétences que vous démontrerez.
Chacune apparaît sur votre certificat vérifié.
Débouchés
Les métiers auxquels ce défi vous prépare.
De vrais intitulés. De vraies passerelles de compétences. Choisissez celui qui se rapproche le plus de votre trajectoire.
Ingénieur Performance
Estimer un gain en cycles à partir d'un modèle de coût matériel et prouver qu'une transformation reste correcte est le quotidien d'un ingénieur performance : ce défi ancre cette double compétence conception + mesure sur un cas de compilateur réel.
Ce défi renforce
- loop-optimization
- algorithm-analysis
- ssa-construction
Ingénieur Logiciel Systèmes
Étendre un compilateur en préservant des invariants stricts (forme SSA, sémantique) et documenter les décisions développe la rigueur d'un ingénieur logiciel systèmes travaillant sur des composants de bas niveau à forte exigence de fiabilité.
Ce défi renforce
- algorithm-analysis
- architecture-decision-records-adrs
- ssa-construction