Zobrazit minimální záznam

Automated overhead analysis of Linux configuration options



dc.contributor.advisorSojka Michal
dc.contributor.authorKočí Karel
dc.date.accessioned2015-05-28T11:42:00Z
dc.date.available2015-05-28T11:42:00Z
dc.identifierKOS-587865361405
dc.identifier.urihttp://hdl.handle.net/10467/61977
dc.description.abstractJádro operačního systému Linux obsahuje mnoho různých subsystémů a ovladačů pro zařízení. Před překladem ze zdrojových kódů se vybírá, které subsystémy a ovladače mají být zahrnuty, tzv. konfiguruje se. Jeho konfigurace není triviální. Existují různé nástroje, které se snaží různě tuto konfigurovatelnost analyzovat a vyhledávat chyby a problémy. Cílem této práce je ověřit, zdali je možné zjistit vliv vybraných konfiguračních voleb na celkovou výkonnost systému měřením výkonu různých konfigurací. Za tímto účelem byly vytvořeny nástroje pro automatické měření a analýzu výkonu generovaných konfigurací. Výsledky získané tímto nástrojem ovšem, jak se zjistilo, nejsou průkazné.cze
dc.description.abstractKernel of Linux operation system contains many different subsystems and drivers for various hardware. Configuration is done by selecting subsystems and drivers before building from source codes. But configuration is not trivial task. Various tools are trying to analyze such configurations and search for mistakes and problems. Goal of this work is to verify, that we can get impact on performance per configuration symbols by measuring whole system with different configurations. And for this purpose were created tools for automatic measuring and analysis of generated configurations performance. But results gained by that tool are not conclusive, as it was find out.eng
dc.publisherČeské vysoké učení technické v Praze. Vypočetní a informační centrum.cze
dc.publisherCzech Technical University in Prague. Computing and Information Centre.eng
dc.rightsA university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdfeng
dc.rightsVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdfcze
dc.subjectLinux, Kconfig, SAT solver, výkonnost, automatická analýzacze
dc.titleAutomatická analýza vlivu konfigurace Linuxu na výkonnost systémucze
dc.titleAutomated overhead analysis of Linux configuration optionseng
dc.typebakalářská prácecze
dc.typebachelor thesiseng
dc.contributor.refereeHurák Zdeněk
theses.degree.disciplineSystémy a řízenícze
theses.degree.grantorkatedra řídicí technikycze
theses.degree.programmeKybernetika a robotikacze


Soubory tohoto záznamu





Tento záznam se objevuje v následujících kolekcích

Zobrazit minimální záznam