Skip to main content
SpringerLink
Log in
Book cover

Conference of the European Cooperation in Informatics

ECI 1981: Trends in Information Processing Systems pp 135–153Cite as

Modules program structures and the structuring of operating systems

  • Software Engineering: Tools And Languages
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 123))

Abstract

In this paper some views are presented on the way in which complex systems, such as Operating Systems and the programs to be interfaced with them can be constructed, and how such systems may become heavily library oriented. Although such systems have a dynamic nature, all interfacing within and among modules can be checked statically. It will be shown that the concepts presented are equally valid for single user systems, multi-programming systems and even distributed systems. The ideas have been spurred by the implementation of a modular version of Pascal and a supporting Operating System, currently nearing completion at Twente University of Technology, The Netherlands.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ADA: Preliminary reference manual ACM SIGPLAN Notices 14 (6, June 1979)

    Google Scholar 

  2. Addyman, A.M., A draft proposal for Pascal ACM SIGPLAN Notices 15 (4, April 1980), 1–66

    Google Scholar 

  3. Andler, S., Synchronization primitives and the verification of concurrent programs 2nd International Symposium on Operating Systems IRIA, Rocquencourt, France (October 1978)

    Google Scholar 

  4. Bloom, T., Evaluating synchronization mechanisms Proc. 7th Symposium on Operating Systems Principles, ACM SIGOPS, Asilomar, Ca., U.S.A. (December 1979)

    Google Scholar 

  5. Brinch Hansen, P., A comparison of two synchronizing concepts. Acta Informatica 1 (1972) 190–199

    Article  Google Scholar 

  6. Brinch Hansen, P., Concurrent Pascal IEEE Transactions on Software Engineering (1975) 199–207

    Google Scholar 

  7. Bron, C., Dijkstra, E.J., A Pascal compiler redone Memorandum 283, Department of Applied Mathematics, Twente University of Technology, Enschede, Netherlands

    Google Scholar 

  8. Bron, C., Report on the programming language THT Pascal for the PDP11 series Memorandum #296, Department of Applied Mathematics Twente University of Technology, Enschede, Netherlands

    Google Scholar 

  9. Bron, C., Trends in the synchronization of parallel processes Informatie (1974), 646–651 (Dutch Computer Society Monthly)

    Google Scholar 

  10. Bron, C., Pascal used for Operating System implementation Pascal Conference Chalmers Technical University, Gothenburg, Sweden (June 1980)

    Google Scholar 

  11. Gehringer, E.F., Variable-length capabilities as a solution to the small object problem. Proc. 7th Symposium on Operating Systems Principles ACM SIGOPS, Asilomar, Ca., U.S.A. (December 1979)

    Google Scholar 

  12. Habermann, A.N., Flon, L., Cooprider, L. Modularization and hierarchy in a family of Operating Systems Comm. ACM 19 (May 1976) 266–272

    Google Scholar 

  13. Ichbiah, J.D., Rissen, J.P., Heliard, J.C., Cousot, P., The system implementation language LIS Technical Report #4549 E1/EN CII, Louveciennes, France (1976)

    Google Scholar 

  14. Lauer, H.C., Needham, R.M. On the duality of Operating System Structures 2nd International Symposium on Operating Systems IRIA, Rocquencourt, France (October 1978)

    Google Scholar 

  15. Mitchell, J.G., Maybury, W., Sweet, R., MESA Language manual Xerox, Palo Alto, Ca., U.S.A. (April 1979)

    Google Scholar 

  16. Ritchie, D.M., Thompson, K., The UNIX Time-sharing system Comm. ACM 17 (July 1974) 365–375

    Article  Google Scholar 

  17. Welsh, J., Bustard, D.W., Pascal Plus — Another language for modular multiprogramming Software P. & E. 9(1979) 947–957

    Google Scholar 

  18. Wichmann, B.A., 'Ackermann's Function': A study in the efficiency of calling procedures BIT 16 (1979) 103–110

    Google Scholar 

  19. Wirth, N., Modula: a language for modular multiprogramming Software P. & E. 7 (1977) 3–36

    Google Scholar 

  20. Wirth, N., Modula-2 ETH Zuerich, Technical Report #36 (March 1980)

    Google Scholar 

  21. Wulf, W.A., Harbison, S.P., Reflections in a pool of processors Carnegie Mellon University, Technical Report CMU-CS-78-103 (February 1978)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, Twente University of Technology, P.O. Box 217, Enschede, Netherlands

    C. Bron

Authors
  1. C. Bron
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Arie Duijvestijn Peter Christian Lockemann

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bron, C. (1981). Modules program structures and the structuring of operating systems. In: Duijvestijn, A., Lockemann, P.C. (eds) Trends in Information Processing Systems. ECI 1981. Lecture Notes in Computer Science, vol 123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10885-8_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-10885-8_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10885-6

  • Online ISBN: 978-3-540-38794-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation