AAAI

Association for the Advancement of Artificial Intelligence

Home > Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 36 > No. 4: AAAI-22 Technical Tracks 4

A Variant of Concurrent Constraint Programming on GPU

Authors

Pierre Talbot

University of Luxembourg Interdisciplinary Centre for Security, Reliability and Trust (SnT)


Frédéric G Pinel

University of Luxembourg Interdisciplinary Centre for Security, Reliability and Trust (SnT)


Pascal Bouvry

University of Luxembourg Interdisciplinary Centre for Security, Reliability and Trust (SnT)


Proceedings:

No. 4: AAAI-22 Technical Tracks 4

Volume

Issue:

Proceedings of the AAAI Conference on Artificial Intelligence, 36

Track:

AAAI Technical Track on Constraint Satisfaction and Optimization

Downloads:

Download PDF

Abstract:

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.

DOI:

10.1609/aaai.v36i4.20298


AAAI

Proceedings of the AAAI Conference on Artificial Intelligence, 36