|
|
Application for Demonstration of Synchronization Mechanisms in Distributed Systems
Klimčíková, Lenka ; Veigend, Petr (referee) ; Zbořil, František (advisor)
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áš (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá návrhem nového statického analyzátoru pro detekci uváznutí, implementovaného jako plugin platformy Frama-C. Kromě samotného algoritmu pro detekci uváznutí představuje také odlehčené řešení, které umožňuje využít platformu Frama-C pro analýzu vícevláknových programů s využitím analyzátorů Frama-C podporujících pouze sekvenční programy. Výsledky experimentů ukazují, že implementovaný nástroj je schopný analyzovat reálné programy s vysokou přesností. Pro demonstraci další rozšiřitelnosti je představeno experimentální rozšíření umožňující detekovat také časově závislé chyby nad daty.
|
|
|
Application for Demonstration of Synchronization Mechanisms in Distributed Systems
Klimčíková, Lenka ; Veigend, Petr (referee) ; Zbořil, František (advisor)
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áš (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá návrhem nového statického analyzátoru pro detekci uváznutí, implementovaného jako plugin platformy Frama-C. Kromě samotného algoritmu pro detekci uváznutí představuje také odlehčené řešení, které umožňuje využít platformu Frama-C pro analýzu vícevláknových programů s využitím analyzátorů Frama-C podporujících pouze sekvenční programy. Výsledky experimentů ukazují, že implementovaný nástroj je schopný analyzovat reálné programy s vysokou přesností. Pro demonstraci další rozšiřitelnosti je představeno experimentální rozšíření umožňující detekovat také časově závislé chyby nad daty.
|
|
|
Breaking Deadlocks: The Role of Mediators in WTO Negotiations
Klímová, Nikola ; Parízek, Michal (advisor) ; Karlas, Jan (referee)
This thesis examines the role of mediators in WTO trade negotiations and the impact of individual mediation strategies on the outcome of these negotiations. It seeks to answer the question how mediators can help negotiators to overcome the bargaining problem and reach an agreement. The thesis first presumes that mediators who frequently apply more interventionist and inclusive tactics can increase the likelihood of a successful outcome of negotiations. Secondly, it presupposes that particular mediation tactics enable negotiators to save their face not only in front of their opponents, but more importantly also in front of domestic constituencies. Using the case of Geneva-based negotiations and the Bali Ministerial Conference, the thesis tracks individual mediation strategies which were employed by WTO chairs or the Director-General to determine their impact on the final adoption of the Bali package, representing the first multilateral trade agreement concluded under the auspices of the WTO. The analysis indicates that mediators who actively intervene in the bargaining process and assist negotiators in decreasing their audience costs may positively influence the chances of reaching an agreement. Contrarily, it shows at the same time that the effects of inclusive mediation are varied and...
|
guest ::
