Synchronization in a layered system

  • Klaus Lagally
Chapter 3.: Issues And Results In The Design Of Operating Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 60)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. [Ag77]
    Agerwala, T.: Some Extended Semaphore Primitives, Acta Informatica 8, 201–220 (1977)Google Scholar
  2. [BH70]
    Brinch Hansen, P.: The Nucleus of a Multiprogramming System. CACM 13, 238–241 (1970)Google Scholar
  3. [BH72a]
    Brinch Hansen, P.: Structured Multiprogramming, CACM 15, 574–578 (1972)Google Scholar
  4. [BH72b]
    Brinch Hansen, P.: A Comparison of Two Synchronizing Concepts. Acta Informatica 1, 190–199 (1972)Google Scholar
  5. [BH73a]
    Brinch Hansen, P.:Operating System Principles, Englewood Cliffs (N.J.): Prentice Hall 1973Google Scholar
  6. [BH73b]
    Brinch Hansen, P.: A Reply to Comments on "A omparison of Two Synchronizing Concepts", Acta Informatica 2, 189–190 (1973)Google Scholar
  7. [BH75]
    Brinch Hansen, P.: The Programming Language Concurrent Pascal, IEEE Trans. Software Eng. SE-1, 199–207 (1975)Google Scholar
  8. [BH76]
    Brinch Hansen, P.: The SOLO Operating System, Software-Practice and Experience 6, 141–205 (1976)Google Scholar
  9. [BW74]
    Belpaire, G. and J.P. Wilmotte: "A Semantic Approach to the Theory of Parallel Processes", Proc. ICS 1973, North Holland Publishing Co., Amsterdam 1974, p. 159–164Google Scholar
  10. [CH74]
    Campbell, R.H. and A.N. Habermann: The Specification of Process Synchronization by Path Expressions, Lecture Notes in Computer Science 16, 89–102 (1974)Google Scholar
  11. [CHP71]
    Courtois, P.J., F. Heymans and D.L. Parnas: Concurrent Control with "Readers" and "Writers", CACM 14, 667–668 (1971)Google Scholar
  12. [CHP72]
    Courtois, P.J., F. Heymans and D.L. Parnas: Comments on "A Comparison of Two Synchronizing Concepts" by P.B. Hansen, Acta Informatica 1, 375–376 (1972)Google Scholar
  13. [Con77]
    Conradi, R.: Some Comments on "Concurrent Readers and Writers", Acta Informatica 8, 335–340 (1977)Google Scholar
  14. [Di68]
    Dijkstra, E.W.: The Structure of the "THE"-Multiprogramming System, CACM 11, 341–346 (1968)Google Scholar
  15. [Di71]
    Dijkstra, E.W.: Hierarchical Ordering of Sequential Processes, Acta Informatica 1, 115–138 (1971)Google Scholar
  16. [DMN68]
    Dahl, O.J., B. Myhrhaug and K. Nygaard: The Simula 67 Common Base Language, Norwegian Computing Centre, Forskningsveien 1B, Oslo 3Google Scholar
  17. [EGLT76]
    Eswaran, K.P., J.N. Gray, R.A. Lorie and I.L. Traiger: The Notions of Consistency and Predicate Locks in a Data Base System, CACM 19, 624–633 (1976)Google Scholar
  18. [Ger77]
    Gerber, A.J.: Process Synchronization by Counter Variables, ACM Operating Systems Review 11/4, 6–17 (1977)Google Scholar
  19. [GJL72]
    Goos, G., J. Jürgens and K. Lagally: The Operating System BSM viewed as a Community of Parallel Processes, Report 7208, Rechenzentrum TU München, 1972Google Scholar
  20. [Ha75]
    Habermann, A.N.: Path Expressions, Carnegie-Mellon University, 1975Google Scholar
  21. [Ha77]
    Habermann, A.N.: Personal CommunicationGoogle Scholar
  22. [Had77]
    Haddon, B.K.: Nested Monitor Calls, ACM Operating Systems Review 11/4, 18–23 (1977)Google Scholar
  23. [Ho74]
    Hoare, C.A.R.: Monitors: An Operating System Structuring Concept, CACM 17, 549–557 (2974)Google Scholar
  24. [HR73]
    Horning, J.J. and B. Randell: Process Structuring, Comp. Surveys 5, 5–30 (1973)Google Scholar
  25. [JS77]
    Jammel, A.J. and H.G. Stiegler: Managers versus Monitors. Proceedings of IFIP Congress 1977. North Holland Publishing Co., Amsterdam 1977, p. 827–830Google Scholar
  26. [Ju73]
    Jürgens, J.: Synchronisation paralleler Prozesse anhand von Zuständen, Dissertation, TU München, 1973Google Scholar
  27. [Ke77]
    Kessels, J.L.W.: An Alternative to Event Queues for Synchronization in Monitors, CACM 20, 500–503 (1977)Google Scholar
  28. [Lag75]
    Lagally, K. (ed.): Das Projekt Betriebssystem BSM, Report 7509, Institut für Informatik, TU München, 1975Google Scholar
  29. [Lam75]
    Lamport, L.: The Synchronization of Independent Process, Acta Informatica 7, 15–34 (1975)Google Scholar
  30. [Lis77]
    Lister, A.: The Problem of Nested Monitor Calls, ACM Operating Systems Review 11/3, 5–7 (1977)Google Scholar
  31. [LS77]
    Lister, A.M. and P.J. Sayer: Hierarchical Monitors, Software-Practice and Experience 7, 613–623 (1977)Google Scholar
  32. [RK77]
    Reed, D.P. and R.K. Kanodia: Synchronization with Event Counts and Sequencers, CACM (to appear); ACM Operating Systems Review 11/5, 91 (1977) (Abstract)Google Scholar
  33. [RV77]
    Robert, P. and J.P. Verjus: Toward Autonomous Descriptions of Synchronization Modules, Proceedings of IFIP-Congress 1977, North Holland Publishing Co., Amsterdam 1977, p. 981–986Google Scholar
  34. [Sch76]
    Schmid, H.A.: On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors, Acta Informatica 6, 227–249 (1976)Google Scholar
  35. [Wi71]
    Wirth, N.: The Programming Language PASCAL, Acta Informatica 1, 35–63 (1971).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Klaus Lagally
    • 1
  1. 1.Institut für Informatik der Universität StuttgartStuttgartGermany

Personalised recommendations