Transparent Parallelization of Constraint Programming

  • Authors:
  • Laurent Michel;Andrew See;Pascal Van Hentenryck

  • Affiliations:
  • Computer Science and Engineering, University of Connecticut, Storrs, Connecticut 06269;Computer Science and Engineering, University of Connecticut, Storrs, Connecticut 06269;Brown University, Providence, Rhode Island 02912

  • Venue:
  • INFORMS Journal on Computing
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The availability of commodity multicore and multiprocessor machines and the inherent parallelism in constraint programming search offer significant opportunities for constraint programming. These opportunities also present a fundamental challenge: how to exploit parallelism transparently to speed up constraint programs. This paper shows how to parallelize constraint programs transparently without changes to the sequential code. The main technical idea consists of automatically lifting a sequential exploration strategy into its parallel counterpart, allowing workers to share and steal subproblems. Experimental results show that the parallel implementation may produce significant speedups on multicore machines.