The Apiary network architecture for knowledgeable systems

ABSTRACT

Creating more knowledgeable computer systems will require vastly increased computational resources. We are working on the development of a computer architecture (called the Apiary) to meet this need. In this paper we present an overview of the Apiary introducing important concepts and techniques such as Interest groups. Jeff Schiller has constructed a preliminary implementation of the network software for the Apiary on the CADR Distributed System at the MIT Artificial Intelligence Laboratory. Phyllis Koton has constructed a preliminary version of Portal which is a communications chip designed to facilitate the construction of Multiprocessor Network Architectures like the Apiary. However a great deal of work remains to be done in order to make the Apiary into a practical usable system.

REFERENCES

• 1: Arvind and Gostelow, K. "Some Relationships between Asynchronous Interpreters of a Dataflow Language" IFIP Working Conference on Formal Description of Programming Concepts. 31 July to 5 August 1977.
• 2: John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
• 3: Batcher, K. E. "Sorting Networks and their Applications" SJCC. April 1968. pp 307-314.
• 4: H. G. Baker, ACTOR SYSTEMS FOR REAL-TIME COMPUTATION, Massachusetts Institute of Technology, Cambridge, MA, 1978
• 5: Henry G. Baker, Jr. , Carl Hewitt, The Incremental Garbage Collection of Processes, Massachusetts Institute of Technology, Cambridge, MA, 1977
• 6: Buneman, O., H. Morgan, and Zisman, M. "Display Facilities for Decision Support" DATA BASE, Winter 1977.
• 7: Bishop, P. B. "Computer Systems with a Very Large Address Space and Garbage Collection" MIT Ph.D. Thesis. Laboratory of Computer Science Technical Report MIT/LCS/TR-178. May 1977.
• 8: Browning, S. A. "A Tree Machine" Lambda. April 1980. Vol. 1. No. 2. pp. 31-36.
• 9: Dahl, O. J. and Nygaard, K. "Class and Subclass Declarations" In Simulation Programming Languages J. N. Buxton (Ed.) North Holland. 1968. pp. 158-174.
• 10: Jack B. Dennis , David P. Misunas, A preliminary architecture for a basic data-flow processor, Proceedings of the 2nd annual symposium on Computer architecture, p.126-132, January 20-22, 1975
• 11: Engelbart, D. C. "Advanced Intellect-Augmentation Techniques" SRI Final Report. July 1970.
• 12: Feldman, J. A. "A Programming Methodology for Distributed Computing (among other things)" TR9. Computer Science Dept. Univ. of Rochester. September 1976.
• 13: Francez, N.; Hoare, C. A. R.; Lehmann, D. J.; and de Roever, W. P. "Semantics of Nondeterminism, Concurrency, and Communication" Working Paper. August 1978.
• 14: Friedman, D. P. and Wise, D. S. "A Constructor for Applicative Multiprogramming" Technical Report No. 80. Indiana University. January 1979.
• 15: Goodman, J. R. and Sequin, C. H. "Hypertree, A Multiprocessor Interconnection Topology" U. C. Berkeley Draft. 1980.
• 16: Jim Gray, Notes on Data Base Operating Systems, Operating Systems, An Advanced Course, p.393-481, January 1978
• 17: Halstead, R. H. "Multiple-Processor Implementations of Message-Passing Systems" MIT Laboratory of Computer Science Technical Report MIT/LCS/TR-198. 1978.
• 18: Halstead, R. H. "The VIM Virtual Machine for Multiprocessor Systems" MIT LCS RTS Draft Memo. 1980.
• 19: Halstead, B. "The MuNet: A Scalable Decentralized Architecture for Parallel Computation" MIT LCS RTS Draft Memo. 1980.
• 20: Hewitt, C. "PLANNER: A Language for Proving Theorems in Robots" IJCAI-69. Washington, D.C. May 1969. pp 295-302.
• 21: Hewitt, C. "Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot" Unpublished doctoral dissertation. MIT. 1971.
• 22: Hewitt, C. "Viewing Control Structures as Patterns of Passing Messages" A.I. Journal. Vol. 8. No. 3. June 1977. pp. 323-364.
• 23: Hewitt, C. and Smith, B. "Towards a Programming Apprentice" IEEE Transactions on Software Engineering. SE-1, #1. March 1975. pp. 26-45.
• 24: Hewitt, C. and Baker, H. "Laws for Communicating Parallel Processes" Proceedings of IFIP Congress 77. Toronto, August 8-12, 1977. pp. 987-992.
• 25: Carl Hewitt , Giuseppe Attardi , Henry Lieberman, Specifying and Proving Properties of Guardians for Distributed Systems, Proceedings of the International Sympoisum on Semantics of Concurrent Computation, p.316-336, July 02-04, 1979
• 26: Hewitt, C. "Preliminary Design of the Apiary for VLSI Support of Knowledge-Based Systems". MIT AI Lab Working Paper 186. May 1979.
• 27: Hewitt, C.; Attardi, G.; and Lieberman, H. "Security and Modularity in Message Passing" MIT AI Lab Working Paper 180. December 1978. Revised February 1979. First International Conference on Distributed Systems. Huntsville, Alabama. October 1979.
• 28: Hewitt, C. "Checkpoint and Recovery in Actor Systems" MIT AI Lab Working Paper. Forthcoming.
• 29: P. Hibbard , A. Hisgen , T. Rodeheffer, A language implementation design for a multiprocessor computer system, Proceedings of the 5th annual symposium on Computer architecture, p.66-72, April 03-05, 1978 [doi>10.1145/800094.803029]
• 30: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 31: Daniel H. H. Ingalls, The Smalltalk-76 programming system design and implementation, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.9-16, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512762]
• 32: Kahn, K. M. "DIRECTOR Guide" MIT AI Memo 482. June 1978.
• 33: Kahn, G. and MacQueen, D., "Coroutines and Networks of Parallel Processes" IFIP-77. Toronto. August 8-12, 1977. pp. 987-992.
• 34: Katsuki, D. et. al. "Pluribus: An Operational Fault Tolerant Multiprocessor" IEEE Transactions on Computers. October 1978.
• 35: Keller, R. M., Lindstrom, G., and Patil, S. "A Loosely-coupled Applicative Multi-processing System" 1979 NCC. pp 861-870.
• 36: Kornfeld, W. A. "Using Parallel Processing for Problem Solving" IJCAI-79. Tokyo, Japan. August 1979.
• 37: William A. Kornfeld , Carl Hewitt, The Scientific Community Metaphor, Massachusetts Institute of Technology, Cambridge, MA, 1981
• 38: Koton, P. and Hewitt, C. "Portal: A Multiway Communicator" MIT AI Lab Draft. 1980.
• 39: Lampson, B. W. and Sturgis, H. E. "Crash Recovery in a Distributed Data Storage System" Forthcoming. 1979.
• 40: Moravec, H. P. "Fully Interconnecting Multiple Computers with Pipelined Sorting Nets" IEEE Transactions on Computers October 1979.
• 41: Ornstein S. et. al. "Pluribus: A Reliable Multiprocessor" AFIPS Conference Proceedings, NCC '75.
• 42: Pease, M. C. "The Indirect Binary n-Cube Microprocessor Array" IEEE Transactions on Computers. Vol. C-26. No. 5. May 1977.
• 43: Rich, C.; Shrobe, H. E.; Waters, R. C.; Sussman, G. J.; and Hewitt, C. E. "Programming Viewed as an Engineering Activity" MIT A.I. Memo 459. January 1978.
• 44: Rumbaugh, J. E. "A Parallel Asynchronous Computer Architecture for Data Flow Programs" MIT Ph.D. dissertation. Project MAC Technical Report TR-150. May 1975.
• 45: Schiller, J. "The Design and Implementation of Apiary-0" 1979.
• 46: C. H. Séquin , A. M. Despain , D. A. Patterson, Communication In X-TREE, A Modular Multiprocessor System, Proceedings of the 1978 annual conference, p.194-203, December 04-06, 1978, Washington, D.C., United States [doi>10.1145/800127.804098]
• 47: Sequin, C. H. "Message Switching Circuits for Multi-Microprocessors" U. C. Berkeley Draft. 1980.
• 48: Steele, G. L. and Sussman, G. J. "The Revised Report on SCHEME a Dialect of LISP" Artificial Intelligence Memo 452. January 1978.
• 49: Steiger, Richard, "Actor Machine Architecture" Unpublished Masters Thesis. MIT EECS Dept. June 1974.
• 50: Herbert Sullivan , T R Bashkow, A large scale, homogeneous, fully distributed parallel machine, I, Proceedings of the 4th annual symposium on Computer architecture, p.105-117, March 23-25, 1977
• 51: Herbert Sullivan , Theodore R. Bashkow , David Klappholz, A Large Scale, Homogenous, Fully Distributed Parallel Machine, II, Proceedings of the 4th annual symposium on Computer architecture, p.118-124, March 23-25, 1977
• 52: Gerald Sussman , Terry Winograd, Micro-Planner Reference Manual, Massachusetts Institute of Technology, Cambridge, MA, 1970
• 53: Sussman, Holloway, and Knight. "Computer Aided Evolutionary Design for Submicron Digital Technology" MIT AI Memo 526. May 1979.
• 54: Swan,R. J., Fuller, S. H., and Siewiorek, D. P. "Cm*—A Modular, Multi-Microprocessor" AFIPS Conference Proceedings 46. 1977.
• 55: Swinehart, D. "COPILOT: A Multiple Process Approach to Interactive Programming Systems" Stanford AI Memo 230. July 1974.
• 56: Ward,S. A. "The MuNet: A Multiprocessor Message-Passing System Architecture" Seventh Texas Conference on Computing Systems. Houston, Texas. October, 1978.
• 57: Ward,S. A. "An Approach to Real-Time Computation" Seventh Texas Conference on Computing Systems. Houston, Texas. October, 1978.
• 58: Stephen A. Ward , Robert H. Halstead, Jr., A Syntactic Theory of Message Passing, Journal of the ACM (JACM), v.27 n.2, p.365-383, April 1980 [doi>10.1145/322186.322199]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representations (procedural and rule-based)

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.1 Network Architecture and Design

  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: LISP

General Terms:
Design, Performance