Advertisement

Modules program structures and the structuring of operating systems

Software Engineering: Tools And Languages
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Interface Module Procedure Call Supporting Operating System Specification File Operating System Principle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    ADA: Preliminary reference manual ACM SIGPLAN Notices 14 (6, June 1979)Google Scholar
  2. [2]
    Addyman, A.M., A draft proposal for Pascal ACM SIGPLAN Notices 15 (4, April 1980), 1–66Google Scholar
  3. [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. [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. [5]
    Brinch Hansen, P., A comparison of two synchronizing concepts. Acta Informatica 1 (1972) 190–199CrossRefGoogle Scholar
  6. [6]
    Brinch Hansen, P., Concurrent Pascal IEEE Transactions on Software Engineering (1975) 199–207Google Scholar
  7. [7]
    Bron, C., Dijkstra, E.J., A Pascal compiler redone Memorandum 283, Department of Applied Mathematics, Twente University of Technology, Enschede, NetherlandsGoogle Scholar
  8. [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, NetherlandsGoogle Scholar
  9. [9]
    Bron, C., Trends in the synchronization of parallel processes Informatie (1974), 646–651 (Dutch Computer Society Monthly)Google Scholar
  10. [10]
    Bron, C., Pascal used for Operating System implementation Pascal Conference Chalmers Technical University, Gothenburg, Sweden (June 1980)Google Scholar
  11. [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. [12]
    Habermann, A.N., Flon, L., Cooprider, L. Modularization and hierarchy in a family of Operating Systems Comm. ACM 19 (May 1976) 266–272Google Scholar
  13. [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. [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. [15]
    Mitchell, J.G., Maybury, W., Sweet, R., MESA Language manual Xerox, Palo Alto, Ca., U.S.A. (April 1979)Google Scholar
  16. [16]
    Ritchie, D.M., Thompson, K., The UNIX Time-sharing system Comm. ACM 17 (July 1974) 365–375CrossRefGoogle Scholar
  17. [17]
    Welsh, J., Bustard, D.W., Pascal Plus — Another language for modular multiprogramming Software P. & E. 9(1979) 947–957Google Scholar
  18. [18]
    Wichmann, B.A., 'Ackermann's Function': A study in the efficiency of calling procedures BIT 16 (1979) 103–110Google Scholar
  19. [19]
    Wirth, N., Modula: a language for modular multiprogramming Software P. & E. 7 (1977) 3–36Google Scholar
  20. [20]
    Wirth, N., Modula-2 ETH Zuerich, Technical Report #36 (March 1980)Google Scholar
  21. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • C. Bron
    • 1
  1. 1.Department of Electrical EngineeringTwente University of TechnologyEnschedeNetherlands

Personalised recommendations