Targeting the Cell Broadband Engine for constraint‐based local search

We investigated the use of the Cell Broadband Engine (Cell/BE) for constraint‐based local search and combinatorial optimization applications. We presented a parallel version of a constraint‐based local search algorithm that was chosen because it fits very well the Cell/BE architecture because it requires neither shared memory nor communication among processors. The performance study on several large optimization benchmarks shows mostly linear time speedups, sometimes even super linear. These experiments were carried out on a dual‐Cell IBM (Armonk, NY, USA) blade with 16 processors. Besides getting speedups, the execution times exhibit a much smaller variance that benefits applications where a timely reply is critical. Copyright © 2011 John Wiley & Sons, Ltd.

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

[2]  Christian Bessiere,et al.  Constraint Propagation , 2006, Handbook of Constraint Programming.

[3]  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.

[4]  Michela Milano.  Principles and Practice of Constraint Programming , 2012, Lecture Notes in Computer Science.

[5]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[6]  Serdar Kadioglu,et al.  Dialectic Search , 2009, CP.

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

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

[9]  Pascal Van Hentenryck,et al.  Parallelizing Constraint Programs Transparently , 2007, CP.

[10]  Dragan Bosnacki,et al.  The Design of a Multicore Extension of the SPIN Model Checker , 2007, IEEE Transactions on Software Engineering.

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

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

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

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

[15]  Pascal Van Hentenryck,et al.  Parallel and distributed local search in COMET , 2009, Comput. Oper. Res..

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

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

[18]  Philippe Codognet,et al.  Yet Another Local Search Method for Constraint Solving , 2001, SAGA.

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

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

[21]  P. Codognet,et al.  Musical constraint satisfaction problems solved with adaptive search , 2004, Soft Comput..

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

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

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

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

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

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

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

[29]  C. J. Bouwkamp,et al.  Catalogue of simple perfect squared squares of orders 21 through 25 , 1992 .

[30]  T. Koopmans,et al.  Assignment Problems and the Location of Economic Activities , 1957 .

[31]  Jin-Kao Hao,et al.  A General Approach for Constraint Solving by Local Search , 2004, J. Math. Model. Algorithms.

[32]  Richard M. Wilson,et al.  A course in combinatorics , 1992 .