A recursive computer architecture for VLSI

We present a general-purpose computer architecture based on the concept of recursion, suitable for VLSI computer systems built from replicated (LEGO-like) computing elements. The recursive computer architecture is defined by presenting a program organisation, a machine organisation and an experimental machine implementation oriented to VLSI. The program organisation, called recursive control flow, attempts a synthesis of the concepts underlying traditional control flow, data flow and reduction, to exploit the individual strengths of each organisation. The machine organisation is based on replicated general-purpose computing elements, as well as special-purpose computing elements that allow the function of individual computer systems to be specialised. These elements are interconnected to form a larger computer system and cooperate in the concurrent execution of a program. The experimental implementation is being restricted to simple, identical microcomputers each containing a memory, a processor and a communications capability. This future generation of LEGO-like computer systems are termed fifth generation computers [1] by the Japanese.

[1]  A. L. Davis,et al.  The architecture and system method of DDM1: A recursively structured Data Driven Machine , 1978, ISCA '78.

[2]  Richard P. Hopkins,et al.  Data-Driven and Demand-Driven Computer Architecture , 1982, CSUR.

[3]  H. T. Kung,et al.  The Design of Special-Purpose VLSI Chips , 1980, Computer.

[4]  David A. Patterson,et al.  X-Tree: A tree structured multi-processor computer architecture , 1978, ISCA '78.

[5]  Klaus J. Berkling Reduction languages for reduction machines , 1974, ISCA '75.

[6]  Philip C. Treleaven,et al.  A multi-processor reduction machine for user-defined reduction languages. , 1980, ISCA '80.

[7]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .

[8]  Robert M. Keller,et al.  A loosely-coupled applicative multi-processing system* , 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).

[9]  Gerald Jay Sussman,et al.  Scheme-79 - Lisp on a Chip , 1981, Computer.

[10]  Philip C. Treleaven VLSI: machine architecture and very high level languages , 1980, CARN.

[11]  Philip C. Treleaven,et al.  VLSI Processor Architectures , 1982, Computer.

[12]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[13]  Daniel H. H. Ingalls,et al.  The Smalltalk-76 programming system design and implementation , 1978, POPL.

[14]  Richard P. Hopkins,et al.  Decentralized computation , 1981, ISCA '81.

[15]  Edward P. Farrell,et al.  A concurrent computer architecture and a ring based implementation , 1979, ISCA '79.

[16]  V. M. Glushkov,et al.  Recursive Machines and Computing Technology , 1974, IFIP Congress.