|
|
Flexible Event Processing Subsystem for the Java Performance Monitoring Framework
Júnoš, Peter ; Bulej, Lubomír (vedoucí práce) ; Hnětynka, Petr (oponent)
Java Performance Measurement Framework (JPMF) je framework zaměřen na popis sledovacích bodů, které se používají pro měření výkonnosti. Popis se použije na získávání dat vztahujících se k výkonnosti v těhto bodech. Data jsou vždy získána od operačního systému a zapsána bez dalšího zpracování. Popsaný tok dat přez framework je velký a zvyšuje zátěž úložiště. JPMF neumožňuje uživateli zredukovat množství těhto dat. Tato práce se zaměřuje na vyřešení popsaných problémů. Používá se při tom filtrování dat a jejich agregace, co vede k zmenšení množství dat na zápis. Kromě toho se tato práce věnuje úzkym hrdlám při zpracování dat v JPMF, řeší jejich důvody a snaží se je odstranit. Powered by TCPDF (www.tcpdf.org)
|
|
|
Uncertainty-Aware Self-Adaptive Cyber-Physical Systems
Al Ali, Rima ; Bulej, Lubomír (vedoucí práce) ; Pelliccione, Patrizio (oponent) ; Bühnová, Barbora (oponent)
Kyber-fyzikální systémy (CPS) je třeba navrhovat tak, aby byly schopny vyrovnat se z nejistotami, které vznikají při získávání dat o okolí těchto systémů. To vyžaduje využití vhodného modelu, který pak umožňuje dělat správná rozhodnutí a provádění správných akcí (v některých případech ovlivňující své okolí) na základě nepřesných informací. Volba a integrace vhodného modelu do návrhu může být složitá, protože vyžaduje identifikaci druhů nepřesností a znalost jejich modelování a aplikace. I když se může vývojář inspirovat konkrétními existujícími příklady, aplikace těchto postupů v jiných případech může být složitá, zejména z důvodů specifické neustálené terminologie, rozdíly v kontextu, a systémovými požadavky. Abychom usnadnili vývoj CPS, představujeme v této práci přehled přístupů, které berou nepřesné informace v úvahu, a to v oblasti kolektivních CPS. V této práci prezentujeme systematickou studii vědeckých projektů s průmyslovými vedoucími a syntézu vztahů mezi systémovými požadavky, druhy nepřesností a metodami pro jejich zpracování. Výsledky poskytují přehled druhů nepřesností napříč doménami a výzvami. Dále představujeme průvodce pro návrh sebeupravujících CPS, které umožňují zpracování nepřesností. V závěru představujeme proces, který umožňuje se s určitými druhy nepřesností vyrovnat.
|
|
|
Kampa: an experimental programming language
Rozsypal, Lukáš ; Bulej, Lubomír (vedoucí práce) ; Bednárek, David (oponent)
Kampa je všeobecný programovací jazyk. Je imperativní, ale má i rysy funkcionálního programování. Jeho nejzajímavější vlastnosti zahrnují hodnotové typy, zapisované stručně jako n-tice (tuples), rekurzivně platné immutable kvalifikátory a pojmenované operátory. Samozřejmostí je pak zacházení s funkcemi jako s hodnotami a vnitřní funkce s možností využití proměnných z vnější funkce (closures). Díky tzv. závislým typům je možné svázat velikost pole se zvolenou proměnnou. Pole se dají použít i přímo jako součásti jiných datových struktur (nejen jako reference). To ve spojení se závislými typy umožňuje do- sáhnout téměř libovolného rozložení v paměti. Kromě specifikace tato práce zahrnuje i pokusnou implementaci založenou na frameworku Truffle. 1
|
|
|
Dynamic Analysis Framework for C#/.NET Programs
Čižmárik, Andrej ; Parízek, Pavel (vedoucí práce) ; Bulej, Lubomír (oponent)
Dynamická analýza je metóda používaná na analýzu chovania programov, čo môže byť využité pri hľadaní rôznych chýb v softwari. V dnešnej dobe je trend vo vývoji viacvláknových programov, kde môžu bezpochyby nas- tať problémy so synchronizáciou vlákien. Navyše, pôvod chýb v softwari, ktoré sú spôsobené rozdielnym naplánovaním a usporiadaním operácií, je ťažko odhaliteľný, nakoľko sú tieto chyby nedeterministické. Rozhodli sme sa naimplementovať framework na dynamickú analýzu programov napísaných v jazyku C# spolu s dvoma známymi algoritmami, ktoré sa používajú na de- tekciu a predikciu data-race-ov. Vo výsledku sme vytvorili konfigurovateľný a rozšíriteľný nástroj SharpDetect, ktorý podporuje dynamickú analýzu CIL programov. Konkrétne ide o programy napísané v jazyku C# pre platformy podporované frameworkom .NET Core. Na ukážku užitočnosti vytvoreného riešenia bol SharpDetect úspešne nasadený na knižnicu NetMQ, čo je imple- mentácia ZeroMQ v programovacom jazyku C# a kde našiel jednu skutočnú chybu.
|
|
|
Integrated Server for Dynamic Program Analysis
Kabele, Vít ; Bulej, Lubomír (vedoucí práce) ; Horký, Vojtěch (oponent)
Dynamická analýza pomáhá při vývoji softwaru v mnoha situacích, ať už jde o debugo- vání, porozumění programu či optimalizaci výkonu. Vyvinout novou dynamickou analýzu je však netriviální úkol. Pro usnadnění vývoje dynamických analýz výzkumníci z Univerzity Karlovy ve spolu- práci s Università della Svizzera italiana v Luganu společnými silami vyvinuli frameworky DiSL a ShadowVM. Tyto frameworky zvyšují úroveň abstrakce pro vývojáře a poskytují vhodný programovací model jak pro instrumentaci bytekódu, tak pro provádění analýz. Ačkoliv tyto frameworky byly úspěšně použity při vývoji mnoha různých dynamických analýz v praxi, ukázalo se, že interní design originálních implementací obou frameworků způsobil, že jakékoliv budoucí rozšíření, jako například podpora pro "instrumentation- time reflection", bylo extrémně obtížné. Oba frameworky pracují v klient-server režimu a přestože jsou navrženy pro společné užití, design zabraňuje sdílení dat mezi oběma klientskými a oběma serverovými částmi. To nejenže zvyšuje množství dat které je potřeba přenést po síti, ale zároveň to činí konfiguraci obou částí složitější. V této práci navrhneme a implementujeme novou architekturu obou frameworků tak, že funkcionalita DiSLu i ShadowVM bude poskytována jedním serverem pro vícero kli- entů. 1
|
|
|
Norma SOAP a její použití v prostředí malých a středně velkých společností.
Lupták, Boris ; Král, Jaroslav (vedoucí práce) ; Bulej, Lubomír (oponent)
Norma SOAP je základným protokolom webových služieb. Webové služby otvárajú nové možnosti pri interakcii aplikácií s využitím sieťových spojení. V súvislosti s webovými službami je často dikutovaná aj servisne orientovaná architektúra. Hlavným cielom tejto práce je ukázať možnosti využita prokolu SOAP v prostredí malých a stredne velkých spoločností. Na docielenie tohto zámeru je v práci popísaná norma SOAP a normy jej príbuzné ako aj mechanizmus pomocou ktorého sa protokol SOAP dá rozširovať o nové vlastnosti. Nekolko štandarných rozšírení je v práci popísaných. Ďalej práca poukazuje na výhody a nevýhody použita normy SOAP a popisuje príbuzné alternatívne prístupy k prepájaniu aplikácií. Práca ukazuje na konkrétnych prípadoch sposob použitia technológie webových služieb a normy SOAP. Súčasťou práce je aj popísanie klučových vlasntostí servisne orientovanej architektúry a ich spojenie s webovými službami. Dovody, ktoré vedú k potrebe zarovnania webovýchch služiteb s obchodnými procesmi a hrubozrnné rozhrania sú tiež v práci diskutované. Powered by TCPDF (www.tcpdf.org)
|
|
|
Co se změnilo na sítích za posledních 10 let
Slivka, Lukáš ; Pyrih, Pavel (vedoucí práce) ; Bulej, Lubomír (oponent)
Bakalárská práca je zamerená na vývoj počítačových sieti za posledných 10 rokov. Súčasťou je aj krátký vývoj jednotlivých technológií. Rozoberá problémy vznikajúce v dosledku narástajúceho záujmu o Internet a komunikačné služby. Ide predovšetkým o nedostatok IP adries a zmeny vyvolané dopytom zákazníkov po nových službách. Konkrétne možeme spomenúť záujem o multimoediálne dáta, vyššie prenosové rýchlosti, pohodlie mobility a globálne pokrytie siete. Spomenuté sú aj niketoré konkrétne projekty a faktory ovplyvňujúce vývoj komunikácie. Veľká čásť je venovaná prenosovým médiám. Zhodnotené sú ich výhody, nasadenie a perspektíva. Powered by TCPDF (www.tcpdf.org)
|
|
|
Communication in mobile edge-cloud environment
Papík, Ondřej ; Hnětynka, Petr (vedoucí práce) ; Bulej, Lubomír (oponent)
Edge-cloud přináší výpočetní sílu co nejblíže ke klientům. To zmenšuje latency a celkový výpočetní čas v cloudu. Vzhledem k tomu, že klienti jsou mobilní, tak musíme přesouvat úkoly mezi různými servery. Cílem této práce je prozkoumat možné problémy v komunikaci a navrhnout architekturu frameworku. Náš frame- work používá gRPC a je napsán jako modul. Je platformě nezávislý, používá spolehlivou komunikaci a zaměřuje se na jednoduchost použití. Je vytvořena implementace tohoto frameworku spolu s několika příklady použití. 1
|
|
|
Webový editor a simulátor hradlových sítí
Horák, Jan ; Kruliš, Martin (vedoucí práce) ; Bulej, Lubomír (oponent)
Jedním z témat vyučovaných v rámci informatiky jsou principy hradlové logiky. Pomůckou k lepšímu pochopení této látky může být aplikace, která stu- dentům umožní sestavovat a zkoumat hradlové sítě. Měla by být jednoduše použitelná a její instalace by měla být snadná nezávisle na vybavení počítače. Podařilo se nám vytvořit prototyp webové aplikace, která tyto požadavky splňuje a umožňuje sestavování logických obvodů ze všech základních typů hradel, a která názorně zobrazuje hodnotu na každém vodiči. Implementovali jsme i další funkce, které zpříjemní použití aplikace - neomezenou editační plochu, úvodní tutoriál, možnost importu a exportu sítí do souboru či knihovnu log- ických obvodů, které lze importovat v podobě sítě či samostatné komponenty. Aplikace je díky objektovému přístupu a rozdělení jednotlivých částí do modulů snadno rozšiřitelná a její zdrojový kód je uvolněn pod open-source licencí. 1
|
|
|
Network Interface Controller Offloading in Linux
Hlavatý, Ondřej ; Tůma, Petr (vedoucí práce) ; Bulej, Lubomír (oponent)
Moderní síťové kontrolery umožňují přesunout dílčí práci spojenou se zpracováním paketů do hard- ware za účelem zvýšení výkonu. V současnosti se v Linuxovém jádře některé pokročilé schopnosti kontrolerů využívají pro akceleraci subsystému Traffic Control. Jelikož tento subsystém byl vytvořen za zcela jiným účelem, jeho využití pro akcelerované zpracování paketů je nepraktické a nespolehlivé. Navíc v současném stavu není řešení zdaleka schopné využít všechny schopnosti kontrolerů. Informace o skutečných schopnostech kontrolerů nejsou dobře dostupné. Tato práce přistupuje k problému z jiné strany. Prozkoumali jsme pět vysoce výkonných síťových kontrolerů a podrobně zmapovali jejich schopnosti klasifikace a zpracování paketů. Spolu s předpokla- dem pro budoucí vývoj jsme identifikovali a zobecnili společné rysy. Z těchto informací jsme navrhli nový subsystém Linuxového jádra, který lépe slouží účelu hardwarové akcelerace. Model navrhovaného subsystému je dostatečně flexibilní, aby pokryl pokročilé schopnosti kontrolerů, ale zároveň dostatečně striktní, aby umožnil hardwarovou akceleraci a neopakoval problémy, kterými trpí akcelerace obecného subsystému Traffic Control.
|
host ::
RSS.