finin@prc.unisys.com (Tim Finin) (03/25/89)
AI SEMINAR
UNISYS PAOLI RESEARCH CENTER
Guaranteeing Serializable Results in Parallel Production Systems
Jim Schmolze
Computer Science
Tufts University
schmolze@cs.tufts.edu
To speed up production systems, researchers have studied how to execute many
rules simultaneously. Unfortunately, such systems can yield results that are
impossible for a serial system to produce, leading to erroneous behaviors. We
present algorithms that prevent all non-serializable effects for parallel
production systems that execute many rules simultaneously. Our framework is
taken from [1] and improves upon their solution. The practical advantages of
these strategies is demonstrated using estimates from a large production
system, the Manhattan Mapper [2].
[1] T. Ishida and S.J. Stolfo. "Towards the parallel execution of
rules in production system programs." In Proceedings of the
International Conference on Parallel Processing, 1985.
[2] L. Lerner and J. Cheng. "The Manhattan Mapper expert production
system." Tech. Report, Computer Science, Columbia , May 1983.
11:00 am, Monday April 3, 1989
BIC Conference Room
Unisys Paoli Research Center
Route 252 and Central Ave.
Paoli PA 19311
-- non-Unisys visitors who are interested in attending should --
-- send email to finin@prc.unisys.com or call 215-648-7446 --
--
Tim Finin finin@prc.unisys.com (internet)
Unisys Paoli Research Center ..!{psuvax1,sdcrdcf,cbmvax}!burdvax!finin (uucp)
PO Box 517 215-648-7446 (office), 215-386-1749 (home),
Paoli, PA 19301 215-648-7412 (fax)