|
|
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (referee) ; Farchi, Eitan (referee) ; Vojnar, Tomáš (advisor)
V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje pro analýzu svých programů. Důvod je jednoduchý, fungující neznamená vždy praktický. Hodně nástrojů implementujících detekční techniky je obtížně použitelných, přizpůsobených pro konkrétní typy programů nebo synchronizace, nebo špatně škálují, aby zvládly analyzovat rozsáhlý software. Pro některé typy chyb v souběžnosti dokonce ani neexistují nástroje pro jejich detekci, i přesto že vývojáři softwaru na tyto chyby často narážejí ve svých programech. Hlavním cílem této práce je navrhnout nové techniky pro detekci chyb ve vícevláknových programech. Tyto techniky by měly být schopny analyzovat rozsáhlé programy, umožnit detekci méně studovaných typů chyb v souběžnosti, a podporovat širokou škálu programů s ohledem na to, jaké programové konstrukce používají.
|
|
|
Merging Tasks with Non-Interfering Requests for the System Baker
Kovařík, Michal ; Fiedor, Jan (referee) ; Holík, Lukáš (advisor)
The goal of this thesis is to design a format for entering parameters and requirements of individual tasks intended for the Beaker system and to design a program that merges tasks defined upon input based on elimination of possible collision requirements into collection of tasks that can be run together. The output format should be acceptable by the Beaker system. The thesis describes installation of the operating system on which collision requirements are defined. The thesis describes how to specify and run tasks in the Beaker system. The results of the program testing are shown in the thesis' conclusion.
|
|
|
Statická analýza v nástroji Meta Infer zaměřená na detekci souběhu nad daty
Svobodová, Lucie ; Fiedor, Jan (referee) ; Vojnar, Tomáš (advisor)
Vícevláknové programy jsou v moderních softwarových systémech využívány ke zlepšení výkonu a zvýšení efektivity. Zajištění spolehlivosti a bezpečnosti takových programů však může být náročné kvůli zvýšenému množství chyb, které se v nich vyskytují, včetně souběhu nad daty. V této práci představujeme nový statický detektor souběhu nad daty, DarC, navržený k analýze programů napsaných v jazyce C využívajících knihovnu Pthreads. Navrhovaný nástroj byl implementován jako zásuvný modul prostředí Meta Infer, což je nástroj pro statickou analýzu programů, který klade důraz na kompoziční, inkrementální a díky tomu i vysoce škálující analýzu programů. Nový analyzátor zaznamenává množinu přístupů ke sdíleným proměnným, ke kterým v analyzovaném programu došlo, spolu s informací o množině zámků uzamknutých při jednotlivých přístupech. Množina přístupů je dále použita k identifikaci dvojic přístupů, mezi nimiž by k souběhu nad daty mohlo dojít. Nástroj byl úspěšně ověřen na sadě testovacích vícevláknových programů, stejně tak jako na několika programech běžně využívaných v praxi, čímž byl ukázán jeho potenciál pro efektivní detekci souběhu nad daty v programech napsaných v programovacím jazyce C.
|
|
|
LSP Client for Apache Camel Language Server
Pospíšil, Filip ; Fiedor, Jan (referee) ; Vašíček, Ondřej (advisor)
The goal of this Bachelors thesis is the design and implementation of a plug-in that will provide language support for Apache Camel in the integrated development environment Apache NetBeans. The aim of the thesis is to enable integration of the language client for the integrated development environment Apache NetBeans. The client utilizes an existing language server for Apache Camel created by Red Hat. The thesis provides a basic introduction to the Microsoft Language Protocol, the Apache Camel framework, and the integrated development environment Apache Netbeans. Next, the design, implementation, and testing of the created language client are described. The result of this thesis is a plug-in module that provides comprehensive language support for the Apache Camel framework in the Apache Netbeans development environment. In the future the plug-in will be published in the Apache NetBeans Plugin Portal repository.
|
|
|
Unified Access to Requirements in JIRA
Pindur, Daniel ; Vašíček, Ondřej (referee) ; Fiedor, Jan (advisor)
Cílem této práce je vytvořit rozhraní pro přístup k požadavků uloženým v Jira Software s modulem Requirements for Jira (R4J) s využitím OSLC adaptéru pro specifikaci Správa požadavků. Adaptér byl rozdělen na dvě části, z důvodu vyhodnocení zda je možné splňovat požadavky i bez modulu R4J - jeden pro Jira Software (splňující všechny požadavky specifikace Správa požadavků) a druhou pro modul R4J (poskytující další funkce). Oba adaptéry byly implementovány s využitím nástrojů Eclipse Lyo a knihovny OSLC4J. Je uveden základní přehled základních technologií OSLC, specifikací OSLC Core a Správa požadavků, Jira a R4J. Práce obsahuje podrobné shrnutí procesu návrhu, implementace a testování adaptérů a vyhodnocení výsledků a použitých technologií.
|
|
|
Analysis of Software Resource Consumption
Míchal, Ondřej ; Fiedor, Jan (referee) ; Pavela, Jiří (advisor)
Spotřeba softwarových zdrojů je široce a aktivně zkoumanou oblastí. Z mnoha zdrojů v softwaru, které lze profilovat, byla spotřeba energie dlouho jediným zdrojem, který neměl mnoho obecných, a přesto komplexních, profilerů. V době mobilních zařízení a výkonných výpočetních jednotek je poptávka po takových profilerech neustále rostoucí. V této práci zkoumáme metody pro přesné měření spotřeby energie softwaru. Na jejich základě vytváříme open-source profiler a implementujeme komplexní vizualizér profilovaných dat. S vytvořeným profilerem pak provádíme řadu experimentů, abychom předvedli jeho schopnosti a demonstrovali užitečnost měření spotřeby energie softwaru.
|
|
|
Modeling and Simulation of Incentive Mechanisms in Ethereum
Burianová, Tereza ; Fiedor, Jan (referee) ; Perešíni, Martin (advisor)
Tématem této bakalářské práce je poplatkový mechanismus v síti Ethereum, zejména změny představeny v EIP-1559. Cílem práce je zkoumat chování mechanismu a navrhnout případná možná vylepšení v případě nalezených nedostatků. Dříve používaný aukční systém vyžadoval libovolné nastavení výše poplatku uživatelem, což vedlo k přeplatkům a vysoké volatilitě výše poplatků. Tyto problémy nastaly převážně kvůli vyššímu vytížení sítě po popularizaci projektů jako například decentralizované finance, NFT kolekce a metaverse. Nový poplatkový mechanismus zavedl proměnlivou velikost bloku, která se dokáže přizpůsobit aktuálnímu vytížení sítě. Base fee, hodnota značící minimální výši poplatku potřebnou pro zahrnutí do bloku, je pak vypočítána na základě zaplněnosti předchozího bloku, což dělá poplatky více předvídatelnými. Bylo navrženo několik simulačních experimentů, které zkoumají typické chování a možné slabiny mechanismu. Nakonec bylo nalezeno možné vylepšení a byl navržen další výzkum. Cíle práce byly splněny a výsledky byly prezentovány.
|
|
|
Performance Analysis of Programs Based on PIN Framework
Močáry, Peter ; Fiedor, Jan (referee) ; Pavela, Jiří (advisor)
Cieľom tejto práce je rozšíriť výkonnostný verzovací system - Perun implementáciou nového Tracer engine využívajúceho inštrumentačný nástroj PIN. Toto rozšírenie implementuje základné funkcie Tracer modulu a zároveň zber argumentov funkcií spolu so zberom dĺžky behu základných blokov programu. Tieto nové údaje spolu s vizualizáciami vytvorenými v tejto práci poskytujú potrebný kontext, ktorý zjednodušuje odhalenie zhoršenia výkonu. Okrem nástroja PIN využíva Tracer engine python knižnicu pyelftools na analýzu ladiacich informácií vo formáte DWARF pre zistenie podrobností o argumentoch funkcií pred procesom zberu údajov. Výsledný engine bol testovaný na viacerých implementáciách triediacich algoritmov a úspešne detekoval časovo najnáročnejšie funkcie spolu s informáciami o zvýšenej zložitosti súvisiacej s jej argumentom. Testovanie na projekte väčšieho rozsahu odhalilo, že v porovnaní s ostatnými implementáciami Tracer engine, tento nový engine pracuje lepšie alebo porovnateľne a produkuje správne výstupy.
|
|
|
Efficient Techniques for Program Performance Analysis
Pavela, Jiří ; Fiedor, Jan (referee) ; Rogalewicz, Adam (advisor)
Tato práce představuje optimalizační techniky zaměřené na proces sběru výkonnostních dat v rámci výkonnostní analýzy a profilování programů v nástroji Perun. Rozšíření architektury a implementace těchto nových optimalizačních technik v nástroji Perun (a převážně pak v jeho modulu Tracer) zlepšuje jeho škálovatelnost a umožňuje tak provádět výkonnostní analýzu i nad rozsáhlými projekty. Zaměřujeme se především na zvýšení přesnosti sběru dat, redukci množství instrumentovaných bodů programu, omezení časové režie procesu sběru dat a výkonnostního profilování, snížení objemu sbíraných dat a velikosti výsledného výkonnostního profilu. Optimalizace je dosažena pomocí aplikace statistických metod, množství technik statické a dynamické analýzy (případně jejich kombinací) a využitím pokročilých možností a schopností nástrojů SystemTap a eBPF. Na základě vyhodnocení provedeného na dvou vybraných projektech a množství experimentů můžeme konstatovat, že se nám úspěšně podařilo dosáhnout značné optimalizace u téměř všech sledovaných metrik a kritérií.
|
|
|
Use H2 Database in JBoss Application Server
Penčikov, Michal ; Fiedor, Jan (referee) ; Letko, Zdeněk (advisor)
The JBoss application server (AS) is an open source implementation of the Java EE standard. Currently, the JBoss AS uses the HSQL database system for testing purposes. This database system has certain limitations. Therefore, there is a need to use another database system for testing of JBoss AS. H2 is a relatively new relational database entirely written in Java. This thesis describes configuring JBoss AS so it is able to use the H2 database instead of HSQL database. The thesis then provides JBoss AS test results obtained by running tests after reconfiguration and identifies issues that need to be solved before deployment of H2 database.
|
guest ::
RSS feed.