|
|
Mailing list archives
Rohár, Pavol ; Mareš, Martin (vedoucí práce) ; Hubička, Jan (oponent)
Tato práce se zabývá automatickým archivováním mailů z mailových konferen- cí. Správcem konference k tomu má poskytnout vhodný nástroj a jednotlivým účastníkům umožnit číst archivované maily pomocí webového prohlížeče. Za cíl si práce klade funkční a efektivní program, který bude podporovat maily ve formá- tu MIME a bude umět pracovat s mailovými přílohami. Program bude též umět zobrazovat maily v různých národních znakových sadách a bezpečně zpracovávat potenciálně nedůvěryhodná data. Kromě toho dokáže rozumně seskupovat maily do jednotlivých vláken. A v neposlední řadě i co nejlépe zpracovávat maily, které nesplňují požadované a běžně používané internetové standardy.
|
|
|
Optimizing large applications
Liška, Martin ; Hubička, Jan (vedoucí práce) ; Mareš, Martin (oponent)
Oba hlavní open source překladače, GCC a LLVM, dnes dosahují stavu, kdy jsou schopny link-time optimalizovat velké aplikace. U rozsáhlých aplikací si nevystačíme jenom s klasickými měřítky výkonu jako je rychlost nebo paměťová náročnost. Zajímá nás typicky velikost kódu, doba studeného startu aplikace a podobně. Vývojáři těchto balíků tak často sahají k různým ad-hoc řešením, mezi které patří například utilita ElfHack, startování vlastních aplikaci pomocí předzavedené utility a dlopen, prelinking a různé nástroje pro přerovnání výsledného programu podle pořadí provádění funkcí. Práce si klade za cíl zmonitorovat dostupné techniky optimalizace, ocenit jejich účinnost a navrhnout nová řešení, postavená na platformě link-time optimalizací. Powered by TCPDF (www.tcpdf.org)
|
|
|
Pattern matching in compilers
Bílka, Ondřej ; Hubička, Jan (vedoucí práce) ; Mareš, Martin (oponent)
Název práce: Pattern matching in compilers Autor: Ondřej Bílka Katedra: Katedra Aplikované Matematiky Vedoucí diplomové práce: Jan Hubička, Katedra Aplikované Matematiky Abstrakt: V této práci vyvineme nástroje na efektivní a flexibilní pattern matching. Představíme specializovaný programovací jazyk amethyst. Jedna z funkcí amethystu je generatování parserů. Také může sloužit jako alterna- tiva k regulárním výrazum. Naš systém umí generovat dynamické parsery. Jejich hlavní uplatnění je tvorba nástroju do IDE jako např. interaktivní zvýrazňovač syntaxe nebo detektor chyb. Amethyst umí zpracovávat i obecné datové struktury. Plánované využití je implementace kompilátorových optimal- izací jako napřiklad propagace konstant či rozvrhování instrukcí a jiné optimal- izace založené na dataflow analyze. Generované parsery jsou víceméně top-down parsery. Představíme nový algo- ritmus pro parsovaní strukturovaných gramatik v linearním čase. Amethyst používá techniky z kompilatorů pro optimalizovaní generovaných parserů. Klíčová slova: packrat parsování, dynamické parsování, strukturované gramatiky, funkcionální programování 1
|
|
|
Implementation of operations in double-ended heaps
Bardiovský, Vojtech ; Koubek, Václav (vedoucí práce) ; Hubička, Jan (oponent)
Existuje viacero spôsobov ako vytvoriť dvojkoncovú haldu z dvoch klasických háld. V tejto práci rozšírime dvojkoncovú haldu založenú na prepojení listov a vytvoríme novú schému nazvanú L-korešpondencia. Táto schéma rozšíri triedu možných klasických háld použiteľných pre vytvorenie dvojkoncovej haldy (napr. Fibonacci halda, Rank-pairing halda). Ďalej umožní operácie ``Zníž prioritu'' a ``Zvýš prioritu''. Tento prístup ukážeme na troch konkrétnych haldách a odhadneme časovú zložitosť pre všetky operácie. Ďalším výsledkom je, že pre tieto tri konkrétne haldy, očakávaný čas operácií ``Zníž prioritu'' a ``Zvýš prioritu'' je obmedzený konštantou.
|
|
|
Zobrazování obrázků ve formátu JPEG
Falt, Zbyněk ; Hubička, Jan (oponent) ; Mareš, Martin (vedoucí práce)
Cílem předložené práce je popsat algoritmy a techniky, které umožňují co nejrychleji zobrazovat sekvenční JPEG obrázky. Toho je dosaženo eliminací počtu aritmetických výpočtů, odstraňováním podmíněných skoků v kritických sekcích, využitím vektorových instrukcí a přednačítáním souborů v několika vláknech. Kromě použití vektorových instrukcí SSE2, které jsou podporovány pouze architekturou IA-32, jsou tyto techniky nezávislé na platformě. Přiložený program pak demonstruje implementovatelnost a účinnost těchto postupů.
|
|
|
Předtisková příprava dokumentů
Šnupárek, Aleš ; Mareš, Martin (vedoucí práce) ; Hubička, Jan (oponent)
V předložené práci se zabýváme některými tiskovými formáty (PDF, PostScript) a možností úprav hotových dokumentů před samotným tiskem. Dále zkoumám současné nástroje pro dané úpravy. V části se zabývám návrhem a realizací nástroje, který umožňuje provádět některé ze základních předtiskových úprav.
|
|
|
Combinatorial Properties of Finite Models
Hubička, Jan ; Nešetřil, Jaroslav (vedoucí práce) ; Pultr, Aleš (oponent) ; Cameron, P. (oponent)
V této práci se věnujeme univerzáním strukturám pro vnoření i homomorfismy a sjednocujeme výsledky týkající se obou těchto pojmů. Ukážeme, že mnohé z univerzálních a ultrahomogenních struktur jsou reprezentovatelné pomocí jednoduchých konečných technik. O takových strukturách říkáme, že mají konečnou prezentaci. Na základě klasické reprezentace náhodného grafu (R. Rado) hledáme konečné prezentace pro známé ultrahomogenní struktury. Podle klasifikačního programu najdeme prezentace všech ultrahomogenních neorientovaných grafů, turnajů a částečných uspořádání. Ukážeme také prezentaci racionálního Urysohnova prostoru a některých orientovaných grafů. Věnujeme se také známým strukturám, které lze považovat za konečné prezentace. Uvádíme přehled struktur, které popisují částečná uspořádání a u nichž můžeme dokázat jejich univerzalitu (například uspořádání množin slov, geometrických objektů, polynomů, či homomorfismové uspořádání struktur). Ukážeme nový kombinatorický důkaz existence univerzálních struktur pro třídy struktur definovaných pomocí zakázaných homomorfismů. Z tohoto důkazu plyne nová konstrukce homomorfismových dualit a souvislost s Urysohnovým prostorem.
|
|
|
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.
|
|
| |
|
|
Škálovatelná optimalizace celých programů
Láska, Ladislav ; Hubička, Jan (vedoucí práce) ; Mareš, Martin (oponent)
Oba vedoucí open-source překladače, GCC a LLVM, mají vyspělé optimizéry celých programů, použitelné pro většinu současného softwaru. Stále však trpní mnoha problémy s výkonem, což zapřičiňuje nemožnost použít některé analýzy a optimalizace. V této práci analyzujeme problémová místa a identifikujeme několik kandidátů na vylepšení. Pro tento účel vyvineme novou datovou struktur založenou na Bloomových filtrech, díky které docílíme výrazného zlepšení časové i paměťové náročnosti během optimalizace celých programů. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.