The PARADISER
system includes a compiler for a rule programming language
that was designed with "maximum parallelism" as its inherent semantics.
PARULEL is designed with the opposite view from OPS5 semantics. Rather
than selecting only one or a few rules that would be executed
according to predefined sequential semantics, PARULEL's semantics is
simply "execute all rules" that are matched by the current state of
the database. Throttling up too much parallelism is PARULEL's primary
problem, which was solved with a "meta-rule" mechanism that
redacted programmer defined rule instances from firing. This
semantics was studied
within the PARADISER system and performance results showing increases
in speed-ups were demonstrated. ALEXSYS is one of the primary demonstration
programs used in this work.
BACK