Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit
Faculty of Engineering and Computer Sciences, Ulm University, Germany
Ninth International Workshop on Constraint Handling Rules (CHR ’12), 2012
@article{zaki2012parallel,
title={Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit},
author={Amira Zaki, Thom Fruhwirth, Ilvar Geller},
year={2012}
}
Graphical Processing Units (GPUs) consist of hundreds of small cores, collectively operating to provide massive computation capabilities. The aim of this work is to utilize this technology to execute Constraint Handling Rules (CHR) which are inherently parallel. A translation scheme is defined to transform a subset of CHR rules to C/C++, then to use a GPU to fire the rules on all combinations of constraints. As proof of concept, the scheme was performed on several CHR examples.
September 28, 2012 by hgpu
