A Variant of Concurrent Constraint Programming on GPU

07/18/2022
by   Pierre Talbot, et al.
0

The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the clock speed of processors stagnates. Unfortunately, constraint programming solvers do not take advantage yet of GPU parallelism. One reason is that constraint solvers were primarily designed within the mental frame of sequential computation. To solve this issue, we take a step back and contribute to a simple, intrinsically parallel, lock-free and formally correct programming language based on concurrent constraint programming. We then re-examine parallel constraint solving on GPUs within this formalism, and develop Turbo, a simple constraint solver entirely programmed on GPUs. Turbo validates the correctness of our approach and compares positively to a parallel CPU-based solver.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/04/2019

GPU-based parallelism for ASP-solving

Answer Set Programming (ASP) has become, the paradigm of choice in the f...
research
09/13/2021

Specifying and Testing GPU Workgroup Progress Models

As GPU availability has increased and programming support has matured, a...
research
09/15/2020

Term Rewriting on GPUs

We present a way to implement term rewriting on a GPU. We do this by let...
research
09/19/2019

Experimenting with Constraint Programming on GPU

The focus of my PhD thesis is on exploring parallel approaches to effici...
research
07/25/2019

Spacetime Programming: A Synchronous Language for Composable Search Strategies

Search strategies are crucial to efficiently solve constraint satisfacti...
research
02/24/2014

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach

We propose a timed and soft extension of Concurrent Constraint Programmi...
research
02/17/2023

GPU Offloading in ExaHyPE Through C++ Standard Algorithms

The ISO C++17 standard introduces parallel algorithms, a parallel progra...

Please sign up or login with your details

Forgot password? Click here to reset