A Component-Based Parallel Constraint Solver

  • Peter Zoeteweij
  • Farhad Arbab
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2949)


As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The parallel solver coordinates autonomous instances of a sequential constraint solver, which is used as a software component. The component solvers achieve load balancing of tree search through a time-out mechanism. Experiments show that the purely exogenous mode of coordination employed here yields a viable parallel solver that effectively reduces turn-around time for constraint solving on a broad range of hardware platforms.


component-based software engineering coordination parallelization constraint solving 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Apt, K.R.: The Rough Guide to Constraint Propagation. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 1–23. Springer, Heidelberg (1999)Google Scholar
  2. 2.
    Arbab, F.: The IWIM Model for Coordination of Concurrent Activities. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 34–56. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  3. 3.
    Arbab, F., Monfroy, E.: Distributed Splitting of Constraint Satisfaction Problems. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 115–132. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 4.
    Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. 5.
    Arbab, F., Rutten, J.J.M.M.: A Coinductive Calculus of Component Connectors. Technical report SEN-R0216, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands (September 2002)Google Scholar
  6. 6.
    Arbab, F., Baier, C., Rutten, J.J.M.M., Sirjani, M.: Modeling Component Connectors in Reo by Constraint Automata (extended abstract). In: Proceedings of the 2nd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2003) (2003) (to appear on ENTCS)Google Scholar
  7. 7.
    Habbas, Z., Krajecki, M., Singer, D.: Shared Memory Implementation of Constraint Satisfaction Problem Resolution. Parallel Processing Letters 11(4), 487–501 (2001)CrossRefGoogle Scholar
  8. 8.
    Monfroy, E.: A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation. In: Carroll, Damiani, Haddad, Oppenheim (eds.) Proceedings of the 2000 ACM Symposium on Applied Computing, pp. 262–269. ACM Press, New York (2000)CrossRefGoogle Scholar
  9. 9.
    Monfroy, E., Arbab, F.: Constraints Solving as the Coordination of Inference Engines. In: Omicini, Zambonelli, Klusch, Tolksdorf (eds.) Coordination of Internet Agents: Models, Technologies and Applications, Springer, Heidelberg (2001)Google Scholar
  10. 10.
    Perron, L.: Search Procedures and Parallelism in Constraint Programming. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 346–360. Springer, Heidelberg (1999)Google Scholar
  11. 11.
    Schulte, C.: Comparing Trailing and Copying for Constraint Programming. In: De Schreye (ed.) Proceedings of the Sixteenth International Conference on Logic Programming, Las Cruces, NM, USA, November 1999, pp. 275–289. The MIT Press, Cambridge (1999)Google Scholar
  12. 12.
    Schulte, C.: Parallel Search Made Simple. In: Beldiceanu, et al. (eds.) Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a postconference workshop of CP 2000 (September 2000)Google Scholar
  13. 13.
    Stam, A.: A Framework for Coordinating Parallel Branch and Bound Algorithms. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 332–339. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  14. 14.
    Zoeteweij, P.: A Coordination-Based Framework for Distributed Constraint Solving. In: O’Sullivan (ed.) DEXA 2003. LNCS (LNAI), vol. 2736, Springer, Heidelberg (2003)Google Scholar
  15. 15.
    Zoeteweij, P.: Coordination-Based Distributed Constraint Solving in DICE. In: Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), Melbourne, FL, USA, pp. 360–366. ACM, New York (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Peter Zoeteweij
    • 1
  • Farhad Arbab
    • 1
  1. 1.CWIAmsterdamthe Netherlands

Personalised recommendations