Decentralised control flow - based on UNIX

In the computing science community there is a growing belief that the traditional von Neumann programming model will be superceded in the 1990's by a new decentralised programming model. Various “revolutionary” approaches are being promoted: data flow, reduction, actor and logic models. We propose an alternative “evolutionary” approach, namely a decentralised control flow model. This model, a generalisation of the von Neumann model, can already be recognised as providing the basis of modern operating systems such as UNIX. In this paper we discuss initially the programming of future decentralised computing systems that represent a convergence of computer networks and parallel architectures. Next we describe the decentralised control flow model, and finally we present a simple programming language called BASIX that embodies the model.

[1]  Jack B. Dennis,et al.  VAL -- A Value-Oriented Algorithmic Language (Preliminary Reference Manual), , 1979 .

[2]  Ken Thompson,et al.  The UNIX time-sharing system , 1974, CACM.

[3]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[4]  Koji Kobayashi.  Computer, Communications and Man: The Integration of Computer and Communications with Man as an Axis , 1981, Comput. Networks.

[5]  Brian W. Kernighan,et al.  Software tools in Pascal , 1976 .

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

[7]  Wil Plouffe,et al.  An asynchronous programming language and computing machine , 1978 .

[8]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[9]  Philip C. Treleaven,et al.  Japan's Fifth Generation Computer Systems , 1982, Computer.

[10]  D. A. Turner,et al.  A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..

[11]  William W. Wadge,et al.  Lucid, a nonprocedural language with iteration , 1977, CACM.

[12]  Brian Randell,et al.  The newcastle connection or UNIXes of the world unite! , 1982, Softw. Pract. Exp..

[13]  Santosh K. Shrivastava,et al.  The Design of a Reliable Remote Procedure Call Mechanism , 1982, IEEE Transactions on Computers.

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

[15]  T. Moto-oka,et al.  CHALLENGE FOR KNOWLEDGE INFORMATION PROCESSING SYSTEMS (Preliminary Report on Fifth Generation Computer Systems) , 1982 .

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

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

[18]  Richard P. Hopkins,et al.  A recursive computer architecture for VLSI , 1982, ISCA 1982.