Bakalářská práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Virtual File System in DIVINE 4

Katarína Kejstová
Anotace

Táto práca sa zamieriava na integráciu virtuálneho systému súborov (VFS) do DIVINE 4 s využítím konceptu systémových volaní. VFS, ktorý bol v DIVINE 3 implementovaný ako sada funkcií, je teraz sprístupnený programu bežiacemu v DIVINE 4 pomocou systémových volaní, prípadne funkcií implementovaných pomocou týchto systémových volaní. VFS je teraz súčasťou operačného systému nástroju DIVINE (DiOS), ktorý …více

Abstract

This work focuses on the integration of Virtual Filesystem (VFS) into DIVINE 4 by exploiting the concept of system calls. The VFS, which was present in DIVINE 3 as a set of functions, is now available to programs running in DIVINE 4 through system calls and library wrappers. VFS is now part of DIVINE's operating system (DiOS), which additionally maintains functionality that system calls expect from …více

Klíčová slova
DIVINE operating system file system system calls POSIX C C++ implementation verification
Zadání práce
The goal of this thesis is to integrate the Virtual File System (VFS) that was used in DIVINE 3 into DiOS, a small operating system used for verification, which is a part of DIVINE 4. Furthermore, the student should document this integration and VFS itself. The integration will include changes to the VFS so that the program under test uses the VFS functionality through the DiOS syscall interface. For this reason the thesis should also include description of the DiOS syscall interface and changes in this interface required by the integration. The outcome of this thesis should be an implementation of the VFS integrated into DIVINE 4, description of the VFS and examples of programs which can be verified by DIVINE with this extension.
Administrativní informace
Práce zkontrolována:
5. 6. 2017 12:10, RNDr. Vladimír Štill, Ph.D., učo 373979
Plný text práce
666,7 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
28. 6. 2017
Práce byla úspěšně obhájena

Vedoucí

RNDr. Vladimír Štill, Ph.D., učo 373979
KTP FI MU

Oponent

RNDr. Marek Chalupa, Ph.D.
KTP 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.

Podobné práce

  • 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.