Distributed Work Stealing for Constraint Solving

With the dissemination of aordable parallel and distributed hardware, parallel and distributed constraint solving has lately been the focus of some attention. To eectually apply the power of distributed computational systems, there must be an eective sharing of the work involved in the search for a solution to a Constraint Satisfaction Problem (CSP) between all the participating agents, and it must happen dynami- cally, since it is hard to predict the eort associated with the exploration of some part of the search space. We describe and provide an experimen- tal assessment of an implementation of a work stealing-based approach to parallel CSP solving in a distributed setting.

[1]  Krzysztof Kuchcinski,et al.  Load-balancing methods for parallel and distributed constraint solving , 2008, 2008 IEEE International Conference on Cluster Computing.

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

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

[4]  Pascal Van Hentenryck,et al.  Transparent Parallelization of Constraint Programming , 2009, INFORMS J. Comput..

[5]  Pascal Van Hentenryck.  Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys , 1989, ICLP.

[6]  Barry Wilkinson,et al.  Parallel programming , 1998 .

[7]  Rolf Backofen,et al.  Bioinformatics and Constraints , 2001, Constraints.

[8]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[9]  Amnon Meisels,et al.  Concurrent search for distributed CSPs , 2006, Artif. Intell..

[10]  M.-C. Silaghi,et al.  Parallel Proposals in Asynchronous Search , 2001 .

[11]  Peter J. Stuckey,et al.  Confidence-Based Work Stealing in Parallel Constraint Programming , 2009, CP.

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

[13]  Salvador Abreu,et al.  Network Monitoring with Constraint Programming: Preliminary Specification and Analysis , 2009, INAP.

[14]  Christian Schulte,et al.  Parallel Search Made Simple , 2000 .

[15]  Matteo Frigo,et al.  The implementation of the Cilk-5 multithreaded language , 1998, PLDI.

[16]  H. Heinimann.  Swiss Federal Institute of Technology (ETH) , 2002 .