Seminar o prekladacich na MFF-UK

[Jan Hubicka]

Zdavim vespolek,

uz delsi dobu uvazuju o zavedeni seminare o prekladacich na Matfyzu a doufam,
ze v tomto semestru se mi to (dohromady se Zdenkem Dvorakem, ktery prislibil
spoluorganizovani) podari.  Seminar bude neoficialni, tedy je zvany kazdy a
nikdo za nej nic nedostane.

Rad bych se zabyval pokrocilejsimy tematy nez se stihne v prednasce
"Konstrukce prekladacu" a prodiskutoval i prakticke zkusenosti s jejich
vyvojem (tedy v mem pripate praci na GCC).  Prikladam predbezny sylabus
ktery jsem napsal minule prazdniny.  Nektere veci muzu odreferovat sam,
ale doufam, ze se najdou i dalsi, kteri se pridaji.

Pokud mate zajem navstevovat seminar, napiste mi a uvedte heslo
"seminar" v subjectu, abych to neprehledl.  Pokud se najdou zajemci,
umluvime se emailem (pri velkem zajmu vyhlasim "normalni" umluvu nekdy
behem druheho tydne semestru, ale myslim, ze to nebude treba).

Tesim se :)
Honza Hubicka
------------- další část ---------------
Referativní seminář by měl volnou formou podat přehled o návrhu a implementaci
nejčastějších optimalizací použitých v produkčních překladačích které nejsou
pokryté přednáškou \uv{Konstrukce překladačů}. Například:

 - moderní reprezentace mezikódu

\hskip 1cm   (single static assignment, postupné snižování úrovně, atd.)

 - spartial constant propagation

 - globální optimalizace

   \hskip 1cm (global value numbering, partial redundancy ellimination, atd.)

 - intraprocedurální optimalizace

   \hskip 1cm (function inlining, alias analysis, atd.)

 - optimalizace smyček a paměťové hierarchie

 - optimalizace řízené profilem

 - algoritmy spojené s optimalizací kódu

Dále se pak předpokládá diskuse o návrhu volně dostupných překladačů (GCC,
Open64, Impact, SUIF, Watcom C, LCC a další) a případně vlastní práci na vývoji těchto
systémů.