Skip to main content

Chapter 11 Synchronization

  • Conference paper
  • First Online:

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

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.

9. References

  1. 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 Hansen P., "Distributed Processes: A Concurrent Programming Concept", CACM 12, 11 (Nov 1978), 934–941.

    Google Scholar 

  3. 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. Dijkstra E.W., "Self-Stabilizing Systems in Spite of Distributed Control", CACM 17, 11 (Nov 1974), 643–644.

    Google Scholar 

  5. 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. 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. Hoare C.A.R., "Monitors: An Operating System Structuring Concept", CACM 17, 10 (Oct 1974), 549–557.

    Google Scholar 

  8. Hoare C.A.R., "Communicating Sequential Processes", CACM 21, 8 (Aug 1978), 666–677.

    Google Scholar 

  9. Holt A.W., Myers J.M., "An Approach to the Analysis of Clock Networks", Boston University Report (July 1978).

    Google Scholar 

  10. 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. Lamport L., "Time, Clocks and Ordering of Events in a Distributed System", CACM 21, 7 (July 1978), 558–565.

    Google Scholar 

  12. Lampson B.W., "A Note on the Confinement Problem", CACM 16, 5 (Oct 1973), 513–515.

    Google Scholar 

  13. 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 Lann G., "Distributed Systems — Towards a Formal Approach", Proc. IFIP Congress, Toronto, North Holland Publishing Company (Aug 1977), 155–160.

    Google Scholar 

  15. Le Lann G., "Algorithms for Distributed Data Sharing Systems which use Tickets", Proc. 3rd Berkeley Workshop (Aug 1978), 259–272.

    Google Scholar 

  16. McQuillan J.M., Walden D.C., "The Arpanet Design Decisions", Computer Networks 1, 5 (Sept 1977).

    Google Scholar 

  17. 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. Menasce D.A. et al, "A Locking Protocol for Resource Co-ordination in Distributed Databases", ACM Sigmod (June 1978).

    Google Scholar 

  19. Reed D.P., Kanodia R.K., "Synchronization with Eventcounts and Sequences", Operating Systems Review 11, 5 (Nov 1977).

    Google Scholar 

  20. 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. 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 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. 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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

D. Hutchison J. A. Mariani W. D. Shepherd

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Le Lann, G. (1985). Chapter 11 Synchronization. In: Hutchison, D., Mariani, J.A., Shepherd, W.D. (eds) Local Area Networks: An Advanced Course. Lecture Notes in Computer Science, vol 184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15191-5_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-15191-5_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15191-3

  • Online ISBN: 978-3-540-39286-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics