Article

Free access

Decentralised control flow - based on UNIX

Authors:

Isabel Gouveia Lima,

Richard Hopkins,

Lindsay Marshall,

Philip TreleavenAuthors Info & Claims

SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

Pages 192 - 201

https://doi.org/10.1145/800226.806866

Published: 01 June 1983 Publication History

Abstract

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.

References

[1]

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).

Digital Library

[2]

Amamiya M., "A Design Philosophy of High Level Language for Data Flow Machine Valid", Proc. Annual Conf. of IECE Japan (1981).

[3]

Anon, "Special Issue on the Programming Language Smalltalk", Byte (August 1981).

[4]

Arvind et al., "The Id Report: An Asynchronous Programming Language and Computing Machine", Tech. Report 114, Dept. of Information and Computer Science, University of California, Irvine (May 1978).

[5]

Ashcroft E.A. and Wadge W.W., "LUCID, a nonprocedural language with iteration", Comm. ACM, vol. 20, no. 7 (July 1977), pp. 519-526.

Digital Library

[6]

Backus J., "Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs". Comm. ACM vol. 21, no. 8 (August 1978) pp. 613-641.

Digital Library

[7]

Berkling K., "Reduction Languages for Reduction Machines". Proc. Second Int. Symp. on Computer Architecture (1975) pp. 133-140.

Digital Library

[8]

Brownbridge D.R. et al, "THE NEWCASTLE CONNECTION or Unixes of the World Unite!" Software Practice and Experience, vol. 12, no. 12, (December 1982), pp. 1147-1162.

[9]

Dennis J.B., "The Varieties of Data Flow Computers". Proc. First Int. Conf. on Distributed Computing Systems. (October 1979) pp. 430-439.

[10]

Dijkstra E.W., "Guarded Commands, Non-determinancy and Formal Derivation of Programs". Comm. ACM, vol. 18, no. 8 (August 1975) pp. 453-457.

Digital Library

[11]

Hoare C.A.R., "Communicating Sequential Processes", Comm. ACM, vol. 21, no. 8 (August 1978), pp. 666-677.

Digital Library

[12]

Kernighan B.W. and Plauger P.J., "Software Tools in Pascal". Addison-Wesley Publishing Company (1981).

Digital Library

[13]

Kobayashi K., "Computer, Communications and Man: The Integration of Computer and Communications with Man as an Axis", COMPUTER NETWORKS - The Int. Journ. of Distributed Informatique, vol. 5, no. 4 (July 1981), pp. 237-250.

[14]

Kowalski R., "Logic for Problem Solving", Elsevier-North-Holland (1979).

Digital Library

[15]

Moto-oka T. et al, "Challenge for Knowledge Information Processing Systems (Preliminary Report on Fifth Generation Computer Systems)", "Proceedings of International Conference on Fifth Generation Computer Systems", North-Holland Publishing Co. (1982).

[16]

Richie D.M. and Thompson, K., "The Unix Time-Sharing System", Comm. ACM, vol. 17, no. 7 (1974) pp. 365-375.

Digital Library

[17]

Shrivastava S.K. and Panzieri F., "The Design of a Reliable Remote Procedure Call Mechanism" IEEE Trans. on Computers, vol. C-31, no. 7 (July 1982) pp. 692-697.

[18]

Treleaven P.C. et al, "Data Driven and Demand Driven Computer Architecture", ACM Computing Surveys, vol. 14, no. 1 (March 1982) pp. 93-143.

Digital Library

[19]

Treleaven P.C. and Hopkins R.P., "A Recursive Computer Architecture for VLSI". Proc. Ninth Int. Symp. on Computer Architecture, (April 1982) pp. 229-238.

Digital Library

[20]

Treleaven P.C. and Gouveia Lima I., "Japan's Fifth Generation Computer Systems", IEEE Computer Magazine, vol. 15, n.8, (August 1982) pp. 79-88.

Digital Library

[21]

Turner D.A., "A New Implementation Technique for Applicative Languages". Software - Practice and Experience, vol. 9 (1979) pp. 31-49.

[22]

Wilkes M.V. and Wheeler D.J., "The Cambridge Communication Ring", Proc. of Local Area Network Symposium, Boston, National Bureau of Standards, (May 1979).

[23]

Wilner W.T., "Recursive Machines", Xerox Palo Alto Research Center, Internal Report (1980).

Cited By

Maslov A(1987)Programming language C and the UNIX operating systemJournal of Soviet Mathematics10.1007/BF0108617839:1(2509-2533)Online publication date: Oct-1987
https://doi.org/10.1007/BF01086178
Treleaven PLawson HAgerwala THeilborn HAiso HThorelli LBaer JTokoro M(1983)The new generation of computer architectureProceedings of the 10th annual international symposium on Computer architecture10.1145/800046.801680(402-409)Online publication date: 13-Jun-1983
https://dl.acm.org/doi/10.1145/800046.801680
Treleaven P(1983)The new generation of computer architectureACM SIGARCH Computer Architecture News10.1145/1067651.80168011:3(402-409)Online publication date: 13-Jun-1983
https://dl.acm.org/doi/10.1145/1067651.801680
Show More Cited By

Index Terms

Decentralised control flow - based on UNIX

Recommendations

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, ...
Kontrollflusssensible Quelltext-Umgestaltung mithilfe von Constraint-Programmierung / Control-flow sensible source code refactoring using constraint-programming
Beiträge Zur Aktiven Strömungsbeeinflussung: Systemmodellierung Mit Methoden des Maschinellen Lernens und Ganzzahlig Beschränkte Regelung für Zyklische Prozesse / Contributions to Active Flow Control: Machine Learning Based System Modeling and Integer-Constrained Control for Cyclic Processes

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

June 1983

230 pages

ISBN:0897911083

DOI:10.1145/800226

ACM SIGPLAN Notices Volume 18, Issue 6
June 1983
219 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/872728
Issue’s Table of Contents

Copyright © 1983 Authors.

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1983

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

VEE05

Sponsor:

SIGPLAN

VEE05: First International Conference on Virtual Execution Environments

June 27 - 29, 1983

California, San Francisco, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
277
Total Downloads

Downloads (Last 12 months)62
Downloads (Last 6 weeks)17

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Maslov A(1987)Programming language C and the UNIX operating systemJournal of Soviet Mathematics10.1007/BF0108617839:1(2509-2533)Online publication date: Oct-1987
https://doi.org/10.1007/BF01086178
Treleaven PLawson HAgerwala THeilborn HAiso HThorelli LBaer JTokoro M(1983)The new generation of computer architectureProceedings of the 10th annual international symposium on Computer architecture10.1145/800046.801680(402-409)Online publication date: 13-Jun-1983
https://dl.acm.org/doi/10.1145/800046.801680
Treleaven P(1983)The new generation of computer architectureACM SIGARCH Computer Architecture News10.1145/1067651.80168011:3(402-409)Online publication date: 13-Jun-1983
https://dl.acm.org/doi/10.1145/1067651.801680
Maslov A(1987)Programming language C and the UNIX operating systemJournal of Soviet Mathematics10.1007/BF0108617839:1(2509-2533)Online publication date: Oct-1987
https://doi.org/10.1007/BF01086178

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents