|
|
Static Analysis Using Facebook Infer Focused on Performance Analysis
Pavela, Ondřej ; Lengál, Ondřej (referee) ; Rogalewicz, Adam (advisor)
Static analysis has nowadays become one of the most popular ways of catching bugs early in the modern software. However, reasonably precise static analysis tools still often struggle to scale well on large and quickly changing codebases. Efficient static analysers, such as Coverity or Code Sonar, are usually proprietary and difficult to openly evaluate or extend. On the contrary, Facebook Infer offers an open source static analysis framework with the emphasis on compositional, incremental and consequently highly scalable inter-procedural analysis. This thesis presents Looper --- a new performance oriented resource bounds analyser which extends the capabilities of Facebook Infer. We have based our implementation on an existing resource bounds analyser Loopus and evaluated it on two different test suites, showing encouraging results in comparison with the existing Cost analyser developed by the Infer team.
|
|
|
Performance Testing and Analysis of Qpid Dispatch Router
Stejskal, Jakub ; Rogalewicz, Adam (referee) ; Fiedor, Tomáš (advisor)
Výkonností testování aplikací nabírá v poslední době na důležitosti během vývoje všeho druhu. Tato práce mapuje základy testování výkonu, které jsou aplikovatelné na libovolné aplikace a následně analýzuje testování výkonu komponent používaných v Messaging systémech a to konkrétně Apache ActiveMQ Artemis a Qpid-Dispatch. Využívané metody testování výkonu je zaměřeno zejména na Apache ActiveMQ Artemis pomocí systému Messaging Performance Tool s názvem Maestro. Práce navrhuje vylepšení této aplikace o rozšíření testování systému Qpid-Dispatch a její možnosti při automatizovaném testování. Řešení je demonstrováno na sérii experimentů s různými topologiemi. Výsledná zpráva závěrem vyhodnocuje navržené rozšíření systému Maestro, zhodnocuje výkon komponenty Qpid-Dispatch a rozvíjí myšlenky pro další rozšíření.
|
|
|
Library for Profiling of Data Structures of C/C++ Programs
Pavela, Jiří ; Rogalewicz, Adam (referee) ; Fiedor, Tomáš (advisor)
Performance bugs may greatly affect the quality of the system being developed and even cause irreversible damage in some critical sectors. Hence profiling - one of the currently most widespread technique of performance analysis - is usually applied to find the bugs. However, most of the current solutions commonly lack comprehensible graphical outputs and detailed analysis of algorithms in regard to their complexity. This thesis introduces a novel profiling tool which focuses on automatic estimation of complexity of dynamic data structures. The proposed approach collects statistical data out of program runs and uses regression analysis to find the most accurate model serving as an estimate of algorithmic complexity. The resulting prototype was subjected to a series of experiments that evaluate the accuracy of the results, demonstrate practical uses and illustrate the graphical output of the tool.
|
|
|
Athletic training. Personal performance development and training.
Broda, Michal ; Vindušková, Jitka (advisor) ; Krátký, Petr (referee)
Athletic training. Personal performance development and training. Objectives: The aim of this study was to analyze performance development and training of Michal Broda during his existing athletic career with focus on training after year 2004. We investigated the use of heart rate monitoring for training optimization. We also discussed training adequacy in terms of annual training cycle. Methods: In our work we used empirical methods of pedagogical research. We obtained different qualitative and quantitative indicators from training documentation and analysed them using mathematical and statistical methods. Heart rate data were proccessed with Polar Precision Performance™ software. This software automatically calculates total loads in each metabolic zone, number of training entries and total training time, elapsed distance, burned calories, total power, speed, maximum and minimum heart rate. Results: We came to a conclusion that Michal Broda's training has been continually improving. We observed a training load increase in both general and specific indicators. We didn't confirm a positive relationship between total distance runned for special endurance and 800-m running performance. Heart rate monitoring helped to find optimal training loads and thus improve running performance. Keywords: 800 meter...
|
|
|
Performance Analysis of IBM POWER8 Processors
Jelen, Jakub ; Kešner, Filip (referee) ; Jaroš, Jiří (advisor)
This paper describes the IBM Power8 system in comparison to the Intel Xeon processors, widely used in today’s solutions. The performance is not evaluated only on the whole system level but also on the level of threads, cores and a memory. Different metrics are demonstrated on typical optimized algorithms. The benchmarked Power8 processor provides extremely fast memory providing sustainable bandwidth up to 145 GB/s between main memory and processor, which Intel is unable to compete. Computation power is comparable (Matrix multiplication) or worse (N-body simulation, division, more complex algorithms) in comparison with current Intel Haswell-EP. The IBM Power8 is able to compete Intel processors these days and it will be interesting to observe the future generation of Power9 and its performance in comparison to current and future Intel processors.
|
|
|
Unix Tools for Application and System Profiling
Dressler, David ; Chalupníček, Kamil (referee) ; Kašpárek, Tomáš (advisor)
The main goal of this thesis was to demonstrate usage of tools for application and system profiling. Initially, these tools was found and studied. They was also divided into categories according to their purpose. After that, these tools was compared according to their complexity of use and invasiveness. As the result of this comparison, these tools was divided into three groups, that express measure of complexity and invasiveness. As technology, used for creating models, was chosen Apache server and NFS server. Virtualization by hyper-v technology was used for putting these models into operation. There was created four virtual machines. Fist one for Apache server, another one for NFS server. Third was for mirroring content of Apache server and the last one for load generation. The last part of this thesis was to demonstrate usage of found tools on the created models.
|
|
| |
|
|
Performance Analysis in IP-Based Industrial Communication Networks
Beran, Jan ; Švéda, Miroslav (referee) ; Hanzálek, Zdeněk (referee) ; Zezulka, František (advisor)
S rostoucím počtem řídicích systémů a jejich distribuovanosti získávájí komunikační sítě na důležitosti a objevují se nové výzkumné trendy. Hlavní problematikou v této oblasti, narozdíl od dřívějších řídicích systémů využívajících dedikovaných komunikačních obvodů, je časově proměnné zpoždění měřicích a řídicích signálů způsobené paketově orientovanými komunikačními prostředky, jako např. Ethernet. Aspekty komunikace v reálném čase byly v těchto sítích již úspěšně vyřešeny. Nicméně, analýzy trendů trhu předpovídají budoucí využití také IP sítí v průmyslové komunikaci pro časově kritickou procesní vyměnu dat. IP komunikace má ovšem pouze omezenou podporu v instrumentaci pro průmyslovou automatizace. Tato výzva byla nedávno technicky vyřešena v rámci projektu Virtual Automation Networks (virtuální automatizační sítě - VAN) zapojením mechanismů kvality služeb (QoS), které jsou schopny zajistit měkkou úroveň komunikace v reálném čase. Předložená dizertační práce se zaměřuje na aspekty výkonnosti reálného času z analytického hlediska a nabízí prostředek pro hodnocení využitelnosti IP komunikace pro budoucí průmyslové aplikace. Hlavním cílem této dizertační práce je vytvoření vhodného modelovacího rámce založeného na network calculus, který pomůže provést worst-case výkonnostní analýzu časového chování IP komunikačních sítí a jejich prvků určených pro budoucí použití v průmyslové automatizaci. V práci byla použita empirická analýza pro určení dominantních faktorů ovlivňujících časového chování síťových zařízení a identifikaci parametrů modelů těchto zařízení. Empirická analýza využívá nástroj TestQoS vyvinutý pro tyto účely. Byla navržena drobná rozšíření rámce network calculus, která byla nutná pro modelování časového chování používaných zařízení. Bylo vytvořeno několik typových modelů zařízení jako výsledek klasifikace různých architektur síťových zařízení a empiricky zjištěných dominantních faktorů. U modelovaných zařízení byla využita nová metoda identifikace parametrů. Práce je zakončena validací časových modelů dvou síťových zařízení (přepínače a směrovače) oproti empirickým pozorováním.
|
|
|
Performance Analysis of a Group of Companies
Blaženec, Jakub ; Rajchlová,, Jaroslava (referee) ; Fedorová, Anna (advisor)
Master´s thesis deal with performance analysis of a group of companies. It is divided into several parts. The first part is focused on theoretical bases describing a group of companies, the consolidated financial statement and financial analysis for the consolidated financial statement. The second part deal with practical application of financial analysis group of companies. The thesis also contains analysis of problems and proposals for improving the economic situation of a group of companies.
|
|
| |
guest ::
