|
|
Application for Demonstration of Synchronization Mechanisms in Distributed Systems
Klimčíková, Lenka ; Veigend, Petr (oponent) ; Zbořil, František (vedoucí práce)
The aim of this thesis is to design and create a web application for the demonstration of selected synchronization mechanisms in distributed systems. The algorithms communicate by means of message-passing to ensure mutual exclusion of the processes in an effort to access the critical section. Implemented are Lamport's algorithm, Maekawa's algorithm, Raymond's algorithm and Suzuki-Kasami broadcasting algorithm. The application is implemented in Java programming language with the use of Spring Boot framework for listening on different endpoints. Thymeleaf template engine is used to exchange the necessary data between backend and frontend of the application. HTML + JavaScript language are used for dynamic rendering of sent messages to the screen. The algorithms are implemented in separate libraries, which are then used by the web application. The application illustratively demonstrates function of each algorithm with loads of different examples for the best possible understanding. It's primarily intended for students of Faculty of Information Technology, Brno University of Technology
|
|
|
Static Analysis in the Frama-C Environment Focused on Deadlock Detection
Dacík, Tomáš ; Holík, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis presents a design of a new static analyser focused on deadlock detection, implemented as a plugin of the Frama-C platform. Together with the core algorithm of deadlock detection, we also present a light-weight method that allows one to analyse (not only for the purposes of deadlock detection) multi-threaded programs using sequential analysers of Frama-C. Results of experiments show that our tool is able to handle real-world C code with high precision. Moreover, we demonstrate its extensibility by so-far experimental implementation of data race detection.
|
|
|
Application for Demonstration of Synchronization Mechanisms in Distributed Systems
Klimčíková, Lenka ; Veigend, Petr (oponent) ; Zbořil, František (vedoucí práce)
The aim of this thesis is to design and create a web application for the demonstration of selected synchronization mechanisms in distributed systems. The algorithms communicate by means of message-passing to ensure mutual exclusion of the processes in an effort to access the critical section. Implemented are Lamport's algorithm, Maekawa's algorithm, Raymond's algorithm and Suzuki-Kasami broadcasting algorithm. The application is implemented in Java programming language with the use of Spring Boot framework for listening on different endpoints. Thymeleaf template engine is used to exchange the necessary data between backend and frontend of the application. HTML + JavaScript language are used for dynamic rendering of sent messages to the screen. The algorithms are implemented in separate libraries, which are then used by the web application. The application illustratively demonstrates function of each algorithm with loads of different examples for the best possible understanding. It's primarily intended for students of Faculty of Information Technology, Brno University of Technology
|
|
|
Static Analysis in the Frama-C Environment Focused on Deadlock Detection
Dacík, Tomáš ; Holík, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis presents a design of a new static analyser focused on deadlock detection, implemented as a plugin of the Frama-C platform. Together with the core algorithm of deadlock detection, we also present a light-weight method that allows one to analyse (not only for the purposes of deadlock detection) multi-threaded programs using sequential analysers of Frama-C. Results of experiments show that our tool is able to handle real-world C code with high precision. Moreover, we demonstrate its extensibility by so-far experimental implementation of data race detection.
|
|
|
Breaking Deadlocks: The Role of Mediators in WTO Negotiations
Klímová, Nikola ; Parízek, Michal (vedoucí práce) ; Karlas, Jan (oponent)
Práce se zabývá rolí mediátorů ve vyjednávání o obchodu v rámci WTO a zkoumá dopad jednotlivých mediačních strategií na celkový výsledek vyjednávání. Cílem je zjistit, jak mediátoři pomáhají zúčastněným stranám překonat problémy ve vyjednávání a následně dosáhnout dohody. Práce je založena na dvou hypotézách. Zaprvé, vychází z předpokladu, že mediátoři, kteří častěji zasahují do vyjednávání a přitom dbají o zapojení všech zúčastněných stran, mohou zvýšit pravděpodobnost úspěšného výsledku jednání. Zadruhé, má za to, že určité mediační taktiky umožňují zúčastněným stranám ochránit svou reputaci nejen v očích ostatních vyjednavačů, ale především v očích domácí veřejnosti. Na případu přípravných jednání probíhajících v Ženevě a Ministerské konference na Bali práce sleduje jednotlivé mediační strategie, ke kterým se uchýlily osoby předsedající jednáním ve WTO a generální ředitel WTO, a následně vyvozuje dopad těchto strategií na přijetí tzv. balijského balíčku, jenž představuje první multilaterální dohodu uzavřenou pod záštitou WTO. Analýza daného případu závěrem naznačuje, že mediátoři, kteří aktivně zasahují do vyjednávacího procesu a pomáhají zúčastněným stranám snižovat riziko poškození reputace v očích domácí veřejnosti, mohou pozitivně ovlivnit výsledek vyjednávání. Naopak, práce zároveň ukazuje,...
|
host ::
RSS.