We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Distributed, Parallel, and Cluster Computing

Title: Analysing the Performance of GPU Hash Tables for State Space Exploration

Authors: Nathan Cassee (Eindhoven University of Technology, Eindhoven, The Netherlands), Anton Wijs (Eindhoven University of Technology, Eindhoven, The Netherlands)
Abstract: In the past few years, General Purpose Graphics Processors (GPUs) have been used to significantly speed up numerous applications. One of the areas in which GPUs have recently led to a significant speed-up is model checking. In model checking, state spaces, i.e., large directed graphs, are explored to verify whether models satisfy desirable properties. GPUexplore is a GPU-based model checker that uses a hash table to efficiently keep track of already explored states. As a large number of states is discovered and stored during such an exploration, the hash table should be able to quickly handle many inserts and queries concurrently. In this paper, we experimentally compare two different hash tables optimised for the GPU, one being the GPUexplore hash table, and the other using Cuckoo hashing. We compare the performance of both hash tables using random and non-random data obtained from model checking experiments, to analyse the applicability of the two hash tables for state space exploration. We conclude that Cuckoo hashing is three times faster than GPUexplore hashing for random data, and that Cuckoo hashing is five to nine times faster for non-random data. This suggests great potential to further speed up GPUexplore in the near future.
Comments: In Proceedings GaM 2017, arXiv:1712.08345
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
Journal reference: EPTCS 263, 2017, pp. 1-15
DOI: 10.4204/EPTCS.263.1
Cite as: arXiv:1712.09494 [cs.DC]
  (or arXiv:1712.09494v1 [cs.DC] for this version)

Submission history

From: EPTCS [view email]
[v1] Wed, 27 Dec 2017 05:14:23 GMT (211kb,D)

Link back to: arXiv, form interface, contact.