|
|
Intelligent Editor for the AHLL Language
Kučera, Tomáš ; Rozman, Jaroslav (referee) ; Zbořil, František (advisor)
The subject of this bachelor's thesis is the design and implementation of an intelligent editor for the agent language AHLL. The reader is familiarized with the concept of agent systems and the WSageNt platform. Following is analysis and comparison of existing editors and integrated development environments. Presented will also be technologies ANTLR, RSyntaxTextArea and AutoComplete providing resources for effective implementation of some of the editor's key features. The resulting editor integrates existing AHLL to an ALLL compiler as well as the distributed system simulator T-Mass. Finally, we test the editor's ability to choose the best combination of compiler optimizations based on the target code's length.
|
|
|
Alias Analysis in C Compiler
Bolvanský, Dávid ; Zachariášová, Marcela (referee) ; Hruška, Tomáš (advisor)
This thesis is dedicated to the problem of alias analysis and possibilities of its improvement in the LLVM framework. The goal of this thesis is to improve the accuracy, which was achieved by extending the existing implementation of Andresen algorithm to be field sensitive. The terms related to alias analysis and algorithms of the alias analysis available in LLVM are explained. These algorithms are compared according to their base idea, features, and limitations. The implementation of the field sensitivity has been tested using compiler test suites. Its impact on program compilation speed and performance has been analyzed. The measured results show an increase in the accuracy of alias analysis in the LLVM framework.
|
|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (referee) ; Malinka, Kamil (advisor)
V posledných rokoch sa vo výskumnej komunite venuje blockchainu významná pozornosť. Odvtedy bolo navrhnutých niekoľko návrhov na riešenie problému priepustnosti blockchainov založených na Proof-of-Work. V tejto práci študujeme existujúce návrhy blockchainu s acyklicky orientovaným grafom (DAG), ktoré navrhujú riešenie spomínaného problému, najmä protokol PHANTOM (a jeho optiamlizácia GHOSTDAG). Využívajú bitcoinový protokol a navrhujú náhodný výber transakcií, čo vedie k zvýšeniu priepustnosti transakcií. Simuláciou sa však dokázalo, že aktéri, ktorí využívajú stratégiu náhodného výberu transakcií, majú menší zisk ako aktéri, ktorí nedodržiavajú protokol a vyberajú transakcie racionálne (t.j. najziskovejšie). Tento dôkaz bol vykonaný na malej sieti desiatich uzlov s kruhovou topológiou. Cieľom tohto článku je rozšíriť, optimalizovať a automatizovať existujúci simulátor blockchainu. Implementujeme sieťovú topológiu podobnú bitcoinu s realistickou latenciou šírenia blokov. Okrem toho optimalizujeme simulátor tak, aby sme mohli spúšťať viac simulácií paralelne a rýchlejšie, vrátane automatizačných nástrojov, ktoré môžu upravovať vstupné konfigurácie, vykonávať kombináciu simulácii na viacerých jadrách CPU na základe vstupných parametrov a analyzovať zisky a kolízie transakcií. Nakoniec vykonáme experimenty na overenie výhod škodlivých aktérov v sieti podobnej Bitcoinu a vytvoríme výplatnú funkciu na potrestanie tohto správania.
|
|
|
Traceability of Optimized Generated Code
Gavenda, Daniel ; Rychlý, Marek (referee) ; Křivka, Zbyněk (advisor)
The goal is to create an application that analyzes the optimizations applied during the translation of an input model into the corresponding generated code. This analysis will be provided to developers in order to show sources of potential automated review failures. In this case, the analysis reports should serve as a guide to a model designer to transform the model to avoid problematic optimizations.
|
|
|
Traceability of Optimized Generated Code
Gavenda, Daniel ; Rychlý, Marek (referee) ; Křivka, Zbyněk (advisor)
The goal is to create an application that analyzes the optimizations applied during the translation of an input model into the corresponding generated code. This analysis will be provided to developers in order to show sources of potential automated review failures. In this case, the analysis reports should serve as a guide to a model designer to transform the model to avoid problematic optimizations.
|
|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (referee) ; Malinka, Kamil (advisor)
V posledných rokoch sa vo výskumnej komunite venuje blockchainu významná pozornosť. Odvtedy bolo navrhnutých niekoľko návrhov na riešenie problému priepustnosti blockchainov založených na Proof-of-Work. V tejto práci študujeme existujúce návrhy blockchainu s acyklicky orientovaným grafom (DAG), ktoré navrhujú riešenie spomínaného problému, najmä protokol PHANTOM (a jeho optiamlizácia GHOSTDAG). Využívajú bitcoinový protokol a navrhujú náhodný výber transakcií, čo vedie k zvýšeniu priepustnosti transakcií. Simuláciou sa však dokázalo, že aktéri, ktorí využívajú stratégiu náhodného výberu transakcií, majú menší zisk ako aktéri, ktorí nedodržiavajú protokol a vyberajú transakcie racionálne (t.j. najziskovejšie). Tento dôkaz bol vykonaný na malej sieti desiatich uzlov s kruhovou topológiou. Cieľom tohto článku je rozšíriť, optimalizovať a automatizovať existujúci simulátor blockchainu. Implementujeme sieťovú topológiu podobnú bitcoinu s realistickou latenciou šírenia blokov. Okrem toho optimalizujeme simulátor tak, aby sme mohli spúšťať viac simulácií paralelne a rýchlejšie, vrátane automatizačných nástrojov, ktoré môžu upravovať vstupné konfigurácie, vykonávať kombináciu simulácii na viacerých jadrách CPU na základe vstupných parametrov a analyzovať zisky a kolízie transakcií. Nakoniec vykonáme experimenty na overenie výhod škodlivých aktérov v sieti podobnej Bitcoinu a vytvoríme výplatnú funkciu na potrestanie tohto správania.
|
|
|
Alias Analysis in C Compiler
Bolvanský, Dávid ; Zachariášová, Marcela (referee) ; Hruška, Tomáš (advisor)
This thesis is dedicated to the problem of alias analysis and possibilities of its improvement in the LLVM framework. The goal of this thesis is to improve the accuracy, which was achieved by extending the existing implementation of Andresen algorithm to be field sensitive. The terms related to alias analysis and algorithms of the alias analysis available in LLVM are explained. These algorithms are compared according to their base idea, features, and limitations. The implementation of the field sensitivity has been tested using compiler test suites. Its impact on program compilation speed and performance has been analyzed. The measured results show an increase in the accuracy of alias analysis in the LLVM framework.
|
|
|
Intelligent Editor for the AHLL Language
Kučera, Tomáš ; Rozman, Jaroslav (referee) ; Zbořil, František (advisor)
The subject of this bachelor's thesis is the design and implementation of an intelligent editor for the agent language AHLL. The reader is familiarized with the concept of agent systems and the WSageNt platform. Following is analysis and comparison of existing editors and integrated development environments. Presented will also be technologies ANTLR, RSyntaxTextArea and AutoComplete providing resources for effective implementation of some of the editor's key features. The resulting editor integrates existing AHLL to an ALLL compiler as well as the distributed system simulator T-Mass. Finally, we test the editor's ability to choose the best combination of compiler optimizations based on the target code's length.
|
guest ::
