Bakalářská práce

Dynamicky rostoucí sdílená hašovací tabulka pro DiVinE

Dynamically growing shared hash table for DiVinE

Jiří Weiser, učo 374154
Anotace

V práci jsou prezentovány struktury, které umožňují procházení grafu ve sdílené paměti. Dál jsou v práci prezentovány různá řešení sdílené hašovací tabulky. Na závěr práce jsou provedena měření, která porovnávají stávající implementaci struktur oproti nové implementaci.

Abstract

This thesis presents data structures for graph exploration in shared memory. The thesis also present different implementations of the shared hash table. At the end of the thesis, some experiments comparing the old and the new implementation of graph exploration are presented.

Klíčová slova
Ověřování modelů Hašovací tabulka Lock-free struktury Datové struktury Sdílená paměť Procházení grafu Paralelní programy
Zadání práce
Cílem projektu je modifikovat stávající schéma práce verifikačního nástroje DiVinE tak, aby pro paralelní platformy se sdílenou pamětí využíval jedné sdílené fronty pro uchování dosud nezpracovaných stavů. Součástí změny struktury nástroje je zejména implementace sdílené dynamicky rostoucí hašovací tabulky podporující operace vkládání a vyhledávání záznamů. Efektivita výsledné implementace bude vyhodnocena na vhodné případové studii s využitím paralelní architektury s více jak 16 výpočetními jádry.
Administrativní informace
Práce zkontrolována:
21. 5. 2013 08:49, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
693,2 KB / soubor PDF
Přílohy (1)
Jazyk práce
čeština čeština
Termín obhajoby
17. 6. 2013
Práce byla úspěšně obhájena

Vedoucí

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

Oponent

RNDr. Petr Ročkai, Ph.D., učo 139761
KPSK FI MU

Literatura

  • GRUMBERG, Orna; Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná 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.