|
|
Alias analýza v překladači jazyka C
Bolvanský, Dávid ; Zachariášová, Marcela (oponent) ; Hruška, Tomáš (vedoucí práce)
Táto práca sa venuje problematike alias analýzy a možnostiam jej vylepšenia v LLVM frameworku. Cieľom tejto práce je zlepšiť jej presnosť, čoho bolo dosiahnuté rozšírením implementácie Andersenovho algoritmu o citlivosť na položky štruktúr. Vysvetlené sú pojmy súvisiace s alias analýzou a je popísaný princíp algoritmov alias analýzy. Predstavený je koncept LLVM frameworku, popísané sú aktuálne implementované algoritmy alias analýzy. Porovnanie týchto algoritmov bolo vykonané z pohľadu ich princípu fungovania, vlastností a obmedzení. Implementácia citlivosti na položky štruktúr bola vyskúšaná na sade programov, ktorými sa testujú prekladače. Bol preskúmaný jej vplyv na rýchlosť prekladu programov a ich výkonnosť. Získané výsledky preukazujú zvýšenie presnosti alias analýzy v LLVM frameworku.
|
|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (oponent) ; Malinka, Kamil (vedoucí práce)
In recent years, blockchain has received significant attention in the research community. Since then, several submissions have been proposed to respond to the Proof-of-Work blockchains throughput problem. We study existing Directed Acyclic Graph (DAG) blockchain designs that propose to solve this problem, especially protocols PHANTOM and its optimization GHOSTDAG. They utilize a Bitcoin protocol and propose a random transaction selection, resulting in increased transaction throughput. However, it has been proved by a simulation that actors that use the random transaction selection strategy have less profit than actors who do not follow the protocol and select transactions rationally (i.e., most profitable). That proof has been made on a small network of ten nodes with a circle topology. This article aims to extend, optimize, and automate an existing blockchain simulator. We implement a Bitcoin-like network topology with realistic block propagation latency. Furthermore, we optimize the simulator to run more simulations in parallel and faster, including automation tools that can modify input configurations, perform a combination of runs on multiple CPU cores based on input parameters, and analyze profits and transaction collisions. Finally, we perform experiments to verify malicious actors' advantages in a Bitcoin-like network and create a payoff function to punish this behavior.
|
|
|
Trasovatelnost optimalizovaného generovaného kódu
Gavenda, Daniel ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práca sa zaoberá vytvorením aplikácie v jazyku Python, ktorá zo zadaného modelu a kódu z neho vygenerovaného poskytne užívateľovi analýzu optimalizácií vykonaných pri automatickom generovaní kódu. Táto analýza bude užitočná pre modelových návrhárov vo firme Honeywell International v oddelení AeroSpace. Umožní im tak jednoduchšie lokalizovanie a odstránenie či upravenie častí modelu, ktoré boli optimalizované.
|
|
|
Návrh sanace stokové sítě vybrané části urbanizovaného celku
Horák, Ondřej ; Malaník, Stanislav (oponent) ; Raclavský, Jaroslav (vedoucí práce)
V diplomové práci je řešena problematika návrhu sanace stokové sítě v urbanizovaném celku Kamenná čtvrt. Práce je dělena na několik částí. V první části se nachází průvodní zpráva zabývající se popisem základních charakteristik území jako celku. Druhá část se zabývá popisem jednotlivých úseků, hodnocením dle platné ČSN EN 13 508 – 2 a chystané TNV 75 6905 dle kamerového průzkumu a fotodokumentací z kamerového průzkumu. V třetí části je k nalezení výpis závad na jednotlivých úsecích získaný pomocí kamerového průzkumu. Dále je zde provedeno hodnocení jednotlivých úseků dle připravované TNV 75 6905. Čtvrtá část se zabývá zhodnocením celkového stavu jednotlivých úseků. V páté části je obsažen návrh možných alternativ sanace. Šestá část obsahuje ekonomické hledisko jednotlivých variant sanace a jejich porovnání a poslední, tedy sedmá část se zabývá hydrotechnickým výpočtem pro stávající stav a pro jednotlivé navržené alternativy a jeho vyhodnocením, v případě nutnosti optimalizací.
|
|
|
Modelování silových účinků působících na dopravní a manipulační zařízení s cílem jejich optimalizace
Šťastný, Antonín ; Hrabovský, Leopold (oponent) ; Kuľka,, Jozef (oponent) ; Škopán, Miroslav (vedoucí práce)
Předložená dizertační práce se zabývá využitím moderních výpočtových a optimalizačních metod při optimalizaci nosných uzlů ocelových konstrukcí manipulačních zařízení. Cílem práce je návrh ucelené metodiky umožňující generování optimálních rozměrů již koncepčně navržených nosných uzlů ocelových konstrukcí manipulačních zařízení. Navržená metodika je tvořena souborem dílčích metod, jejichž postupná aplikace vede k optimální rozměrové konfiguraci řešeného uzlu konstrukce vzhledem ke zvolenému kritériu. V práci jsou využívány metody pro plánování experimentů, parametrické konečno-prvkové modely, moderní metody pro hodnocení tvarové stability, matematické aproximační metody a moderní optimalizační schémata založená na gradientní i heuristické bázi. Při řešení nelineární analýzy stability jsou prakticky aplikována doporučení z Eurokódu 3 pro zavádění imperfekcí do konečno-prvkového modelu. Praktická část práce je zaměřena na optimalizaci svařovaných nosníků. Princip metodiky je krok po kroku ilustrován na případové studii návrhu hmotnostně optimalizované nosné traverzy o nosnosti 20 tun. V rámci dizertační práce je navržená metodika realizována v prostředí programu Matlab, ve kterém jsou rovněž realizovány některé dílčí metody včetně aplikace matematických optimalizačních metod. Pro srovnání a vzájemnou verifikaci jsou aplikovány gradientní i heuristické metody. Strukturální výpočty jsou prováděny na parametrických konečnoprvkových modelech vytvořených v parametrickém programovacím jazyce APDL systému Ansys. Metodika řeší možnost ztráty tvarové stability tenkostěnných tlakově zatížených prvků konstrukcí pomocí automatizovaného vyhodnocení dat z nelineární analýzy stability na imperfektovaných konečno-prvkových modelech. Výstupem algoritmu je optimalizovaný návrh rozměrů konstrukce, který minimalizuje účelovou funkci a vyhovuje všem požadavkům zadaných v podobě omezujících podmínek.
|
|
|
An Efficient Way to Allocate and Read Directory Entries in the Ext4 File System
Pazdera, Radek ; Michal, Bohumil (oponent) ; Kašpárek, Tomáš (vedoucí práce)
The aim of this thesis is to improve the performance of sequential directory traversal in the ext4 file system. The HTree data structure that is used to store directories in ext4 at the moment works very well for random accesses, however, it is not optimal when it comes to traversing a directory sequentially. This thesis investigates the issue; it explores the implementation of ext4 and the associated Linux kernel subsystems. To assess the performance of the directory index, a set of test cases and benchmarks was implemented. Based on the analysis, an optimization was designed and implemented to the ext4 driver within the Linux kernel. The implementation was tested, evaluated, and compared to other native Linux file systems in the last chapter of this document.
|
|
|
Překladač jazyka P4.16 využívající vysokoúrovňovou syntézu
Neruda, Jakub ; Kekely, Lukáš (oponent) ; Martínek, Tomáš (vedoucí práce)
Jazyk P4, určený pro programování funkcionality síťových prvků je v současnosti progresivním trendem na poli síťové administrace. Nicméně tento jazyk se stále vyvíjí a jeho poslední revize P416 výrazně změnila nejen možnosti jazyka a jeho syntax, ale i celý kompilátor. Sdružení CESNET podporuje vývoj P4, a proto i jeho se týká přechod na nový standard. Tato práce zkoumá možné problémy spojené s migrací, konkrétně překlad vysokoúrovňových uživatelských akcí do VHDL popisu s využitím vysokoúrovňové syntézy, zapojování speciálních extern objektů a podporu atomických sekcí. Text diskutuje možné způsoby zapojení HDL komponent, jakož i organizaci jejich paměťového prostoru pro runtime konfiguraci ze software. Taktéž je přiblížena architektura kompilátoru, s praktickými ukázkami realizace základních objektů pro překlad P4 do cílové architektury. Závěr práce demonstruje využití nástroje Vivado HLS pro optimalizaci C++ kódů za účelem co největšího výkonu výsledného obvodu.
|
|
|
Trasovatelnost optimalizovaného generovaného kódu
Gavenda, Daniel ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práca sa zaoberá vytvorením aplikácie v jazyku Python, ktorá zo zadaného modelu a kódu z neho vygenerovaného poskytne užívateľovi analýzu optimalizácií vykonaných pri automatickom generovaní kódu. Táto analýza bude užitočná pre modelových návrhárov vo firme Honeywell International v oddelení AeroSpace. Umožní im tak jednoduchšie lokalizovanie a odstránenie či upravenie častí modelu, ktoré boli optimalizované.
|
|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (oponent) ; Malinka, Kamil (vedoucí práce)
In recent years, blockchain has received significant attention in the research community. Since then, several submissions have been proposed to respond to the Proof-of-Work blockchains throughput problem. We study existing Directed Acyclic Graph (DAG) blockchain designs that propose to solve this problem, especially protocols PHANTOM and its optimization GHOSTDAG. They utilize a Bitcoin protocol and propose a random transaction selection, resulting in increased transaction throughput. However, it has been proved by a simulation that actors that use the random transaction selection strategy have less profit than actors who do not follow the protocol and select transactions rationally (i.e., most profitable). That proof has been made on a small network of ten nodes with a circle topology. This article aims to extend, optimize, and automate an existing blockchain simulator. We implement a Bitcoin-like network topology with realistic block propagation latency. Furthermore, we optimize the simulator to run more simulations in parallel and faster, including automation tools that can modify input configurations, perform a combination of runs on multiple CPU cores based on input parameters, and analyze profits and transaction collisions. Finally, we perform experiments to verify malicious actors' advantages in a Bitcoin-like network and create a payoff function to punish this behavior.
|
|
|
Alias analýza v překladači jazyka C
Bolvanský, Dávid ; Zachariášová, Marcela (oponent) ; Hruška, Tomáš (vedoucí práce)
Táto práca sa venuje problematike alias analýzy a možnostiam jej vylepšenia v LLVM frameworku. Cieľom tejto práce je zlepšiť jej presnosť, čoho bolo dosiahnuté rozšírením implementácie Andersenovho algoritmu o citlivosť na položky štruktúr. Vysvetlené sú pojmy súvisiace s alias analýzou a je popísaný princíp algoritmov alias analýzy. Predstavený je koncept LLVM frameworku, popísané sú aktuálne implementované algoritmy alias analýzy. Porovnanie týchto algoritmov bolo vykonané z pohľadu ich princípu fungovania, vlastností a obmedzení. Implementácia citlivosti na položky štruktúr bola vyskúšaná na sade programov, ktorými sa testujú prekladače. Bol preskúmaný jej vplyv na rýchlosť prekladu programov a ich výkonnosť. Získané výsledky preukazujú zvýšenie presnosti alias analýzy v LLVM frameworku.
|
host ::
RSS.