Towards a Decentralised General-Purpose Computer
- 32 Downloads
Research into novel decentralised computer architectures may be broadly classified in terms of the computer’s program organisation as: control flow, data flow, reduction, actor and logic. Each of these program organisations supports efficiently a single category of programming language? control flow — conventional languages, data flow — single assignment languages, reduction — applicative languages, actor — object-oriented languages, and logic — predicate logic languages. However general-purpose computers are required ideally to support a number of categories of language efficiently.
Our approach to the design of general-purpose computers, in particular a future decentralised architecture, is to develop computers that embody more than one traditional program organisation. In this paper we describe a computer providing both control flow and data flow. We are working on a computer design that also includes reduction. And our target is a computer providing control flow, data flow, reduction and other styles of programming.
Unable to display preview. Download preview PDF.
- Ackerman W.B. and Dennis J.B.: “VAL — A Value Oriented Algorithmic Language (preliminary reference manual)”. Tech. Report MIT/LCS/TR-218, Laboratory for Computer Science, MIT (June 1979).Google Scholar
- Anon.: “Proceedings of International Conference on Fifth Generation Computer Systems”. Japan Information Processing Development Center (October 1981) to be publishied by North Holland Press.Google Scholar
- Arvind et al. “The Id Report: An Asynchronous Programming Language and Computing Machine”. Tech. Report 114a, Dept. of Information and Computer Science, University of California, Irvine (May 1978).Google Scholar
- Berkling K.J.: “Reduction languages for Reduction Machines”. Proc. Second Int. Symp. on Computer Architecture (April 1975) pp. 133–140.Google Scholar
- Byte: “A special issue on the Smalltalk-80 Programming Language”. Byte (August 1981).Google Scholar
- Darlington J. et al: “Functional Programming and Its Applications”. Cambridge University Press (1982).Google Scholar
- Farrell E.P. et al: “A Concurrent Computer Architecture and a Ring Based Implementation”. Proc. Sixth Int. Symp. on Computer Architecture (April 1979) pp. 1–11.Google Scholar
- Hopkins R.P . et al: “A Computer supporting Data Flow, Control Flow and Updateable Memory”. Tech. Report 144, Computing Laboratory, University of Newcastle upon Tyne (September 1979).Google Scholar
- Kobayashi K.: “Computer, Commuincations and Man: The Integration of Computer and Commuincations with Man as an Axis”. Computer Networks vol. 5, no. 4 (July 1981) pp. 237–250.Google Scholar
- Kowalski R.A.: “Logic for Problem Solving”. North Holland Press (1980).Google Scholar
- Mead C. and Conway L.: “Introduction to VLSI Systems”. Addison-Wesley Press (1980).Google Scholar
- Michie D . (ed.), “Expert Systems in the Micro Electronic Age”. Edinburgh University Press (1979).Google Scholar
- Treleaven P.C .: “Principle Components of a Data Flow Computer”. Proc. 1978 Euromicro Symp. (October 1978) pp. 366–374.Google Scholar
- Treleaven P.C. and Mole G.F.: “A Multi-processor Reduction Machine for User-defined Reduction Languages”. Proc. Seventh Int. Symp. on Computer Architecture (April 1980) pp. 121–129.Google Scholar
- “Computer Architecture”. Tech. Report 161, Computing Laboratory, University of Newcastle upon Tyne (March 1981).Google Scholar
- Treleaven P.C . et al: “Combining Data Flow and Control Flow Computing”. The Computer Journal vol. 25, no. 1 (January 1982).Google Scholar
- Treleaven P.C . et al: “Data Driven and Demend Driven Computer Architecture”. ACM Computing Surveys vol. 14, no. 1 (March 1982).Google Scholar
- Watson I. and Gurd J.: “A Prototype Data Flow Computer with Token Labelling”. Proc. AFIPS vol. 48 (1979) pp. 623–628.Google Scholar
- Wilner W.T.: “Recursive Machines”. Internal Report, Xerox Palo Alto Research Center, Palo Alto, California (1980).Google Scholar