Parallel implementation of OPS5 on the encore multiprocessor: Results and analysis

Until now, most results reported for parallelism in production systems (rulebased systems) have been simulation results-very few real parallel implementations exist. In this paper, we present results from our parallel implementation of OPS5 on the Encore multiprocessor. The implementation exploits very finegrained parallelism to achieve significant speed-ups. For one of the applications, we achieve 12.4 fold speed-up using 13 processes. Our implementation is also distinct from other parallel implementations in that we parallelize a highly optimized C-based implementation of OPS5. Running on a uniprocessor, our C-based implementation is 10–20 times faster than the standard lisp implementation distributed by Carnegie Mellon University. In addition to presenting the performance numbers, the paper discusses the details of the parallel implementation-the data structures used, the amount of contention observed for shared data structures, and the techniques used to reduce such contention.

[1]  David Elliot Shaw,et al.  Execution of OPS5 Production Systems on a Massively Parallel Machine , 1986, J. Parallel Distributed Comput..

[2]  Daniel P. Siewiorek,et al.  WEAVER: A Knowledge-Based Routing Expert , 1985, DAC 1985.

[3]  Edward J. Krall,et al.  A case study of parallel execution of a rule-based expert system , 2005, International Journal of Parallel Programming.

[4]  Daniel P. Miranker TREAT: A new and efficient match algorithm for AI production systems , 1988 .

[5]  Huei-Huang Chen,et al.  Parallel execution on production systems , 1990, Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 1990.

[6]  Peter M. Kogge,et al.  An Architectural Trail to Threaded-Code Systems , 1982, Computer.

[7]  T. Lehr rica ! an uter Engi The Implementation of A Production System Machine , 1985 .

[8]  Daniel P. Siewiorek,et al.  WEAVER: A Knowledge-Based Routing Expert , 1985, IEEE Design & Test of Computers.

[9]  Allen Newell,et al.  Soar/PSM-E: investigating match parallelism in a learning production sytsem , 1988, PPoPP 1988.

[10]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[11]  Charles L. Forgy,et al.  The OPS83 report , 1984 .

[12]  Allen Newell,et al.  Parallel algorithms and architectures for rule-based systems , 1986, ISCA '86.

[13]  Donald W. Bouldin,et al.  Parallel architecture for OPS5 , 1988, ISCA '88.

[14]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[15]  Anoop Gupta Parallelism in production systems , 1987 .

[16]  Anoop Gupta,et al.  Suitability of Message Passing Computers for Implementing Production Systems , 1988, AAAI.

[17]  Anoop Gupta,et al.  Comparison of the RETE and TREAT production matchers for soar (A summary) , 1988, AAAI 1988.