| | |
Summary: Increasing Production System Parallelism via Synchronization
Minimization and CheckAhead Conflict Resolution \Lambda
ChangYu Wang and Albert Mo Kim Cheng
Department of Computer Science
University of Houston
Houston, TX 772043475
Email:cheng@cs.uh.edu
Abstract -- This paper explores new techniques
to improve the performance of production or rule
based systems. In particular, a rulesplitting mech
anism using constraint domain analysis and a check
rule mechanism are proposed to extract internal paral
lelism among rules. This rulesplitting mechanism can
also be used to solve the load balancing problem caused
by culprit rules which require comparisons with many
more working memory elements than those of other
rules. In addition, a new conflict resolution strategy,
called CheckAhead Conflict Resolution, based on the
lastin firstout scheduling discipline is presented to
select multiple instantiations to fire simultaneously.
|