|
|
Alternativní algoritmus stavby SSA formy pro GCC
Kastl, Filip ; Hubička, Jan (vedoucí práce) ; Jambor, Martin (oponent)
SSA forma je velice důležitý koncept týkající se interní reprezentace kódu v překladačích. Φ-funkce jsou nedílná součást SSA formy. Braun, Buchwald, Hack, Leißa, Mallon a Zwinkau představují nový algoritmus pro stavbu SSA a společně s ním také algoritmus redukující množství Φ-funkcí. V GCC zatím tyto algoritmy nebyly implementovány. V této práci nejprve představíme, naimplementujeme a otestujeme základní API určené pro generování kódu, které je založené na zmíněném algoritmu pro stavbu SSA. Následně předvedeme možnosti využití tohoto API a uvedeme jeho možná rozšíření. Poté naimplementujeme algoritmus pro optimalizaci Φ- funkcí. Pomocí tohoto algoritmu změříme, kolik redundantních Φ-funkcí pro- dukují GCC optimalizační průchody. Na základě získaných poznatků nakonec dojdeme k závěru, že by bylo užitečné tyto algoritmy do GCC přidat. 1
|
|
|
Optimalizace smyček pomocí histogramu
Kubánek, Ondřej ; Hubička, Jan (vedoucí práce) ; Jambor, Martin (oponent)
Produkční překladače používají mnoho různých technik optimalizace kódu. Jedna taková technika je Profile-guided optimization (PGO). Princip této techniky je, že během překládání programu je do něj vložena instrumentace, uživatel změří jeho chování pomocí testovacího běhu a při druhém překladu jsou změřená data použita ke zlepšení optimalizace. Cílem této práce je zlep- šit přesnost optimalizace smyček v GNU Compiler Collection (GCC) s PGO. Během PGO je aktuálně znám ve GCC pouze průměrný počet iterací dané smyčky. To vede k neefektivním optimalizacím, jak co se týče výkonu, tak co se týče velikosti generovaného programu. Tato práce přidává infrastrukturu pro měření dalších vlastností smyček. Implementujeme histogram iterací smyčky a histogram iterací smyčky mo- dulo jeho velikostí. Pomocí histogramu iterací pak zlepšíme optimalizaci loop peeling a přidáme novou verzi optimalizace loop versioning. To podstatně zlepšuje výkon za přiměřenou cenu.
|
|
|
Incremental link-time optimization in GNU Compiler Collection
Jireš, Michal ; Hubička, Jan (vedoucí práce) ; Jambor, Martin (oponent)
Moderní překladače se snaží optimalizovat programy co nejvíc je možné. Jedna z významných snah jsou Link-Time Optimalizace (LTO). LTO vezme celý program jak je dostupný linkeru a provede globální optimalizace které jsou nemožné v předcháze- jících lokálních překladech. Kvůli globální povaze LTO musí být provedeno celé při každém překladu, což vede k dlouhým časům překladu i v případě cyklu změny-překladu. Inkrementální překlad může snížit časy překladu cyklů změny-překladu znovupoužitím nezměněných objektů. Tato práce má za cíl implementovat inkrementální překlad pro LTO v překladači GNU Compiler Collection, specificky pro fázi lokálních transformací. Implementujeme inkre- mentální kompilaci kešováním souborů z překladových jednotek lokální transformace. Pro nejlepší výsledky inkrementální kompilace máme také za cíl minimalizovat počet změněných překladových jednotek po malé změně. Toho dosáhneme dvěma způsoby. Za prvé vytvoříme lepší rozdělovací strategii, která bude koncentrovat změny do menšího počtu překladových jednotek. Za druhé analyzujeme zdroje divergence a, pokud je to jednoduše možné, odstraníme je. To zahrnuje stabilizaci hodnot a opravu streamování a mezi procedurální optimalizace pro zvýšení jejich odolnosti vůči malým změnám. V obou případech se nemění kvalita výsledného spustitelného souboru. 1
|
|
|
Optimalizace vědeckých výpočtů pro GNU Compiler Collection
Jambor, Martin ; Hubička, Jan (vedoucí práce) ; Jelínek, Jakub (oponent)
Many members of the scientific community look for alternatives to Fortran to increase maintainability, reusability and interoperability of their projects and component and to achieve rapid development and deployment. C++ appears to be an ever more appealing alternative because evolving compilers and coding techniques continually boost the efficiency of the resultant code. This work describes what C++ scientific code typically looks like, and discuses a number of contemporary optimizing techniques compilers use to remove overhead caused by levels of abstraction. Moreover, it proposes a new Intraprocedural Analysis of Aggregates to expose even more information stored within objects and track object behaviour. It also describes implementation of intraprocedural propagation of constants within aggregates built on top of this analysis. Finally, it discusses its efficiency and potential for future work.
|
|
|
Vliv práce s počítačem na bolest ramene a krční páteře
Jambor, Martin ; Gilbertová, Sylva (vedoucí práce) ; Hošková, Blanka (oponent)
Název: Vliv práce s počítačem na bolest ramene a krční páteře Shoulder and neck pain caused by computer usage Cíle práce: Cílem diplomové práce bylo shrnout teoretické informace anatomické v oblasti pletence ramenního, dále potom z oblasti ergonomie při práci s počítačem. Mým hlavním cílem bylo zjistit jak dalece jsou tyto zásady na pracovišti dodržovány a poukázat na případný vliv na bolestivý syndrom ramene. Dalším úkolem je nastudování materiálů, získání dalších teoretických a odborných znalostí a osvojení si teoretických poznatků v praxi. V neposlední řadě pak sestavení jednoduché cvičební jednotky jako prevence muskuloskeletálních poruch. Metoda: Průzkum byl proveden v počítačové firmě u 20 dotázaných respondentů. Průměrný věk respondentů činil 41,5 roků. Metoda průzkumu byla provedena formou písemné ankety. Dotazovaní jedinci obdrželi sestavenou anketu, jejíž součástí byly přesné instrukce k vyplnění. Anketa byla rozdělena na dvě části. Každá z částí obsahovala 5 otázek. První část označena jako A byla koncipována za účelem zmapování osobních dat a zdravotních obtíží zejména z hlediska pohybového aparátu. Druhá část označena jako B se zaměřovala na ergonomické hodnocení pracovního prostředí. Výsledky: Z výsledků ankety vyplývá,že 70% respondentů netrpí bolestmi ramen vůbec a dalších 15% mělo...
|
|
|
Optimalizace vědeckých výpočtů pro GNU Compiler Collection
Jambor, Martin ; Jelínek, Jakub (oponent) ; Hubička, Jan (vedoucí práce)
Many members of the scientific community look for alternatives to Fortran to increase maintainability, reusability and interoperability of their projects and component and to achieve rapid development and deployment. C++ appears to be an ever more appealing alternative because evolving compilers and coding techniques continually boost the efficiency of the resultant code. This work describes what C++ scientific code typically looks like, and discuses a number of contemporary optimizing techniques compilers use to remove overhead caused by levels of abstraction. Moreover, it proposes a new Intraprocedural Analysis of Aggregates to expose even more information stored within objects and track object behaviour. It also describes implementation of intraprocedural propagation of constants within aggregates built on top of this analysis. Finally, it discusses its efficiency and potential for future work.
|
|
| |
|
| |
host ::
RSS.