|
|
Performance Analysis of Programs Based on PIN Framework
Močáry, Peter ; Fiedor, Jan (oponent) ; Pavela, Jiří (vedoucí práce)
The goal of this thesis is to extend the Performance Version System - Perun by implementing a new Tracer engine leveraging PIN instrumentation framework. This extension implements basic Tracer functionality and, in addition to that, a recording of function arguments' values as well as basic block run-times. The additional data, along with the visualizations introduced in this thesis, provide the necessary context that simplifies the detection of performance degradation. Besides the PIN framework, the new Tracer engine implements an analysis of debug information in DWARF format (using the python pyelftools library) to gather details about function arguments before the data collection process. The resulting engine was tested on multiple implementations of sorting algorithms and successfully detected the most time consuming functions along with the information about the effect of its parameter value on the functions complexity. Testing the PIN engine on a larger-scale project revealed that, in comparison to other Tracer engine implementations, the engine performs better or comparably, and produces the correct output.
|
|
|
Knihovna pro profilování datových struktur programů C/C++
Pavela, Jiří ; Rogalewicz, Adam (oponent) ; Fiedor, Tomáš (vedoucí práce)
Výkonnostní chyby mohou do velké míry negativně ovlivnit kvalitu vyvíjeného systému a v některých kritických odvětvích způsobit nevratné škody. K nalezení těchto chyb je obvykle využita profilace v současnosti jedna z nejvíce rozšířených technik výkonnostní analýzy. Přestože existují rozšířené profilovací nástroje, tak většina z nich postrádá srozumitelný grafický výstup a schopnost detailnějšího studia složitostí algoritmů. Tato práce představuje nový profilovací nástroj zaměřený právě na automatizovaný odhad složitostí algoritmů a operací nad dynamickými datovými strukturami. Principem navrženého řešení je sběr statistických dat z běhu programu a následné provedení regresní analýzy s cílem nalézt model, který nejvhodněji reprezentuje složitost algoritmu. Výsledný prototyp byl podroben sérii experimentů, které vyhodnocují přesnost produkovaných výsledků, demonstrují praktická využití nástroje a názorně představují jeho grafický výstup.
|
|
|
Agile Model Editor
Korec, Tomáš ; Pavela, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
The thesis aims to minimize time spent on modeling software architecture and provide a practical tool to create, order, and visualize system models. The current modeling ap- proaches consume too much time, often creating and editing the model costs more time than implementing such a system. The work focuses primarily on representing complex models efficiently, finding the best modeling language to do this task, and developing an agile editor.
|
|
|
Asynchronous Task Processing in PCS Project
Pospíšil, Michal ; Pavela, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
The PCS project is a distributed application; therefore, many actions need a way to launch actions in remote application instances. The goal of this thesis is to implement a minimum viable solution for executing actions through a REST API that uses the asynchronous programming model. However, actions themselves are not implemented asynchronously and cannot be invoked directly from asynchronous code. The REST API is connected to an asynchronous scheduler that circumvents this limitation by launching actions in a process pool. The scheduler hides actions behind an abstraction layer of tasks that store information about their status and results. All the actions need to send real-time updates to the clients. This is made possible via a one-way communication channel from the actions to the scheduler that updates the tasks. The REST API provides methods for creating, getting results, and killing tasks. Clients can periodically check the task status and show these updates to the user. Clients can also choose to kill tasks that take too long to finish.
|
|
|
Efficient Techniques for Program Performance Analysis
Pavela, Jiří ; Fiedor, Jan (oponent) ; Rogalewicz, Adam (vedoucí práce)
In this work, we propose optimization techniques focused on the data collection process of program performance analysis and profiling within the Perun framework. We enhance Perun (and especially its Tracer module) by extending their architecture and implementing novel optimization techniques that allow Perun to scale well even for large projects and test scenarios. In particular, we focus on improving the data collection precision, scaling down the amount of injected instrumentation, limiting the time overhead of the collection and profiling processes, reducing the volume of raw performance data and the size of the resulting profile. To achieve such optimization, we utilized statistical methods, several static and dynamic analysis approaches (as well as their combination) and exploited the advanced features and capabilities of SystemTap and eBPF frameworks. Based on the evaluation performed on two selected projects and numerous experiment cases, we were able to conclude that we successfully achieved significant levels of optimization for nearly all of the identified metrics and criteria.
|
|
|
Single D-Bus Server for SSSD
Úradník, Dušan ; Rogalewicz, Adam (oponent) ; Pavela, Jiří (vedoucí práce)
This thesis aims to reimplement the current topology of SSSD's inter-process communication. This communication is managed through separate D-Bus message buses to which components connect and send messages. The star topology with a single D-Bus requires to create a central message bus for components to use without affecting the current performance of SSSD. To ensure that, a thorough performance analysis had to be done by measuring response times and monitoring SSSD's behavior under constant stream of requests. Therefore, the tools SystemTap and hyperfine were employed to assemble a performance test suite.
|
|
|
Agile Model Editor
Zavadil, Michal ; Pavela, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
The goal of this thesis is to simplify the creation and modification of complex system models and to create a reliable and performant tool to serve this purpose. Primarily, an internal data model is defined with an emphasis on effectiveness and avoiding redundancy. The editor, created to support modeling in OPM (Object-Process Methodology), is implemented with the help of web technologies and, most importantly, the web diagramming library Cytoscape.js. The editor can automatically propagate relationships to other diagrams as well as derive new relationships from existing ones. Both of which save time and make the modeling process easier.
|
|
|
Analýza výkonu programů v jazyce C#
Hájek, Vojtěch ; Rogalewicz, Adam (oponent) ; Pavela, Jiří (vedoucí práce)
Cílem této práce je rozšířit výkonnostní verzovací systém – Perun implementací modulu pro profilování programů napsaných v jazyce C#. Toto rozšíření implementuje profiler s technikou sledování událostí, které jsou získávány pomocí .NET runtime profilovacího aplikačního rozhraní. Profiler dokáže sbírat metriky o sledování funkcí a spotřebě paměti. Naměřené profily potom dokáže dále interpretovat do grafů jako je korelační diagram nebo mapa stromu volání.
|
|
|
Modulární webhosting pro výukové účely
Kašpárek, Ladislav ; Smrčka, Aleš (oponent) ; Pavela, Jiří (vedoucí práce)
Bakalářká práce je zaměřena na návrh webhostingu, jehož cílem je podpořit výuku IT na středních školách. Výsledný webhosting je postaven na kontejnerové platformě Docker, která je ovládána vlastní implementací řídící platformy. Cílem vlastní implementace je dosažení maximální kontroly nad způsobem nasazení služeb, které mají žáci využívat při výuce. Vytvořený webhosting umožňuje izolovaný běh žákovských služeb, jehož výhodou jsou stejná běhová prostředí při zachování oddělenosti jednotlivých služeb. Součástí bakalářské práce je nasazení webhostingu a následná žákovská evaluace zakládající se na zkušenostech využívání služeb platformy.
|
|
|
Orchestrace modulů multitenantních systémů
Freyburg, Petr ; Pavela, Jiří (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá tvorbou multitenantních systémů a jejich orchestrací. Proces tvorby je založen na transformaci existujícího monolitického, avšak modulárního systému s cílem vyčlenění vybraného modulu. Vzniklé řešení zahrnuje infrastrukturu, která umožňuje zabezpečený přenos mezi informačním systémem a vyčleněným modulem. Tato infrastruktura izoluje jednotlivé tenanty do sebe. Jednotlivé moduly jsou kontejnerizovány v technologii Docker a jsou orchestrovány pomocí nástroje Kubernetes. Navržené řešení podporuje několik rozhraní mezi modulem a systémem. Podporovaná rozhraní zahrnují například standardní klient-server architekturu nebo standardní vstupně-výstupní umožňující jednorázové spouštění konzolových aplikací.
|
host ::
RSS.