Simulace distribuovaných systémů
Distributed Systems Simulation
Author
Advisor
Matoušek, RadomilReferee
Šeda, MilošGrade
AAltmetrics
Metadata
Show full item recordAbstract
Táto práca sa zaoberá modelovaním distribuovaných systémov pomocou Petriho sietí. Distribuované systémy sa stále viac implementujú do aplikácií a výpočtových systémov, pričom ich úlohou je zabezpečiť dostatočný výkon a stabilitu pri veľkom množstve jej používateľov. Pri modelovaní distribuovaných systémov je dôležité stochastické správanie Petriho sietí, ktoré zabezpečí reálnejšie simulácie. Preto sa táto práca zameriava hlavne na časované Petriho siete. V teoretickej časti tejto práce sú zhrnuté distribuované systémy, ich vlastnosti, typy a dostupné architektúry, a tiež Petriho siete, ich reprezentácia, typy a princíp fungovania. V praktickej časti boli implementované dva modely, a to horizontálne škálovaná webová aplikácia rozdelená na viac služieb s distribuovanou databázou a veľký sieťový výpočtový systém, presnejšie platforma BOINC s projektom Folding@home. Oba modely boli implementované pomocou knižnice PetNetSim jazyka Python. Cieľom tejto práce bolo vykonanie simulácií na vytvorených modeloch pre rôzne scenáre ich správania. This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are increasingly being implemented in applications and computing systems, where their task is to ensure sufficient performance and stability for a large number of its users. When modeling a distributed systems, stochastic behavior of Petri nets is important, which will provide more realistic simulations. Therefore, this thesis focuses mainly on timed Petri nets. The theoretical part of this thesis summarizes distributed systems, their properties, types and available architectures, as well as Petri nets, their representation, types and the principle of an operation. In the practical part, two models were implemented, namely a horizontally scaled web application divided into several services with a distributed database and a large grid computing system, more precisely the BOINC platform with the Folding@home project. Both models were implemented using the PetNetSim library of Python. The goal of this thesis is to perform simulations on the created models for different scenarios of their behavior.
Keywords
distribuované systémy, modelovanie distribuovaných systémov, simulácia distribuovaných systémov, Petriho siete, časované Petriho siete, stochastické procesy, sieťové výpočty, BOINC, PetNetSim, Python, distributed systems, distributed systems modeling, distributed systems simulation, Petri nets, timed Petri nets, stochastic processes, grid computing, BOINC, PetNetSim, PythonLanguage
slovenština (Slovak)Study brunch
Aplikovaná informatika a řízeníComposition of Committee
prof. RNDr. Ing. Miloš Šeda, Ph.D. (předseda) doc. Ing. Miloš Hammer, CSc. (místopředseda) prof. Ing. Antonín Víteček, CSc. (člen) doc. Ing. Zuzana Komínková Oplatková, Ph.D. (člen) Prof. Ing. Roman Prokop, CSc. (člen)Date of defence
2021-06-14Process of defence
Student prezentoval jistě svoji práci a odpověděl otázky přítomného oponenta. Prokázal hlubokou znalost dikrétních stochastických simulací a fungování distribuovaných systémů nad rámec studia.Result of the defence
práce byla úspěšně obhájenaPersistent identifier
http://hdl.handle.net/11012/197391Source
ĎURIŠ, A. Simulace distribuovaných systémů [online]. Brno: Vysoké učení technické v Brně. Fakulta strojního inženýrství. 2021.Collections
- 2021 [433]