多核体系结构的多组约束重写规则的并行执行

We give a parallel implementation of Constraint Handling Rules implemented as a library using the Glasgow Haskell Compiler. Constraint Handling Rules (CHR) is a multi set constraint rewrite formalism which supports a very fine-grained form of parallelism. CHR rules can be applied in parallel if the rewriting steps they imply do not interfere with each other. Our implementation runs on multi-core architectures. Our experiments show that CHR program run generally faster given more processor cores.

src
Blockworld.hs
CVS
DiningPhilo.hs
Fibo.hs
Gcd
Gcd.hi
Gcd.hs
Gcd.o
Makefile
Mergesort.hs
MiniParallelCHR
Misc
Prime.hs
PUnionFind.hs
readme
TuringMachine.hs