Synchronization mechanisms for parallel processing

  • Nobuo Saito
Part I, Concurrency Control And Access Control
Part of the Lecture Notes in Computer Science book series (LNCS, volume 143)


The synchronization mechanism in parallel processing is a very important facility. This paper discusses the recent trends of synchronization mechanisms, especially from the point of general features and program verification.


Parallel Processing Parallel Program Message Passing Distribute Computer System Communicate Sequential Process 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Brinch Hansen, Per (1978). Distributed Processes: A Concurrent Programming Concept, CACM, Vol. 21, No.11, Nov. 1978, pp.934–941Google Scholar
  2. Campbell, R. H. and Habermann, A. N. (1974). The Specification of Process Synchronization by Path Expressions, Lecture Notes in Computer Science, Vol.16, Springer Verlag, 1974, pp.89–102Google Scholar
  3. Courtois, P. J., Heymans, F. and Parnas, D. L. (1971). Concurrent Control with ”Readers” and ”Writers”, CACM, Vol.14, No.10, Oct. 1971, pp.667–668Google Scholar
  4. Dijkstra, E. W. (1968). Cooperating Sequential Processes, Programming Languages (ed. Genuys, F.), Academic Press, New York, 1968, pp.43–112Google Scholar
  5. Habermann, A. N. (1972). Synchronization of Communicating Sequential Processes, CACM, Vol.15, No.3, March 1972, pp.171–176Google Scholar
  6. Hirose, K. Saito, N. Doi, N. et al. (1981). Specification Technique for Parallel Processing: Process-Data Representation, AFIPS Conference Proceedings NCC, Vol.50, May 1981, pp.407–413Google Scholar
  7. Hoare, C.A.R. (1972). Proof of Correctness of Data Representations, Acta Informatica, Vol. 1, 1972, pp.271–281Google Scholar
  8. Hoare, C.A.R. (1974). Monitors: An Operating System Structuring Concept, CACM, Vol.17, No.10, Oct. 1974, pp.549–557Google Scholar
  9. Hoare, C.A.R. (1978). Communicating Sequential Processes, CACM, Vol.21, No.8, Aug. 1978, pp.666–677Google Scholar
  10. Milner, R. (1979). Flowgraphs and Flow Algebras, JACM, Vol. 26, No.4, Oct. 1979, pp.794–818Google Scholar
  11. Owicki, S. and Gries, D. (1976). Verifying Properties of Parallel Programs: An Axiomatic Approach, CACM, Vol. 19, No.5, May 1976, pp.280–285Google Scholar
  12. Plotkin, G. (1976). A Powerdomain Construction, SIAM Journal on Computing, Vol.5, No.3, 1976, pp.452–487Google Scholar
  13. Siberschatz, A. (1979). Communication and Synchronization in Distributed Systems, IEEE Trans. on Software Engineering, Vol. SE-5, No. 6, Nov. 1979, pp.542–546Google Scholar
  14. SIGPLAN Notices (1979). Preliminary Ada Reference Manual, SIGPLAN Notices, Vol.14, No.6, Part A, June 1979Google Scholar
  15. Welsh, J., Lister, A. and Salzman, E.J. (1980). A Comparison of Two Notations for Process Communication, Lecture Notes in Computer Science, Vol. 79, Springer Verlag, 1980, pp.225–254Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Nobuo Saito
    • 1
  1. 1.Department of Mathematics Faculty of EngineeringKeio UniversityYokohama 223Japan

Personalised recommendations