Advertisement

Chapter 11 Synchronization

  • G. Le Lann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 184)

Keywords

Mutual Exclusion Control Token Conflict Graph Synchronization Mechanism Consistency Constraint 
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.

9. References

  1. [Alsberg76]
    Alsberg P.A., Day J.D., "A Principle for Resilient Sharing of Distributed Resources", Proc. 2nd Int. Conf. Software Eng., San Francisco, USA (Oct 1976).Google Scholar
  2. [Brinch Hansen78]
    Brinch Hansen P., "Distributed Processes: A Concurrent Programming Concept", CACM 12, 11 (Nov 1978), 934–941.Google Scholar
  3. [Cohen77]
    Cohen J.M., Moses H.E., "New Test of the Synchronization Procedure in Non-Inertial Systems", Physical Review Letters 39 (Dec 1977), 1641–1643.Google Scholar
  4. [Dijkstra74]
    Dijkstra E.W., "Self-Stabilizing Systems in Spite of Distributed Control", CACM 17, 11 (Nov 1974), 643–644.Google Scholar
  5. [Eswaran76]
    Eswaran K.P. et al., "The Notions of Consistency and Predicate Locks in a Database System", CACM 19, 11 (Nov 1976), 624–633.Google Scholar
  6. [Gray78]
    Gray J.N., "Notes on Database Operating Systems", Operating systems: An Advanced Course, Goos G., Hartmanis J. (eds.), Springer-Verlag (1978), 393–481.Google Scholar
  7. [Hoare74]
    Hoare C.A.R., "Monitors: An Operating System Structuring Concept", CACM 17, 10 (Oct 1974), 549–557.Google Scholar
  8. [Hoare78]
    Hoare C.A.R., "Communicating Sequential Processes", CACM 21, 8 (Aug 1978), 666–677.Google Scholar
  9. [Holt78]
    Holt A.W., Myers J.M., "An Approach to the Analysis of Clock Networks", Boston University Report (July 1978).Google Scholar
  10. [Ichbiah79]
    Ichbiah J.D. et al, "Rationale for the Design of the ADA Programming Language", SIGPLAN Notices 14, 6 (June 1979), Part B.Google Scholar
  11. [Lamport78]
    Lamport L., "Time, Clocks and Ordering of Events in a Distributed System", CACM 21, 7 (July 1978), 558–565.Google Scholar
  12. [Lampson73]
    Lampson B.W., "A Note on the Confinement Problem", CACM 16, 5 (Oct 1973), 513–515.Google Scholar
  13. [Lampson81]
    Lampson B.W., Paul M. and Siegert H.J. (eds.), Distributed Systems: Architecture and Implementation Springer-Verlag Lecture Notes in Computer Science, No. 105 (1981).Google Scholar
  14. [Le Lann77]
    Le Lann G., "Distributed Systems — Towards a Formal Approach", Proc. IFIP Congress, Toronto, North Holland Publishing Company (Aug 1977), 155–160.Google Scholar
  15. [Le Lann78]
    Le Lann G., "Algorithms for Distributed Data Sharing Systems which use Tickets", Proc. 3rd Berkeley Workshop (Aug 1978), 259–272.Google Scholar
  16. [McQuillan77]
    McQuillan J.M., Walden D.C., "The Arpanet Design Decisions", Computer Networks 1, 5 (Sept 1977).Google Scholar
  17. [Mao80]
    Mao T.W., Yeh R.T., "Communication Port: A Language Concept for Concurrent Programming", IEEE Trans. Software Eng. SE-6, 2 (Mar 1980), 194–204.Google Scholar
  18. [Menasce78]
    Menasce D.A. et al, "A Locking Protocol for Resource Co-ordination in Distributed Databases", ACM Sigmod (June 1978).Google Scholar
  19. [Reed77]
    Reed D.P., Kanodia R.K., "Synchronization with Eventcounts and Sequences", Operating Systems Review 11, 5 (Nov 1977).Google Scholar
  20. [Rosenkrantz78]
    Rosenkrantz D.J., Stearns R.E. and Lewis P.M., "System Level Concurrency Control for Distributed Data Bases", ACM Trans. Database Systems 3, 2 (June 1978).Google Scholar
  21. [Stonebraker78]
    Stonebraker M., "Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres", Proc. 3rd Berkeley Workshop (Aug 1978), 235–258.Google Scholar
  22. [Thomas/76]
    Thomas R.H., "A Solution to the Update Problem for Multiple Copy Databases which use Distributed Control", BBN Report 3340 (July 1976), Bolt, Beranek and Newman Inc., Cambridge, USA.Google Scholar
  23. [Watson81]
    Watson R.W., "Distributed System Architecture Model", Distributed Systems: Architecture and Implementation, Lampson B.W., Paul M. and Siegert H.J. (eds.), Springer-Verlag Lecture Notes in Computer Science, No. 105 (1981), 10–43.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • G. Le Lann
    • 1
  1. 1.Inria — Projet ScoreLe Chesnay CedexFrance

Personalised recommendations