|
|
Knihovna pro práci s objekty ve sdílené paměti
Dudka, Kamil ; Herout, Adam (oponent) ; Španěl, Michal (vedoucí práce)
Tato bakalářská práce se zabývá problematikou meziprocesové komunikace v moderních operačních systémech. Důraz je kladen na využití sdílené paměti pro meziprocesovou komunikaci v objektově orientovaném jazyku C++. Součástí práce je popis návrhu a implementace knihovny, která umožňuje sdílenou paměť jednoduše a efektivně používat. Knihovna umožňuje sdílet přímo objekty jazyka C++ mezi procesy. Kromě toho vytváří knihovna platformově nezávislé rozhraní pro práci se sdílenou pamětí v operačních systémech Linux a Microsoft Windows. V závěru práce je zhodnocena efektivita využití sdílené paměti jako způsobu meziprocesové komunikace.
|
|
|
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.
|
|
|
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.
|
|
|
Sdílená paměť jako dramaturgické východisko
Klimešová, Anna ; NOVÁK, Vladimír (vedoucí práce) ; KLÍMA, Miloslav (oponent)
Tato bakalářská práce se zabývá, jakým způsobem může být sdílená paměť inspirací pro autorské divadlo. Práce je rozdělena na dvě hlavní části. První část práce nazvaná Sdílená paměť jako dramaturgické východisko zkoumá oblasti vztahu paměti a autorského divadla. Ve druhé části práce se věnuji analýze a reflexi zkoušení bakalářské inscenace Barunka is leaving.
|
|
|
Knihovna pro práci s objekty ve sdílené paměti
Dudka, Kamil ; Herout, Adam (oponent) ; Španěl, Michal (vedoucí práce)
Tato bakalářská práce se zabývá problematikou meziprocesové komunikace v moderních operačních systémech. Důraz je kladen na využití sdílené paměti pro meziprocesovou komunikaci v objektově orientovaném jazyku C++. Součástí práce je popis návrhu a implementace knihovny, která umožňuje sdílenou paměť jednoduše a efektivně používat. Knihovna umožňuje sdílet přímo objekty jazyka C++ mezi procesy. Kromě toho vytváří knihovna platformově nezávislé rozhraní pro práci se sdílenou pamětí v operačních systémech Linux a Microsoft Windows. V závěru práce je zhodnocena efektivita využití sdílené paměti jako způsobu meziprocesové komunikace.
|
|
|
Monitorovací systém mobilních jednotek
Ševčík, Pavel ; Fojtík, Pavel (oponent) ; Kučera, Pavel (vedoucí práce)
Tato práce se zabývá zpracováním obrazu v reálném čase, jeho předzpracováním, segmentací a klasifikací. Na základě klasifikace je určeno natočení a pozice objektů. Cílem práce je vytvořit modulární aplikaci, která budu sledovat mobilní jednotky a určovat jejich natočení a pozici v reálném čase.
|
host ::
RSS.