This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Implementation of Production Systems on Message-Passing Computers
July 1992 (vol. 3 no. 4)
pp. 477-487
The authors examine the suitability of message-passing computers for parallel implementations of production systems. Two mappings for production systems on these computers, one targeted toward fine-grained message-passing machines and the other targeted toward medium-grained machines, are presented. Simulation results for the medium-grained mapping are presented, and it is shown that it is possible to exploit the available parallelism and to obtain reasonable speedups. The authors perform a detailed analysis of the results and suggest solutions for some of the problems.

[1] A. Acharya and M. Tambe, "Production systems on message-passing computers: Simulation results and analysis," inProc. Int. Conf. Parallel Processing, 1989, pp. 246-254.
[2] J. R. Anderson,The Architecture of Cognition. Cambridge: MA, Harvard Univ. Press, 1983.
[3] E.A. Arnould et al., "The Design of Nectar: A Network Backplane for Heterogeneous Multicomputers,"Proc. Third Int'l Conf. Architectural Support for Programming Languages and Operating Systems, ACM, New York, 1989, pp. 205-216.
[4] W. C. Athas and C. L. Sietz, "Multicomputers: Message-passing concurrent computers,"IEEE Comput. Mag., vol. 46, pp. 9-24, Aug. 1988.
[5] J. Bachant and J. McDermott, "R1 revisited: Four years in the trenches,"AI Mag., vol. 5, no. 3, pp. 21-32, 1984.
[6] F. Bitz, Simulator for the Nectar multiprocessor, personal communication, Comput. Sci. Dep., Mar. 1988. Carnegie Mellon Univ., Sept., 1988.
[7] L. Brownston et al.,Programming Expert Systems in OPS5, An Introduction to Rule-Based Programming, Addison Wesley, Reading, Mass., 1985, Chapter 4, pp. 161- 164.
[8] P. L. Butler, J. D. Allen, and D. W. Bouldin, "Parallel architecture for OPS5," inProc. Fifteenth Int. Symp. Comput. Architecture, 1988, pp. 452-457.
[9] S. Ceri and J. Widom, "Deriving production rules for constraint maintenance," IBM Res. Division, Tech. Rep. RJ 7348, Jan. 1990.
[10] W. J. Dally, L. Chao, and A. Chien et al., "Architecture of a message-driven processor," inProc. 14th Annu. Symp. Comput. Architecture, ACM, June 1987, pp. 189-196.
[11] W. J. Dally, "A VLSI architecture for concurrent data structures," Ph.D. dissertation, Dep. Comput. Sci., California Instit. Technol., Jan. 1986.
[12] W. J. Dallyet al., "The J-machine: A fine-grain concurrent computer," inProc. IFIPS Congress, G. X. Ritter, Ed., 1989, pp. 1147-1153.
[13] C. L. Forgy, "Rete: A fast algorithm for the many pattern/many object pattern match problem,"Artif. Intell., vol. 19, no. 1, pp. 17-37, 1982.
[14] M. R. Garey and D. S. Johnson,Computers and Intractability: A Guide to Theory of NP-Completeness. San Francisco, CA: Freeman, 1979.
[15] A. Gupta,Parallelism in Production Systems, Morgan Kaufmann, Palo Alto, Calif., 1987.
[16] A. Gupta and M. Tambe, "Suitability of message-passing computers for implementing production systems," inProc. Nat. Conf. Artif. Intell., Aug. 1988, pp. 687-692.
[17] A. Gupta, M. Tambe, D. Kalp, C. L. Forgy, and A. Newell, "Parallel implementation of OPS5 on the Encore multiprocessor: Results and analysis,"Int. J. Parallel Programming, vol. 17, no. 2, 1988.
[18] W. Harvey, D. Kalp, M. Tambe, D. McKeown, and A. Newell, "The effectiveness of task-level parallelism for high-level vision," inProc. ACM/SIGPLAN Symp. Principles Practices Parallel Programming, Mar. 1990.
[19] Intel Scientific Computers, Beaverton, OR, "The iPSC/2 brochures and application software reference material," order number 28 110-001
[20] T. Ishida and S. Stolfo, "Toward the parallel execution of rules in production system programs," inProc. Int. Conf. Parallel Programming, Aug. 1985, pp. 568-575.
[21] R. Joobbani and D. Siewiorek, "Weaver: A Knowledge-Based Routing Expert,"Proc. Design Automation Conf., 1985, pp. 266-271.
[22] P. Kermani and L. Kleinrock, "Virtual cut-through: A new computer communication switching technique,"Comput. Networks, vol. 3, pp. 267-286, 1979.
[23] J. E. Laird, A. Newell, and P. S. Rosenbloom, "Soar: An architecture for general intelligence,"Artif. Intell., vol. 33, no. 1, pp. 1-64, 1987.
[24] J. E. Laird, E. S. Yager, C. M. Tuck, and M. Hucka, "Learning in teleautonomous systems using Soar," inProc. NASA Conf. Space Telerobics, Jan. 1989.
[25] F. Mattern, "Algorithms for distributed termination detection,"J. Distributed Comput., vol. 2, pp. 161-175, 1987.
[26] J. McDermott, "R1: A rule-based configurer of computer systems,"Artif. Intell., vol. 19, no. 2, pp. 39-88, 1982.
[27] D. M. McKeown, W. A. Harvey, and J. McDermott, "Rule based interpretation of aerial imagery,"IEEE Trans. Pattern Anal. Machine Intell., vol. PAMI-7, no. 5, pp. 570-585, Sept. 1985.
[28] D. P. Miranker, "Treat: A new and efficient match algorithm for AI production systems," Dep. Comput. Sci., Columbia Univ., 1987.
[29] D. Moldovan, "RUBIC: A multiprocessor for rule-based systems,"IEEE Trans. Syst., Man, Cybern., vol. 19, no. 4, pp. 699-706, July 1989.
[30] A. NewellUnified Theories of Cognition. Cambridge, MA: Harvard Univ. Press, 1990.
[31] K. Oflazer, "Partitioning and parallel processing of production systems," Ph.D. dissertation, Dep. Comput. Sci., Carnegie-Mellon Univ., 1986.
[32] S. Schlick, personal communication, School Comput. Sci., Carnegie Mellon Univ.
[33] F. Schreiner and G. Zimmerman, "Pesa-1: A parallel architecture for production systems," inProc. Int. Conf. Parallel Processing, Aug. 1987, pp. 166-169.
[34] C. Seitzet al., "The hypercube communications chip," Tech. Rep. Display File 5182:DF:85, Dep. Comput. Sci., California Instit. Technol., Mar. 1985.
[35] C. L. Seitz, "The Cosmic Cube,"Commun. ACM, pp. 22-33, Jan. 1985.
[36] S. Stolfo, "Initial performance of the DADO-2 prototype,"IEEE Comput. Mag., vol. 20, no. 1, pp. 75-83, 1987.
[37] J. Xu and K. Hwang, "A simulated annealing method for mapping production systems onto multicomputers," inProc. Sixth IEEE Conf. Artif. Intell. Appl., Mar. 1990, pp. 130-136.

Index Terms:
Index Termsproduction systems; message-passing computers; fine-grained message-passingmachines; medium-grained machines; parallelism; knowledge based systems; parallelprogramming
Citation:
A. Acharya, M. Tambe, A. Gupta, "Implementation of Production Systems on Message-Passing Computers," IEEE Transactions on Parallel and Distributed Systems, vol. 3, no. 4, pp. 477-487, July 1992, doi:10.1109/71.149965
Usage of this product signifies your acceptance of the Terms of Use.