Diskuze – Překladače pod pokličkou - optimalizace

Jenom jsem to tak proletěl, ale zdá se mi to jako dost dobrý článek od autora, který ví, o čem mluví

Dobré! To že se kód tak rapidně změní jsem nečekal...

Je to dobrý článek, jen ty příklady jsou nějak přeházené. Je z toho vidět, že není problém definovat konstantu jako výraz z konstant. Že je zbytečné a často i kontraproduktivní se o některé optimalizace vůbec snažit. Velký význam však má výběr vhodného algoritmu či návrhového vzoru.

Kód se často mění ještě víc, než by kdokoliv čekal.

V rámci jedné soutěže v C++ jsem potřeboval co nejvyšší rychlost zpracování, protože vstupy i výstupy byly obrovské. Takže jsem musel dřít C++ i počítač na kost.

Během performance analýzy se děla podivná věc. Ve chvíli, kdy jsem dal jednu podmínku pryč, běžel program neuvěřitelně rychle. Vůbec to nedávalo smysl, dokud jsem nezjistil, že se v tu chvíli změnily okolnosti a kompilátor provedl kaskádově řadu optimalizací ... a odstranil mi větší část kódu, protože ji nepovažoval za potřebnou.

Vím, že kompilátor při optimalizaci často přemisťuje invarianty cyklu mimo cyklus, podmínku u while přemisťuje na konec cyklu a settery v jedné třídě expanduje do metod ve volajících třídách. Snažit se ručně optimalizovat tyto části kódu je zpravidla zbytečné.

Úžasný a poučný článek. O optimalizacích jsem věděl jen to, že v C++ fungují všechny objektové metody jako inline.

Celkem užitečný článek. Věděl jsem, že překladače osekají nepoužívané proměnné, ale že jdou až do takových detailů, jsem nevěděl.

Kdyby chtěl někdo psát seriál o překladačích, byl bych rád a vděčný. Sice s tím teď blbnu, ale nejsem schopen o tom napsat článek.

Možná by nebylo na škodu se ještě zmínit o lexikální analýze, která se provádí jako první. Stačila by jen zmínka na řádek.

Formální model analýzy se takhle sice vyučuje, ale v řadě moderních jazyků je lexikální zpracování už součástí syntaktické analýzy, např. i ++ j může mít více významů a to neberu v úvahu jazyky, kde můžeš definovat své vlastní operátory.

Já vím, že lexikální analýza je součástí syntaktické, ale ostatní to vědět nemusí. Proto jsem psal, že stačí jen zmínka na řádek. Já je mám třeba oddělené. Řekl bych, že to ničemu nevadí. V lexikální analýze žádné významy nejsou. Ta čte jen vstup a udělá z něj lexémy, víc jí nezajímá.