Parallel OPS5 User's Manual

This document is a reference manual for ParaOPS5, a parallel version of the OPS5 production system language. ParaOPS5 is implemented in C, and runs on shared memory multiprocessors. While it is intended for use on shared memory multiprocessors, it is also suitable for uniprocessor machines. ParaOPS5 does not change the computational model or the functionality of OPS5. Instead, it exploits parallelism in the match phase of OPS5. Exploiting parallelism at a very fine granularity in the match phase has allowed ParaOPS5 to achieve significant speed-ups. 1 Department of Computer Science, Stanford University, Stanford, CA PARALLEL OPS5 1 1. Introduction The goal of the production system machine (PSM) project at Carnegie Mellon University is to create software and hardware technology for parallel rule-based systems. This document is a reference manual of our parallel implementation of the OPS5 production system language [1, 2], called ParaOPS5. ParaOPS5 is based on the parallel implementa..