Skip to main content
SpringerLink
Log in

On the efficient implementation of conditional critical regions and the construction of monitors

  • Published:
Acta Informatica Aims and scope Submit manuscript

Summary

A method is presented that allows the efficient implementation of conditional critical regions combined with scheduling of the waiting processes. It is based on the knowledge of static and invariant relations that exist among the conditional critical regions of a process system. Mathematical methods are applied in order to show the nature of these relations, and to determine them for practical applications.

By collecting the conditional critical regions in a program module, a monitor is obtained. Its rather abstract user level allows clear and well structured programming style. It also shows some advantages in comparison to other monitor proposals on the implementation level.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Agerwala, T.: A complete model for representing the coordination of asynchronous processes. John Hopkins University, Baltimore (Md.), Hopkins computer research report 32, 1974

  2. Belpaire, G., Wilmotte, J. P.: A semantic approach to the theory of parallel processes. Proc. International Computing Symposium 1973. Amsterdam: North-Holland 1974, p. 159–164

    Google Scholar 

  3. Courtois, P. J., Heymans, F., Parnas, D. L.: Concurrent control with “readers” and “writers”. Comm. ACM 14, 667–668 (1971)

    Google Scholar 

  4. Dijkstra, E. W.: Cooperating sequential processes. In: Genuys, F. (ed.): Programming Languages. New York: Academic Press 1968

    Google Scholar 

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

    Google Scholar 

  6. Brinch Hansen, P.: Structured multiprogramming. Comm. ACM 15, 574–578 (1972)

    Google Scholar 

  7. Brinch Hansen, P.: Operating system principles. Englewood Cliffs (N. J.): Prentice-Hall 1973

    Google Scholar 

  8. Hoare, C. A. R.: Towards a theory of parallel programming. In: Hoare, C. A. R., Perrot, R. H. (eds.): Operating System Techniques. London: Academic Press 1972, p. 61–71

    Google Scholar 

  9. Hoare, C.A.R.: Monitors: an operating system structuring concept. IFIP-WG 2.3, Munich, 1973

  10. Jürgens, J.: Synchronisation paralleler Prozesse anhand von Zuständen. Dissertation, TU München, 1973

  11. Schmid, H. A.: An approach to the communication and synchronization of processes. Proc. International Computing Symposium 1973. Amsterdam: North-Holland 1974, p. 165–171

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Stuttgart, Herdweg 51, D-7000, Stuttgart, Bundesrepublik Deutschland

    Hans Albrecht Schmid

Authors
  1. Hans Albrecht Schmid
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Work done mainly at the Fakultät für Informatik, Universität Karlsruhe, Karlsruhe, and also at the Department of Computer Science, University of Toronto, Toronto.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Schmid, H.A. On the efficient implementation of conditional critical regions and the construction of monitors. Acta Informatica 6, 227–249 (1976). https://doi.org/10.1007/BF00288656

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00288656

Keywords

Search

Navigation