Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture

We investigate the use of the Cell Broadband Engine (Cell/BE) for Combinatorial Optimization applications. We present a parallel version of a constraint-based Local Search algorithm which was chosen because it fits very well the Cell/BE architecture since it requires neither shared memory nor communication between processors. The performance study on several large optimization benchmarks shows mostly linear time speedups, even sometimes super-linear. These experiments were done on a Dual-Cell IBM Blade with 16 processors. Besides getting speedups, the execution times exhibit a much smaller variance, which benefits applications where a timely reply is critical.

[1]  Panos M. Pardalos,et al.  Parallel Search for Combinatorial Optimization : Genetic Algorithms , Simulated Annealing , Tabu Search and GRASP ? , 1995 .

[2]  Steven Minton,et al.  Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems , 1992, Artif. Intell..

[3]  Kazunori Ueda,et al.  c-sat: A Parallel SAT Solver for Clusters , 2009, SAT.

[4]  Teodor Gabriel Crainic,et al.  Introduction to the Special Issue on Parallel Meta-Heuristics , 2002, J. Heuristics.

[5]  Ibm Redbooks,et al.  Programming the Cell Broadband Engine Architecture: Examples and Best Practices , 2008 .

[6]  Bernd Becker,et al.  PaMiraXT: Parallel SAT Solving with Threads and Message Passing , 2009, J. Satisf. Boolean Model. Comput..

[7]  Toby Walsh,et al.  CSPLIB: A Benchmark Library for Constraints , 1999, CP.

[8]  Pascal Van Hentenryck,et al.  Distributed Constraint-Based Local Search , 2006, CP.

[9]  Nouredine Melab,et al.  Parallel Local Search on GPU , 2009 .

[10]  Makoto Yokoo,et al.  The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..

[11]  Emile H. L. Aarts,et al.  Parallel local search , 1995, J. Heuristics.

[12]  Philippe Codognet,et al.  An Efficient Library for Solving CSP with Local Search , 2003 .

[13]  Jacques Chassin de Kergommeaux,et al.  Parallel logic programming systems , 1994, CSUR.

[14]  Celso C. Ribeiro,et al.  Probability Distribution of Solution Time in GRASP: An Experimental Investigation , 2002, J. Heuristics.

[15]  Peter J. Stuckey,et al.  PMiniSat - A parallelization of MiniSat 2.0 , 2008 .

[16]  Pierre Hansen,et al.  Cooperative Parallel Variable Neighborhood Search for the p-Median , 2004, J. Heuristics.

[17]  Laurent Perron.  Search Procedures and Parallelism in Constraint Programming , 1999, CP.

[18]  Lakhdar Sais,et al.  ManySAT: a Parallel SAT Solver , 2009, J. Satisf. Boolean Model. Comput..

[19]  Rui Machado,et al.  The Fraunhofer virtual machine: a communication library and runtime system based on the RDMA model , 2009, Computer Science - Research and Development.