Luuk Verkleij - Performance improvement of state compression on GPU

author:Luuk Verkleij
title:Performance improvement of state compression on GPU
keywords:
topics:Algorithms and Data Structures
committee:prof.dr. M. Huisman
S. Darabi MSc
graduation date:24 January 2016


Abstract

Since 2005 it has become apparent that CPU sequential
speed fails to increase exponentially, making parallel com-
puting like GPU computing more important. The devel-
opment of GPUExplore has shown that model checkers are
one of the applications that could benefit from this trend.
This paper contributes to increasing model checkers speed
by redesigning a hash table algorithm, used by the model
checkers LTSmin and GPUExplore. In this paper we com-
pare the performance of three different designs, including
a new proposed design. Based on the data we have gather,
we claim that our design performance is better than the
others