An analytical performance model for parallel production systems

Abstract

An analytical model for parallel production systems is developed, where rule firing is modeled as a transaction. Both resource contention and data contention are modeled in detail, and the performance of locking-based and optimistic approaches is analyzed. It is shown that significant speedup can be gained in parallel rule execution. The main contribution is the insight into parallel rule firing provided by the parametric model.<>