|
|
Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními
Mužikovská, Monika ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá problematikou kontraktů pro paralelismus. Jedná se o protokol umožňující specifikovat požadavky na atomicitu v paralelních programech a následnou tvorbu automatických nástrojů pro detekci porušení atomicity. Součástí prostředí ANaConDA pro dynamickou analýzu programů je nástroj pro detekci tohoto druhu chyb, ale jeho výsledky mohou být příliš obecné. Cílem práce bylo navrhnout a implementovat metodu, která bude podporovat kontrakty rozšířené o parametry a jejich omezení, což povede k přesnějším výsledkům analýzy. Experimenty provedené pomocí nově vzniklého analyzátoru na programech se známými chybami ukázaly, že díky zahrnutí parametrů do analýzy je možné výsledky zredukovat až o desítky hlášení o situacích, které při zohlednění kontextu nejsou chybné a pouze zbytečně zatěžovaly vývojáře a znesnadňovaly odhalení skutečných chyb.
|
|
|
Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů
Horňák, Michal ; Češka, Milan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cieľom tejto práce bolo implementácia algoritmu FastTrack pre dynamickú analízu viacvláknových programov v jazyku C/C++. Ide o algoritmus detekujúci chyby typu data race. Je založený na relácii happens-before zakódovanej do tzv. vektor-klokov. Tie umožňujú extrapolovať beh programu a odhaľovať tak potenciálne chyby, ktoré sa v aktuálnom behu nevyskytli, ale v iných exekúciách by sa mohli vyskytnúť. Algoritmus je implementovaný v prostredí ANaConDA. Jedná sa o nástroj slúžiaci pre jednoduchšie implementovanie dynamických analizátorov monitorujúcich paralelné program na binárnej úrovni. ANaConDA poskytuje analyzátorom potrebné informácie o behu programu, ktoré detektory následne využívajú k odhaľovaniu chýb.
|
|
|
Adaptér OSLC pro framework ANaConDA
Vašíček, Ondřej ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Předmětem této práce je ověření konceptu rozšiřování akademických programových nástrojů o OSLC rozhraní. Proces rozšíření nástroje o OSLC rozhraní je demonstrován vytvořením OSLC adaptéru pro prostředí ANaConDA za použití Eclipse Lyo. Cílem této práce je umožnit integraci prostředí ANaConDA s jinými programovými nástroji. Práce poskytuje základní úvod k prostředí ANaConDA, OSLC a Eclipse Lyo spolu s přehledem souvisejících konceptů. Dále je popsán návrh a implementace vytvořeného OSLC adaptéru. Výsledkem této práce je zhodnocení procesu vytváření OSLC adaptéru a představení implementovaného OSLC adaptéru pro prostředí ANaConDA. Závěrem je zmíněna má předchozí práce na rozšiřování prostředí ANaConDA ve formě implementace dvou detektorů souběhů, FastTrack a Eraser.
|
|
|
Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů
Horňák, Michal ; Křena, Bohuslav (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cieľom tejto práce bolo implementácia algoritmu FastTrack pre dynamickú analízu viac-vláknových programov v jazyku C/C++. Ide o algoritmus detekujúci chyby typu data race. Je založený na relácii happens-before zakódovanej do tzv. vektor-klokov. Tie umožňujú extrapolovať beh programu a odhaľovať tak potenciálne chyby, ktoré sa v aktuálnom behu nevyskytli, ale v iných exekúciách by sa mohli vyskytnúť. Algoritmus je implementovaný v prostredí ANaConDA. Jedná sa o nástroj slúžiaci pre jednoduchšie implementovanie dynamických analizátorov monitorujúcich paralelné programy na binárnej úrovni. ANaConDA poskytuje analyzátorom potrebné informácie o behu programu, ktoré detektory následne využívaju k odhaľovaniu chýb.
|
|
|
OSLC Adapter for Software Analysis
Vašíček, Ondřej ; Hrubý, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
The goal of this work is to provide an easy way of adding an OSLC compliant interface to an analysis tool. Such an interface allows tools to be easily integrated with other tools or systems, allows them to be used remotely due to its web based nature, and allows them to be easily connected with a database for persistency and queries. This is achieved by designing and creating an OSLC adapter using Eclipse Lyo that is universal enough to accommodate the functionality of most analysis tools. This is done by using the OSLC Automation domain interface and by leveraging the current command-line interfaces of analysis tools. This work provides an introduction to OSLC, Eclipse Lyo, and other related topics; defines requirements and differences of analysis tools; covers the design process of the adapter and the factors that impacted design decisions; and finally, presents the implemented adapter and evaluates it by using an automated test suite and then experiments with a set of different analysis tools. The most important evaluation indicator is that the current version of the adapter is already being used in practice to add an OSLC interface to four analysis tools: ANaConDA, Perun, Spectra (all three developed by VeriFIT); and HiLiTE (Honeywell).
|
|
|
Support of Run-time Monitoring of Processes in ANaConDA Framework
Mužikovská, Monika ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
This work extends ANaConDA framework for dynamic analysis of multi-threaded programs with support for multi-process monitoring. This thesis summarizes ANaConDA's approach to analysis and differences between threads and processes. The most important ones involve inter-process communication, separate logical address spaces, and synchronisation with general semaphores. The implemented extension provides API for inter-process communication via shared memory, monitors operations with shared memory in order to translate virtual addresses to their unique representation among processes, and monitors synchronisation operations with semaphores and provides information about them to analysers. The extension significantly simplifies the development of multi-process analysers. This is shown on implementation of two analysers for data race detection, AtomRace and FastTrack, which were, until now, available for multi-threaded programs only. The implementation of FastTrack algorithm uses happens-before relation for general semaphores which is also defined in this thesis. Proposed and implemented solutions were verified on a set of automatic tests and the two analysers were used for experiments on a set of students' projects. Experiments showed that ANaConDA framework is now able to detect concurrency-related errors in multi-process programs and, as such, provide support with implementation of large category of parallel programs.
|
|
|
OSLC Adapter for Software Analysis
Vašíček, Ondřej ; Hrubý, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
The goal of this work is to provide an easy way of adding an OSLC compliant interface to an analysis tool. Such an interface allows tools to be easily integrated with other tools or systems, allows them to be used remotely due to its web based nature, and allows them to be easily connected with a database for persistency and queries. This is achieved by designing and creating an OSLC adapter using Eclipse Lyo that is universal enough to accommodate the functionality of most analysis tools. This is done by using the OSLC Automation domain interface and by leveraging the current command-line interfaces of analysis tools. This work provides an introduction to OSLC, Eclipse Lyo, and other related topics; defines requirements and differences of analysis tools; covers the design process of the adapter and the factors that impacted design decisions; and finally, presents the implemented adapter and evaluates it by using an automated test suite and then experiments with a set of different analysis tools. The most important evaluation indicator is that the current version of the adapter is already being used in practice to add an OSLC interface to four analysis tools: ANaConDA, Perun, Spectra (all three developed by VeriFIT); and HiLiTE (Honeywell).
|
|
|
Support of Run-time Monitoring of Processes in ANaConDA Framework
Mužikovská, Monika ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
This work extends ANaConDA framework for dynamic analysis of multi-threaded programs with support for multi-process monitoring. This thesis summarizes ANaConDA's approach to analysis and differences between threads and processes. The most important ones involve inter-process communication, separate logical address spaces, and synchronisation with general semaphores. The implemented extension provides API for inter-process communication via shared memory, monitors operations with shared memory in order to translate virtual addresses to their unique representation among processes, and monitors synchronisation operations with semaphores and provides information about them to analysers. The extension significantly simplifies the development of multi-process analysers. This is shown on implementation of two analysers for data race detection, AtomRace and FastTrack, which were, until now, available for multi-threaded programs only. The implementation of FastTrack algorithm uses happens-before relation for general semaphores which is also defined in this thesis. Proposed and implemented solutions were verified on a set of automatic tests and the two analysers were used for experiments on a set of students' projects. Experiments showed that ANaConDA framework is now able to detect concurrency-related errors in multi-process programs and, as such, provide support with implementation of large category of parallel programs.
|
|
|
Adaptér OSLC pro framework ANaConDA
Vašíček, Ondřej ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
Předmětem této práce je ověření konceptu rozšiřování akademických programových nástrojů o OSLC rozhraní. Proces rozšíření nástroje o OSLC rozhraní je demonstrován vytvořením OSLC adaptéru pro prostředí ANaConDA za použití Eclipse Lyo. Cílem této práce je umožnit integraci prostředí ANaConDA s jinými programovými nástroji. Práce poskytuje základní úvod k prostředí ANaConDA, OSLC a Eclipse Lyo spolu s přehledem souvisejících konceptů. Dále je popsán návrh a implementace vytvořeného OSLC adaptéru. Výsledkem této práce je zhodnocení procesu vytváření OSLC adaptéru a představení implementovaného OSLC adaptéru pro prostředí ANaConDA. Závěrem je zmíněna má předchozí práce na rozšiřování prostředí ANaConDA ve formě implementace dvou detektorů souběhů, FastTrack a Eraser.
|
|
|
Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů
Horňák, Michal ; Křena, Bohuslav (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cieľom tejto práce bolo implementácia algoritmu FastTrack pre dynamickú analízu viac-vláknových programov v jazyku C/C++. Ide o algoritmus detekujúci chyby typu data race. Je založený na relácii happens-before zakódovanej do tzv. vektor-klokov. Tie umožňujú extrapolovať beh programu a odhaľovať tak potenciálne chyby, ktoré sa v aktuálnom behu nevyskytli, ale v iných exekúciách by sa mohli vyskytnúť. Algoritmus je implementovaný v prostredí ANaConDA. Jedná sa o nástroj slúžiaci pre jednoduchšie implementovanie dynamických analizátorov monitorujúcich paralelné programy na binárnej úrovni. ANaConDA poskytuje analyzátorom potrebné informácie o behu programu, ktoré detektory následne využívaju k odhaľovaniu chýb.
|
host ::
RSS.