Optimising Compilers
Optimerande kompilatorer

EDAN75F, 7.5 högskolepoäng

Gäller från och med: Spring 2018
Beslutad av: Professor Thomas Johansson
Datum för fastställande: 2017-03-22

Allmänna uppgifter

Avdelning: Computer Science (LTH)
Kurstyp: Gemensam kurs, avancerad nivå och forskarnivå
Kursen ges även på avancerad nivå med kurskod: EDA230
Undervisningsspråk: Swedish

Syfte

The purpose of the course is that the students should understand the possibilities and limitations of modern optimising compilers, and thereby understand what they must optimise manually and what the compiler can do automatically.

Mål

Kunskap och förståelse

För godkänd kurs skall doktoranden

• understand which algorithms and data structures are used when modern optimising compilers are implemented, and
• understand which language constucts limit the compiler's ability to optimise code.

Färdighet och förmåga

För godkänd kurs skall doktoranden

• be able to analyse benchmark programs in order to understand which optimisation algorithms are suitable to implement, and
• be able to implement optimisation algorithms on SSA form, validate that they are implemented correctly and to measure their performance effects.

Värderingsförmåga och förhållningssätt

För godkänd kurs skall doktoranden

• without assistance be able to read and understand a scientific article on optimising compilers and to present it to the other students,
• be able to make a rough estimation of how long it may take to implement the ideas of the article, and
• make a judgement of whether that amount of work is worthwhile,
• and finally to determine whether the optimisation ideas can be suitable to perform by hand, if the compiler cannot do it automatically.

Kursinnehåll

Control-flow analysis, data-flow analysis, dependence analysis, alias analysis, redundancy elimination, loop optimisations, procedure optimisations, register allocation, code scheduling, optimisation for object oriented languages, optimisation of the memory hierarchy and vectorisation for processors with SIMD instructions.

Kurslitteratur

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

Kursens undervisningsformer

Undervisningsformer: Föreläsningar, laborationer

Kursens examination

Examinationsform: Skriftlig tentamen
Betygsskala: Underkänd, godkänd
Examinator:

Antagningsuppgifter

Förkunskapskrav: EDAF05 Algorithms, data structures and complexity or EDA027 Algorithms and Data Structures

Kurstillfällesinformation

Kontaktinformation och övrigt

Kursansvarig: Jonas Skeppstedt <jonas.skeppstedt@cs.lth.se>
Hemsida: http://cs.lth.se/eda230