|
|
Privacy Preserving Smart-Contract Platforms and E-Voting
Žiška, Marek ; Homoliak, Ivan (oponent) ; Perešíni, Martin (vedoucí práce)
This work examines privacy-preserving platforms Secret, Phala, and Oasis Network, which provide frameworks for development of smart contracts with confidential storage and computation capabilities. We compare these platforms based on their features such as performance, usability, and additional factors within the context of an electronic voting use case. Firstly, we establish the theoretical foundations by introducing Voting Systems, then Blockchains, Smart Contracts, Trusted Computing, and Privacy-Preserving Platforms. We analyze the development capabilities, storage options, and other features of the selected platforms and propose the design of smart contracts for the e-voting application. Following this, we implement given smart contracts, detailing our experience, the tools used, testing procedures, contruct structure, and statistics collection methods. Proposed collected statistics allow us to estimate the vote-casting throughput of our implementations. Using this metric, along with other aspects, such as the development experience, storage options, community activity, documentation quality, we evaluate and compare these platforms. At the end we conclude the achieved results, key insights, reflections, and potentional areas for future improvements.
|
|
|
Efficient Instrumentation of Programs using LLVM Framework
Hucovič, Vladimír ; Vojnar, Tomáš (oponent) ; Pavela, Jiří (vedoucí práce)
The goal of this thesis is to develop a new, efficient profiler to extend the Perun tool suite, which focuses on systematic and long-term performance monitoring of software projects. The new profiler is based on a technique of compile-time instrumentation using the Pass Framework API within the LLVM compiler infrastructure project. The implemented profiler focuses on collecting the number of executions of each basic block in the program. Several optimization techniques, including inlining instrumentation code and function control flow graph analysis were used to reduce the runtime overhead of the profiler. The performance of the profiler was evaluated on two real-world projects and experiments have shown that it achieved lower profiling overhead than some established open-source tools.
|
|
|
Hodnocení finanční výkonnosti společnosti prostřednictvím benchmarkingu
Drugdová, Eliška ; Luňáček, Jiří (oponent) ; Bartoš, Vojtěch (vedoucí práce)
Diplomová práce se zabývá hodnocením finanční a obchodní výkonnosti společnosti DTS Vrbenský, a.s. v letech 2015 až 2019 pomocí vybraných metod rozboru výkonnosti podniku. Práce se zaměřuje především na mezipodnikové porovnání výkonnosti. Kromě výstupů z benchmarkingu společnosti obsahuje práce také zpracované strategické analýzy. Na základě provedených analýz jsou zjištěny slabé stránky společnosti a navržena řešení ke zlepšení současné situace.
|
|
|
Analýza výkonnosti procesorů IBM POWER8
Jelen, Jakub ; Kešner, Filip (oponent) ; Jaroš, Jiří (vedoucí práce)
Práce se zabývá systémem IBM Power8 v porovnání s dnes běžně používanými řešeními s procesory Intel Xeon. Výkonnost je vyhodnocována nejen na úrovni celého systému, ale také na úrovni jednotlivých vláken a jader a paměti. Různé metriky jsou demonstrovány na typických optimalizovaných algoritmech. Testovaný stroj Power8 disponuje extrémně rychlou pamětí poskytující rychlost až 145 GB/s mezi pamětí a procesorem, které se dnešní procesory Intel nevyrovnají. Výpočetní síla je pouze srovnatelná (Násobení matic) nebo slabší (N-body simulace, dělení, složitější algoritmy) v porovnání s aktuálním Intel Haswell-EP. Procesor IBM Power8 je dnes schopný konkurovat procesorům Intel a bude zajímavé sledovat následující generaci Power9 a jeho výkonnost v porovnání s aktuálními a budoucími procesory Intel.
|
|
| |
|
|
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.
|
|
|
Performance Analysis in IP-Based Industrial Communication Networks
Beran, Jan ; Švéda, Miroslav (oponent) ; Hanzálek, Zdeněk (oponent) ; Zezulka, František (vedoucí práce)
With the growing scale of control systems and their distributed nature, communication networks have been gaining importance and new research challenges have been appearing. The major problem, contrary to previously used control systems with dedicated communication circuits, is time-varying delay of control and measurement signals introduced by packet-switched networks, such as Ethernet. The real-time issues in these networks have been tackled by proper adaptations. Nevertheless, market trend analyses foresee also future adoptions of IP-based communication networks in industrial automation for time-critical run-time data exchange. IP-based communication has only a limited support from the existing instrumentation in industrial automation. This challenge has recently been technically tackled within the Virtual Automation Networks (VAN) project by adopting the quality of service (QoS) architecture delivering soft-real-time communication behaviour. This dissertation focuses on the real-time performance aspects from the analytical point of view and provides means for applicability assessment of IP-based communication for future industrial applications. The main objective of this dissertation is establishment of a relevant modelling framework based on network calculus which will assist worst-case performance analysis of temporal behaviour of IP-based communication networks and networking devices intended for future use in industrial automation. Empirical analysis was used to identify dominant factors influencing the temporal performance of networking devices and for model parameter identification. The empirical analysis makes use of the TestQoS tool developed for this purpose. Minor extensions to the network calculus framework were proposed enabling to model the required temporal behaviour of networking devices. Several exemplary models were inferred as a result of classification of different networking device architectures and empirically identified dominant factors. A novel method for parameter identification was used with the modelled devices. Finally, two temporal models of networking devices (a switch and a router) were validated against empirical observations.
|
|
|
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.
|
|
|
Nástroje pro profilování aplikací v Unixu
Dressler, David ; Chalupníček, Kamil (oponent) ; Kašpárek, Tomáš (vedoucí práce)
Cílem této práce bylo demonstrování využití nástrojů pro profilování aplikací a systémů. Nejprve byly tyto nástroje nalezeny a nastudovány. Také byly rozděleny do kategorií podle jejich účelu. Dále byly tyto nástroje porovnány z hlediska složitosti použití a invazivnosti. Výsledkem bylo rozdělení do tří skupin podle míry složitosti použití nebo invazivnosti. Jako technologie, využité při vytváření modelů, byly zvoleny Apache server a NFS server. Pro vytvoření modelů těchto serverů bylo využito virtualizace systémů pomocí technologie hyper-v. Vytvořeny byly čtyři virtuální stroje. Jeden pro Apache server, další pro NFS server, třetí pro zrcadlení obsahu Apache serveru a poslední pro generování zátěže. Poslední částí této práce je demonstrace využití nalezených nástrojů na vytvořených modelových situacích.
|
|
|
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.
|
host ::
RSS.