Simulace distribuovaných algoritmů

Abstract

Tato bakalářská práce se zabývá návrhem a implementací simulátoru distribuovaných algoritmů ve formálním modelu synchronní sítě. Výsledný nástroj umožňuje uživatelům tvorbu distribuovaných systémů, krokovou simulaci algoritmů pomocí vlastního doménově specifického jazyka (DSL) a vizuální sledování stavů procesů. Systém je implementován v jazyce Python a webových technologiích HTML,CSS a TS. Simulátor je určen zejména pro výukové účely, kde slouží k demonstraci základních principů distribuovaných systémů a algoritmů. Součástí práce je knihovna ukázkových implementací leader election algoritmů.

This bachelor thesis focuses on the design and implementation of a distributed algorithms simulator based on the synchronous network model. The resulting tool allows users to create distributed systems, perform step-by-step simulations of algorithms using a custom domain-specific language (DSL), and visually track the state of processes.It is implemented using Python, and web technoligies such as HTML, CSS and TS. The simulator is primarily intended for educational purposes, helping to demonstrate fundamental principles of distributed systems and algorithms. A library of sample leader election algorithms is also included.