Suitability of Message Passing Computers for Implementing Production Systems

Two important parallel architecture types are the shared-memory architectures and the message-passing architectures. In the past researchers working on the parallel implementations of production systems have focussed either on shared-memory multiprocessors or on special purpose architectures. Message-passing computers have not been studied. The main reasons have been the large message-passing latency (as large as a few milliseconds) and high message reception overheads (several hundred microseconds) exhibited by the first generation message-passing computers. These overheads are too large for the parallel implementation of production systems, where it is necessary to exploit parallelism at a very fine granularity to obtain significant speed-up (subtasks execute about 100 machine instructions). However, recent advances in interconnection network technology and processing node design have cut the network latency and message reception overhead by 2-3 orders of magnitude, making these computers much more interesting. In this paper we present techniques for mapping production systems onto message-passing computers. We show that using a concurrent distributed hash table data structure, it is possible to exploit parallelism at a very fine granularity and to obtain significant speed-ups from parallelism1.

[1]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[2]  Marc Abrams The object library for parallel simulation (OLPS) , 1988, WSC '88.

[3]  Alain J. Martin,et al.  The architecture and programming of the Ametek series 2010 multicomputer , 1988, C3P.

[4]  Daniel P. Miranker TREAT: A new and efficient match algorithm for AI production systems , 1988 .

[5]  Andrew A. Chien,et al.  Architecture of a message-driven processor , 1987, ISCA '87.

[6]  David Elliot Shaw,et al.  Execution of OPS5 Production Systems on a Massively Parallel Machine , 1986, J. Parallel Distributed Comput..

[7]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[8]  Kemal Oflazer,et al.  Partitioning in parallel processing of production systems , 1987 .

[9]  Charles L. Seitz,et al.  The cosmic cube , 1985, CACM.

[10]  Allen Newell,et al.  Parallel OPS5 on the Encore Multimax , 1988, ICPP.

[11]  Elaine Kant,et al.  Programming expert systems in OPS5 , 1985 .

[12]  Allen Newell,et al.  Soar/PSM-E: investigating match parallelism in a learning production sytsem , 1988, PPoPP 1988.

[13]  Anoop Gupta Parallelism in production systems , 1987 .

[14]  Gerhard Zimmermann,et al.  PESA I-A Parallel Architecture for Production Systems , 1987, ICPP.

[15]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[16]  Charles L. Forgy,et al.  The OPS83 report , 1984 .

[17]  William J. Dally,et al.  A VLSI Architecture for Concurrent Data Structures , 1987 .