|
|
Performance based adaptation of Scala programs
Kubát, Petr ; Bureš, Tomáš (vedoucí práce) ; Horký, Vojtěch (oponent)
Dynamická adaptivita počítačových systémů je jejich schopnost měnit své chování v závislosti na prostředí, v němž běží. Systém díky ní může dosáhnout lepšího výkonu, ale většinou je třeba přizpůsobit jeho architekturu, což komplikuje řešení. V rámci diplomové práce předkládáme analýzu a návrh frameworku pro jednoduchý a přímočarý vývoj zahrnující výkonnostní adaptivitu na úrovni funkcí a metod. Zkoumáme požadavky na rozhraní takového frameworku a možnost jeho integrace do prostředí programovacího jazyka Scala za použití pokročilých jazykových prostředků, jež nabízí. Na teoretické úrovni dále probíráme problém výběru nejvhodnější funkce pro použití s daným vstupem na základě měření výkonu předchozích běhů. Práce dále obsahuje implementaci tohoto frameworku, u níž byl kladen důraz na modularitu a snadnou rozšiřitelnost, neboť v práci je nastíněno mnoho potenciálních možností vylepšení. Řešení je vyhodnoceno prostřednictvím pestré škály scénářů, od algoritmů adaptujících se podle vstupních dat až po adaptace na běhové prostředí při distribuovaných výpočtech v systému Apache Spark.
|
|
|
Pascal with Truffle
Flimmel, Július ; Horký, Vojtěch (vedoucí práce) ; Bednárek, David (oponent)
Trupple je nekonvenčný interpret Pascalu vybudovaný vo frameworku Truffle od Oraclu. Použitím tohto frameworku sa stáva virtuálne platformovo nezávislý, pretože beží v Java Virtual Machine a môže tiež jednoducho komunikovat' s ostatnými Truffle jazykmi a samotnou Javou. Interpret stavia syntaktický strom z l'ubovolného Pascalovského zdrojového kódu a následne ho interpretuje od koreňového vrcholu. Podporuje Pascal podl'a štandardu ISO 7185 a implementuje niektoré bežne používané rozšírenia zavedené prekladačom Turbo Pascal od Borlandu. V tejto práci popíšeme architektúru interpretu, dôležité návrhové rozhodnutia, použité technológie a tiež poskytneme krátke hodnotenie výkonnosti Trupplu. 1
|
|
|
Startpage for TV Application
Bureš, Michal ; Bureš, Tomáš (vedoucí práce) ; Horký, Vojtěch (oponent)
V naší práci implementujeme konfigurovatelnou TV aplikaci pro set-top box zařízení, v kontextu zabudovaného webového prohlížeče. Práce je vedena dle zákaznického zadání a plně integrovaná do velké IPTV platformy. Má formu komplexního výchozího menu, jehož první sekcí je interaktivní dlaždicová struk- tura obsahující pohyblivý video přehrávač. Ostatní sekce obsahují menší ap- likace, nebo podsekce menu. Základem jsou moduly, které transformují zdroje dat na dlaždice. Ty jsou pak projektovány na horizontální karusely dle dynam- ické konfigurace. Navrhli jsme vhodně definované rozhraní k integrování nových modulů. Necelých dvacet jich je připraveno k okamžitému použití. Poskytují různé druhy parametrizovatelných dlaždic, například živé programy, s možností je přímo pustit či nahrát. Naše vrstva uživatelského rozhraní využívá knihoven React a Redux a je navržena jako jednostránková aplikace. Pro předvídatelnost, jakákoli změna stavu aplikace je řešena prostřednictvím vytvoření akce, která je zpracována pouze pure funkcemi. Nedostatečný výkon set-top boxů nás přivedl k implementaci pomocí immutable stavu aplikace, po kterých se pruměrná doba rendrování našich React komponent zkrátila o více než polovinu. iii
|
|
|
HelenOS packet filter
Buchar, Jan ; Děcký, Martin (vedoucí práce) ; Horký, Vojtěch (oponent)
Schopnost filtrovat pakety je nutnou součástí každého operačního systému určeného k použití na síťových směrovačích nebo branách. Cílem této práce je rozšířit operační systém HelenOS o podporu filtrování paketů. Práce se zabývá analýzou paketových filtrů dostupných v moderních operačních systémech a implementací HelenOS služby poskytující nastavitelný a rozšiřitelný paketový filtr. Dále modifikuje síťový stack HelenOSu tak, aby libovolná služba mohla fungovat jako paketový filtr. Rozšiřitelnost programu je demonstrována na jednoduché variantě mechanismu NAT. Powered by TCPDF (www.tcpdf.org)
|
|
|
Nástroj pro vizualizaci komunikace po sběrnicích
Mojzík, Michal ; Ježek, Pavel (vedoucí práce) ; Horký, Vojtěch (oponent)
Běžná výuka základů fungování sběrnic spočívá v předvádění abstraktních časových diagramů, které popisují řadu různých konceptů zároveň a které mohou být těžko pochopitelné. Příprava praktického příkladu komunikace po sběrnicích, který by mohl student sám ovlivňovat, však není dost dobře uskutečnitelná. Přitom existuje množství virtuálních počítačových systémů, které by mohly být pro praktické příklady využity. Žádný z nich však sám o sobě vizualizovat sběrnicové přenosy neumožňuje. V této práci upravujeme virtuální počítač Bochs tak, že jeho datové přenosy vyneseme do externí, námi vytvořené, aplikace, ve které umožňujeme vykonat simulaci sběrnicového přenosu po reprezentaci sběrnicové topologie a jeho prezentaci uživateli v podobě časového diagramu. Při návrhu předpokládáme využití programu jako učební pomůcky. Program také navrhujeme pro podporu různých paralelních sběrnic, přičemž implementovanou součástí je sběrnice ISA. Powered by TCPDF (www.tcpdf.org)
|
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (vedoucí práce) ; Tůma, Petr (oponent)
Práce je zaměřena na relativní porovnávání výkonu jednotlivých metod. Základem je Stochastic Performance Logic, která například umožňuje vyjádřit, že běh jedné metody trvá nejvýše dvakrát déle než běh jiné metody. Tyto výsledky jsou přenositelnější než absolutní hodnoty. Standardní testy jednotek (metod) jsou rozšířeny o výkonnostní předpoklady a vyhodnoceny za skutečného běhu reálné aplikace. Produkční kód je automaticky upravován pomocí dynamicky přidávné a odebírané instrumentace. Pro instrumentaci je použit nástroj DiSL, což umožňuje hladce měřit i systémové třídy Javy. Metody jsou měřeny postupně, počet souběžně měřených metod se dynamicky mění a měřící kód je odstraněn, jakmile jsou získána potřebná data. Výsledky ukazují, že tímto způsobem lze snížit maximální okamžitý vliv měření na aplikaci oproti měření všech metod najednou. Srovnáním s nástrojem JMH se ukázalo, že vytvořený prototyp je schopen přesného měření metod běžících déle než 1 ms. Powered by TCPDF (www.tcpdf.org)
|
|
|
Automatické úpravy kontextu v textových polích
Dřínek, Vratislav ; Bojar, Ondřej (vedoucí práce) ; Horký, Vojtěch (oponent)
Název práce: Automatické úpravy kontextu v textových polích Autor: Vratislav Dřínek Ústav: Ústav formální a aplikované lingvistiky Vedoucí bakalářské práce: RNDr. Ondřej Bojar Ph.D., Ústav formální a aplikované Lingvistiky Abstrakt: Tématem této bakalářské práce je pomocník při úpravě textu. Program se snaží předvídat uživatelovy záměry a usnadnit mu jejich dokončení. Úloha, kterou se zabývá tato práce je zcela nová a funkcionalita není nejen v běžných textových editorech k dispozici. Téma práce bylo inspirováno uživatelským rozhraním programovacího prostředí Visual Studio, které občas samo navrhuje programový kód, který programátor s nejvyšší pravděpodobností hodlá napsat. Pro svou práci pomocník používá morfologickou analýzu vět pomocí již existujícího nástroje Morphodita. Klíčová slova: větný rozbor, český slovník, morphodita tagger, autocomplete
|
|
|
Distribuovaný systém správy objednávek pro restaurační zařízení
Zíka, Jakub ; Kofroň, Jan (vedoucí práce) ; Horký, Vojtěch (oponent)
Pro restaurace a podobné podniky je velice výhodné používat software pro správu objednávek kvůli udržení přehledu o financích podniku a požadav- cích zákazníků. Na českém trhu již existuje celá řada produktů vytvořených pro tento účel. Existující softwarová řešení je ovšem často složité rozšiřovat nebo propojovat s dalšími systémy. V rámci této práce je navržen a vyvinut systém pro správu objednávek EasyPub fungující na operačních systémech GNU/Linux a Microsoft Windows. EasyPub umožňuje externím programům přistupovat k informacím uloženým v systému prostřednictvím otevřeného protokolu. Vznik systému je přínosný a přispívá k inovaci v oblasti restau- račního software. 1
|
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (vedoucí práce) ; Tůma, Petr (oponent)
Práce je zaměřena na relativní porovnávání výkonu jednotlivých metod. Základem je Stochastic Performance Logic, která například umožňuje vyjádřit, že běh jedné metody trvá nejvýše dvakrát déle než běh jiné metody. Tyto výsledky jsou přenositelnější než absolutní hodnoty. Standartní testy jednotek jsou rozšířeny o výkonnostní předpoklady a vyhodnoceny za skutečného běhu reálné aplikace. Instrumentace kódu je dynamicky přidána a odebrána kvůli automatické úpravě produkčního kódu. Pro instrumentaci je použit nástroj DiSL, což umožňuje hladce měřit i systémové třídy Javy. Metody jsou měřeny postupně, počet souběžně měřených metod se dynamicky mění a měřící kód je odstraněn, jakmile jsou získána potřebná data kvůli snížení vlivu měření. Výsledky ukazují, že pro aplikace náročné na procesor lze takto dosáhnout až 3-krát nižšího maximálního okamžitého vlivu měření než při měření všech metod najednou. Powered by TCPDF (www.tcpdf.org)
|
|
|
DEECo Cloudlets Exploratory Study
Kinšt, Jakub ; Bureš, Tomáš (vedoucí práce) ; Horký, Vojtěch (oponent)
Tato práce prozkoumává možnosti využití nedávno představených komponentových modelů založených na ensemblech (zastoupených modelem DEECo) jako řídící vrstvu v cloudletovém prostředí pro offloadování výpočtů mobilního zařízení, které může vést k úspoře omezených zdrojů jako baterie. Součástí řešení je analýza problematiky, identifikace možných problémů a komplikací, které jsou následně vyřešeny návrhem a implementací referenční architektury sloužící k offloadování jednotlivých částí mobilních aplikací a řízené vrstvou založenou na komponentovém modelu DEECo. Implementace ve formě frameworku je demonstrována pomocí dvou aplikací pro platformu Android. Nakonec jsou výkon a užitečnost frameworku otestovány a změřeny porovnáním stejné aplikace ve stavu bez offloadování a s offloadováním. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.