Original title: Dynamická analýza paralelních programů na platformě .NET Framework
Translated title: Dynamic Analysis of Parallel Applications Using .NET Framework
Authors: Ling, David ; Hrubý, Martin (referee) ; Smrčka, Aleš (advisor)
Document type: Master’s theses
Year: 2021
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
Tato práce se zabývá návrhem a implementací dynamického analyzátoru paralelních programů na platformě .NET Framework. V teoretické části práce je rozebrána problematika synchronizace v paralelních programech, instrumentace programů, testování paralelních programů a specifika těchto problémů pro jazyk C\# a platformu .NET Framework. Podrobněji jsou popsány vybrané algoritmy pro detekci uváznutí (algoritmus Goodlock) a časově závislých chyb nad daty (algoritmy FastTrack a AtomRace). V následujících částech jsou sepsány požadavky na výsledný analyzátor a vytvořen návrh systému. Práce obsahuje také popis implementace navrženého řešení, způsob kompletního otestování implementovaného nástroje a v neposlední řadě ukázku použití dynamických analyzátorů v reálném aplikačním prostředí. The thesis deals with a design and implementation of the dynamic analyser of parallel applications on the .NET Framework platform. The problematic of synchronization in parallel applications, the instrumentation of such an applications, testing of parallel applications and a specifics of these problems for C\# language and for the platform .NET Framework are discussed in the theoretical part. Selected algorithms for detection of deadlocks (the algorithm of Goodlock) and data-race errors (the algorithm of FastTrack and AtomRace) are described in detail in this part as well. Requirements for the dynamic analyser and the system design is made in the following part of this thesis. The thesis also contains a description of the implementation of the proposed solution, a description of the entire testing of the implemented tool. Last but not least, the thesis describes the sample of using dynamic analysers in a particular application environment.
Keywords: .NET; data race detection; deadlock detection; Dynamic analysis; paraller programs testing; program instrumentation; .NET; detekce uváznutí; detekce časově závislých chyb nad daty; Dynamická analýza; instrumentace programu; testování paralelních programů

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/200121

Permalink: http://www.nusl.cz/ntk/nusl-445497


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses