Article ID Journal Published Year Pages File Type
422256 Electronic Notes in Theoretical Computer Science 2008 13 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics