Shared Hash Tables in Parallel Model Checking

BARNAT, Jiří a Petr ROČKAI. Shared Hash Tables in Parallel Model Checking. Electronic Notes in Theoretical Computer Science. Elsevier, 2008, roč. 2008, 198(1), s. 79-91, 12 s. ISSN 1571-0661.

Základní údaje

• Originální název: Shared Hash Tables in Parallel Model Checking
• Název česky: Sdílené hašovací tabulky v paralelním model checkingu
• Autoři: BARNAT, Jiří (203 Česká republika, garant) a Petr ROČKAI (203 Česká republika).
• Vydání: Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 1571-0661.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Článek v odborném periodiku
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Německo
• Utajení: není předmětem státního či obchodního tajemství
• Kód RIV: RIV/00216224:14330/08:00024166
• Organizační jednotka: Fakulta informatiky
• Klíčová slova anglicky: Hash tables; locking schemes; parallel
• Štítky: Hash tables, locking schemes, parallel
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. Since usage of shared state storage allows for techniques unavailable in distributed memory, these are evaluated, both theoretically and practically, in a prototype implementation. Experimental data is presented to assess practical utility of those techniques, compared to static partitioning of state space, more traditional in distributed memory algorithms.

Anotace česky

Vzhledem k výraznému posunu výzkumu v paralelním explicitním model checkingu směrem k platformám se sdílenou pamětí je smyslem článku prozkoumat a vyhodnotit výhody a nevýhody přístupů implementace algoritmů se sdílenou a privátní hašovací tabulkou. Přístupy jsou vyhodnoceny jak po teoretické stránce, tak i prakticky s využitím prototypové implementace. Experimentální data jsou prezentována a porovnána s statickým dělením práce typickým pro algoritmy pracující s distribuovanou pamětí.

Návaznosti

• GA201/06/1338, projekt VaV: Název: Automatizovaná verifikace softwaru

Investor: Grantová agentura ČR, Automatizovaná verifikace softwaru

• MSM0021622419, záměr: Název: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy

• 1ET408050503, projekt VaV: Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů

Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů

• 1M0545, projekt VaV: Název: Institut Teoretické Informatiky

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky