|
|
Statická analýza v nástroji Facebook Infer zaměřená na analýzu výkonnosti
Pavela, Ondřej ; Lengál, Ondřej (oponent) ; Rogalewicz, Adam (vedoucí práce)
Statická analýza se v současnosti dostává do popředí v oblasti technik pro odhalování chyb v moderním software. Nedostatečná škálovatelnost, především v kombinaci se zachováním potřebné přesnosti, je však přetrvávající problém u většiny současných nástrojů pro statickou analýzu, což je činí nepoužitelnými v případě rozsáhlého a často se měnícího kódu. Efektivní statické analyzátory, jako například Coverity nebo Code Sonar, jsou navíc často proprietární a není tedy možné je jednoduše rozšířit nebo srovnávat jejich výsledky. Oproti tomu Facebook Infer nabízí open source rámec s důrazem na kompoziční, inkrementální, a v důsledku i škálovatelnou inter-procedurální statickou analýzu. Tato práce představuje Looper --- nový analyzátor zaměřující se na analýzu výkonnosti, přesněji na analýzu mezí, rozšiřující rámec nástroje Facebook Infer. Implementace našeho analyzátoru je založena na existujícím nástroji Loopus, který se zaměřuje na přesnou analýzu mezí. Výsledný prototyp jsme otestovali na dvou různých testovacích sadách a povzbudivé výsledky srovnali s existujícím analyzátorem Cost, který je vyvíjen Infer týmem.
|
|
|
Performance Testing and Analysis of Qpid Dispatch Router
Stejskal, Jakub ; Rogalewicz, Adam (oponent) ; Fiedor, Tomáš (vedoucí práce)
Application performance testing has recently become more important during the application development of all kinds. This paper maps the fundamentals of performance testing that are commonly used and it analyzes performance testing of components used in Messaging systems, especially Apache ActiveMQ Artemis and Qpid-Dispatch. However, currently used methods for performance testing of these components are primarily focused only on Apache ActiveMQ Artemis by system Messaging Performance Tool called Maestro. This paper proposes improvements of Messaging Performance Tool to allow proper performance testing of Qpid-Dispatch and its capabilities in automatic testing. The solution is demonstrated on series of experiments with different topologies. The final report evaluates the proposed application, the performance of Qpid-Dispatch component and develops ideas for future works.
|
|
|
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.
|
|
|
Atletický trénink. Vlastní výkonnostní vývoj a trénink.
Broda, Michal ; Vindušková, Jitka (vedoucí práce) ; Krátký, Petr (oponent)
Atletický trénink. Vlastní výkonnostní vývoj a trénink. Cíle: Hlavním cílem této práce byla analýza výkonnostního vývoje a tréninku Michala Brody v průběhu jeho dosavadní atletické kariéry s důrazem na vývoj tréninku od roku 2004. Zkoumali jsme problematiku měření tepové frekvence jako způsobu bezprostředního řízení tréninku. Dále jsme se zabývali adekvátností tréninku z hlediska ročního tréninkového cyklu. Metody: V naší práci jsme použili empirické metody pedagogického výzkumu. Matematickými a statistickými metodami jsme zpracovali různé kvalitativní a kvantitativní ukazatele, které jsem získali z tréninkové dokumentace. Hodnoty TF byly zpracovávány v programu Polar Precision Performance™. Tento program automaticky počítá celkové zatížení v jednotlivých metabolických zónách, počet tréninkových hodin, naběhaných kilometrů, spálených kalorií, tréninkových záznamů, celkový výkon a tempo, průměrnou a maximální hodnotu tepové frekvence. Výsledky: Došli jsme k závěru, že trénink Michala Brody se stále vyvíjí. Z obecných i speciálních tréninkových ukazatelů je patrný nárůst objemu zatížení. Oproti očekávání se nepotvrdil kladný vztah mezi naběhanými kilometry ve speciálním tempu a výkonem v závodu na 800 metrů. Řízení tréninku podle TF přispělo k lepší kontrole tréninkové zátěže a tím ke zlepšení...
|
|
|
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.
|
|
|
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.
|
|
| |
|
|
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.
|
|
|
Analýza výkonnosti skupiny podniků
Blaženec, Jakub ; Rajchlová,, Jaroslava (oponent) ; Fedorová, Anna (vedoucí práce)
Diplomová práce se zabývá analýzou výkonnosti skupiny podniků. Je rozdělena do několika částí. První část je zaměřena na teoretická východiska popisující skupinu podniků, konsolidovanou účetní závěrku a finanční analýzu konsolidovaných účetních výkazů. Druhá část se zabývá praktickou aplikací finanční analýzy skupiny podniků. Práce obsahuje rovněž rozbor problémů a návrhy na zlepšení ekonomické situace skupiny podniků.
|
|
| |
host ::
RSS.