skip to main content
10.1145/1389449.1389453acmconferencesArticle/Chapter ViewAbstractPublication PagesppdpConference Proceedingsconference-collections
research-article

Parallel execution of multi-set constraint rewrite rules

Published: 15 July 2008 Publication History

Abstract

Multi-set constraint rewriting allows for a highly parallel computational model and has been used in a multitude of application domains such as constraint solving, agent specification etc. Rewriting steps can be applied simultaneously as long as they do not interfere with each other.We wish that the underlying constraint rewrite implementation executes rewrite steps in parallel on increasingly popular becoming multi-core architectures. We design and implement efficient algorithms which allow for the parallel execution of multi-set constraint rewrite rules. Our experiments show that we obtain some significant speed-ups on multi-core architectures

References

[1]
S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Proc. of CP¿97, LNCS, pages 252--266. Springer-Verlag, 1997.
[2]
G. J. Duck. Compilation of Constraint Handling Rules. PhD thesis, The University of Melbourne, 2005.
[3]
G. J. Duck, P. J. Stuckey, M. J. García de la Banda, and C. Holzbaur. The refined operational semantics of Constraint Handling Rules. In Proc of ICLP'04, volume 3132 of LNCS, pages 90--104. Springer-Verlag, 2004.
[4]
C. Forgy. A fast algorithm for the many patterns/many objects match problem. Artificial Intelligence, 19(1):17--37, 1982.
[5]
T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming, 37(1-3):95--138, 1998.
[6]
T. Frühwirth. Parallelizing union-find in Constraint Handling Rules using confluence analysis. In Proc. of ICLP'05, volume 3668 of LNCS, pages 113--127. Springer-Verlag, 2005.
[7]
T. Frühwirth. Constraint handling rules: the story so far. In Proc. of PPDP '06, pages 13--14. ACM Press, 2006.
[8]
Glasgow haskell compiler home page. http://www.haskell.org/ghc/.
[9]
A. Gupta, C. Forgy, A. Newell, and R. G. Wedig. Parallel algorithms and architectures for rule-based systems. In Proc. of ISCA'86, pages 28--37, 1986.
[10]
C. Holzbaur, M. J. García de la Banda, P. J. Stuckey, and G. J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. TPLP, 5(4-5):503--531, 2005.
[11]
T. Ishida. Parallel rule firing in production systems. IEEE Transactions on Knowledge and Data Engineering, 3(1):11--17, 1991.
[12]
L. De Koninck, T. Schrijvers, and B. Demoen. User-definable rule priorities for CHR. In Proc. of PPDP'07, pages 25--36. ACM, 2007.
[13]
L. De Koninck, P.J. Stuckey, and G.J. Duck. Optimizing compilation of CHR with rule priorities. In Proc. of FLOPS'08, 2008. To appear.
[14]
The K.U. Leuven CHR System. http://www.cs.kuleuven.be/~toms/Research/CHR.
[15]
E. S. L. Lam and M. Sulzmann. A concurrent Constraint Handling Rules implementation in Haskell with software transactional memory. In Proc. of ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming (DAMP'07), pages 19--24, 2007.
[16]
S. Marlow, T. Harris, R. P. James, and S. Peyton Jones. Parallel generational-copying garbage collection with a block-structured heap. In Proc. of International Symposium on Memory Management 2008, 2008. To appear.
[17]
C. Perfumo, N. Sonmez, O. S. Unsal, A. Cristal, M. Valero, and T. Harris. Dissecting transactional executions in Haskell. In The Second ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), 2007.
[18]
T. Schrijvers. Analyses, optimizations and extensions of Constraint Handling Rules: Ph.D. summary. In Proc. of ICLP'05, volume 3668 of LNCS, pages 435--436. Springer-Verlag, 2005.
[19]
M. Stahl. Implementing CHR with STM, March 2007. personal communication.
[20]
P. Van Weert, T. Schrijvers, and B. Demoen. K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java. In Proc. of Second Workshop on Constraint Handling Rules, pages 47--62, 2005.

Cited By

View all
  • (2018)Parallelism, concurrency and distribution in constraint handling rules: A surveyTheory and Practice of Logic Programming10.1017/S147106841800007818:5-6(759-805)Online publication date: 23-May-2018
  • (2015)Constraint Handling Rules - What Else?Rule Technologies: Foundations, Tools, and Applications10.1007/978-3-319-21542-6_2(13-34)Online publication date: 12-Jul-2015
  • (2012)Compiling CHR to parallel hardwareProceedings of the 14th symposium on Principles and practice of declarative programming10.1145/2370776.2370798(173-184)Online publication date: 19-Sep-2012
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
July 2008
278 pages
ISBN:9781605581170
DOI:10.1145/1389449
  • General Chair:
  • Sergio Antoy,
  • Program Chair:
  • Elvira Albert
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 July 2008

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Conference

PPDP08
Sponsor:

Acceptance Rates

PPDP '08 Paper Acceptance Rate 24 of 48 submissions, 50%;
Overall Acceptance Rate 230 of 486 submissions, 47%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2018)Parallelism, concurrency and distribution in constraint handling rules: A surveyTheory and Practice of Logic Programming10.1017/S147106841800007818:5-6(759-805)Online publication date: 23-May-2018
  • (2015)Constraint Handling Rules - What Else?Rule Technologies: Foundations, Tools, and Applications10.1007/978-3-319-21542-6_2(13-34)Online publication date: 12-Jul-2015
  • (2012)Compiling CHR to parallel hardwareProceedings of the 14th symposium on Principles and practice of declarative programming10.1145/2370776.2370798(173-184)Online publication date: 19-Sep-2012
  • (2011)Concurrent goal-based execution of constraint handling rulesTheory and Practice of Logic Programming10.1017/S147106841000044X11:6(841-879)Online publication date: 1-Nov-2011

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media