Bakalářská práce

DiVinE-MC Win32 port

Petr Bauch
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íce

Abstract

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

Klíčová slova
cross-kompilace DiVinE-MC Pthreads Win32 portování model-checking
Zadání práce
Cílem bakalářské práce je popsat možný způsob portování LINUXových vícevláknových aplikací na platformu MS Windows. Popis by měl zahrnovat portování aplikací založených na knihovně POSIX Threads a portování aplikací využívajících lock-free datových struktur, případně dalších. Součástí práce bude port existujícího nástroje DiVinE-MC na platformu Win32 API, a experimentální vyhodnocení realizace praktické části práce.
Administrativní informace
Práce zkontrolována:
1. 6. 2009 10:43, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
430,4 KB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
22. 6. 2009
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponent

RNDr. Jakub Chaloupka, Ph.D., učo 60400
abs FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Petr Bauch FI B-IN BcIN vyd4w/8
Bauch, P.
20. 5. 2009
Složky
Soubory
Anotace anglicky annotation_english.txt
Bauch, P.
20. 5. 2009
Anotace česky annotation.txt
Bauch, P.
20. 5. 2009
bc.tex
Bauch, P.
20. 5. 2009
Klíčová slova keywords.txt
Bauch, P.
20. 5. 2009
Obsah přiloženého CD cd.zip
Bauch, P.
20. 5. 2009
Posudek oponenta posudek_oponenta.pdf
Chaloupka, J.
15. 6. 2009
Text práce bc.pdf
Bauch, P.
20. 5. 2009

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.