Skip to main content
SpringerLink
Log in

Process synchronization in high-level languages

  • Published:
International Journal of Computer & Information Sciences Aims and scope Submit manuscript

Abstract

This paper examines a concurrent process synchronization technique known as the conditional critical region method and suggests a simple improvement to it. This makes the method very attractive for inclusion in high-level programming languages allowing users to write parallel programs. Next, the paper describes an implementation of the technique and illustrates the use of the technique with the help of some well-known examples in parallel programming.

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.

Similar content being viewed by others

References

  1. C. A. R. Hoare, “Towards a theory of parallel programming,” in C. A. R. Hoare and R. H. Perrot, eds.,Operating Systems Techniques (Academic Press, 1973).

  2. P. B. Hansen, “A comparison of two synchronising concepts,”Acta Informatica 1:190–199 (1972).

    Google Scholar 

  3. P. B. Hansen, “Structured multiprogramming,”Comm. ACM 15:574–578 (July 1972).

    Google Scholar 

  4. E. W. Dijkstra, “Cooperating sequential processes,” in F. Genuys, ed.,Programming Languages (Academic Press, 1968).

  5. C. A. R. Hoare, “An axiomatic basis for computer programming,”Comm. ACM 12:576–580, 583 (October 1969).

    Google Scholar 

  6. N. Wirth, “The programming language PASCAL,”Acta Informatica 1:35–63 (1971).

    Google Scholar 

  7. R. C. Holt, “Some deadlock properties of computer systems,” inThird ACM Symposium on Operating Systems Principles (Stanford University, October 1971).

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

    Google Scholar 

  9. C. A. R. Hoare, “Monitors: an operating system structuring concept,” Comm. ACM71:549–557 (October 1974).

    Google Scholar 

  10. S. K. Shrivastava, “A structured approach to concurrent process synchronisation,” inProceedings of 1973 Sagamore Computer Conference on Parallel Processing, IEEE Cat. No. 73 CH0812-8C.

Download references

Author information

Author notes

  1. Santosh K. Shrivastava

    Present address: Plessey Telecommunications Ltd., Poole, Dorset, England

Authors and Affiliations

  1. Computer Laboratory, Cambridge University, England

    Santosh K. Shrivastava

Authors
  1. Santosh K. Shrivastava
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shrivastava, S.K. Process synchronization in high-level languages. International Journal of Computer and Information Sciences 4, 151–169 (1975). https://doi.org/10.1007/BF00976241

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation