EDAN75F

Aktiv

Optimerande kompilatorer

7.5

Gemensam kurs, avancerad nivå och forskarnivå

7121 (Datavetenskap (LTH))

 -03-22

Professor Thomas Johansson

Svenska

Varannan hösttermin

Kursens syfte är att studenterna skall förstå möjligheter och begränsningar hos moderna optimerande kompilatorer, och därigenom veta vad de behöver optimera för hand och vad kompilatorer kan optimera automatiskt.

Kontrollflödesanalys, dataflödesanalys, beroendeanalys, aliasanalys, elimination av redundans, optimering av loopar, optimering av proceduranrop, registerallokering, schemaläggning av instruktioner, optimering för objektorienterade språk, optimering av minneshierarkin samt vektorisering för processorer med SIMD instruktioner.

förstå vilka algoritmer och datastrukturer som används vid implementation av moderna optimerande kompilatorer, samt
förstå vilka språkkonstruktioner som begränsar optimeringsmöjligheter.

kunna analysera benchmarkprogram för att se vilka optimeringsalgoritmer som är lämpliga att implementera, samt
kunna implementera givna optimeringsalgoritmer på SSA form, kontrollera att de är korrekt implementerade, samt mäta prestandaeffekter.

kunna på egen hand sätta sig in i en vetenskaplig artikel i ämnet, och presentera denna muntligt för de andra studenterna,
kunna bedöma ungefär hur lång tid det kan tänkas ta att implementera den presenterade algoritmen, samt bedöma om det kan anses vara värt arbetet, samt
kunna bedöma om en optimeringsteknik kan vara lämplig att använda för hand i de fall kompilatorn inte kan göra det automatiskt.

Föreläsningar

Laborationer

Skriftlig tentamen

Underkänd, godkänd

EDAF05 Algoritmer, datastrukturer och komplexitet eller EDA027 Algoritmer och datastrukturer

Skeppstedt, J.: An Introduction to the Theory of Optimizing Compilers. Skeppberg, 2016. ISBN 9789197794039.

EDAN75F

 -03-22

Professor Thomas Johansson