|
Abstract : |
Abs&oct--To improve the performance of forward chaining production systems, a new parallel execution model is proposed, where multiple production rules are Bred in parallel in each production cycle. This paper provides solutions for three major problems in parallel rule firing. The interference analysis, which detects cases where a parallel firing result is different from the result of any sequential Bring. Based on a data dependency graph of production systems, we propose general techniques applicable to both compile- and run-time interference analyses. The pamlleljring algorithms, which achieve the parallel firing on multiple processor architectures. An efficient selection algorithm is provided to select multiple rules to be tired in parallel by combining the compileand run-time interference analysis techniques. The parallel programming environment, which provides language facilities to enable programmers to make full use of potential parallelism without considering the internal parallel mechanisms. A parallel firing simulator is also implemented to estimate the effectiveness of parallel firings of production system programs. We have evaluated the effectiveness of parallel rule firings on several production system applications. Results show that the degree of concurrency can be increased by a factor of 2-9. The sources of parallelism are investigated based on the evaluation results., |
