Mgr. Petr Bauch, Ph.D.
Bakalářská práce
DiVinE-MC Win32 port
DiVinE-MC Win32 port
Anotace:
Tato práce si klade za cíl prozkoumat a vyřešit některé obtíže, které sebou přináší cross-kompilace z platformy UNIX na platformu Windows. Předně tedy nahrazení funkcí knihovny Pthreads pro manipulaci a synchronizaci vláken a prozkoumání možností implementace lock-free struktur na cílové platformě. V praktické části je námi navrhovaný teoretický postup portování použit na nástroji pro kontrolu modelů …víceAbstract:
The goal of this thesis is to explore and solve some of the difficulties that cross-compilation from platform UNIX to platform Windows entails. That is mainly the replacement of functions of the Pthreads library for manipulation and synchronization of threads and exploration of possibilities of the target platform for implementation of lock-free structures. In the practical part our suggested theoretical …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 21. 5. 2009
Identifikátor:
https://is.muni.cz/th/vyd4w/
Obhajoba závěrečné práce
- Obhajoba proběhla 22. 6. 2009
- Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
- Oponent: RNDr. Jakub Chaloupka, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.