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

Mgr. Jiří Weiser

Bakalářská práce

Dynamically growing shared hash table for DiVinE

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 20. 5. 2013

Obhajoba závěrečné práce

• Obhajoba proběhla 17. 6. 2013
• Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
• Oponent: RNDr. Petr Ročkai, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika