Skip to main content
SpringerLink
Log in

Loosely-coupled processes (preliminary version)

  • Invited Lectures
  • Conference paper
  • First Online:
PARLE '91 Parallel Architectures and Languages Europe (PARLE 1991)

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

Abstract

The notion of loose-coupling promises to simplify programming and implementations of a class of shared-variable systems.

This work was partially supported by ONR Contract N00014-90-J-1640 and by Texas Advanced Research Program grant 003658-065.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arvind, Nikil, R.S. and K. K. Pingali [1989]. “I-Structures: Data Structures for Parallel Computing,” ACM TOPLAS, Vol 11, No. 4, October 1989, 598–632.

    Google Scholar 

  2. Chandy, K. M., and J. Misra [1988]. Parallel Program Design: A Foundation, Reading, Massachusetts: Addison-Wesley, 1988.

    Google Scholar 

  3. Chandy, K. Mani and Stephen Taylor, “A Primer for Program Composition Notation,” Caltech-CS-TR-90-10, June 20, 1990.

    Google Scholar 

  4. Eswaran, K. P., Gray, J. N., Lorie, R. A. and I. L. Traiger, “The Notions of Consistency and Predicate Locks in a Database System,” C. ACM 19(11):624–633, November 1976.

    Google Scholar 

  5. Gaifman, H., Maher, M. J., and E. Shapiro [1990. “Replay, Recovery, Replication and Snapshot of Nondeterministic Concurrent Programs,” Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, 76100, Israel, July 1990.

    Google Scholar 

  6. C. A. R. Hoare, “Monitors: An Operating System Structuring Concept,” C. ACM, Vol. 17, No. 10, 549–557, October 1974.

    Google Scholar 

  7. Lenoski, D., Gharachorloo, K., Laudon, J., Gupta, A., Hennessy, J., Horowitz, M. and Lam, M., “Design of Scalable Shared-Memory Multiprocessors: The DASH Approach,” Proc. ACM, Compcon, February, 1990.

    Google Scholar 

  8. Lenoski, D., Laudon, J., Gharachorloo, K., Gupta, A. and Hennessy, J., “The Directory-Based Cache Coherence Protocol for the DASH Multiprocessor,” Proc. IEEE, 17th Annual International Symposium on Computer Architecture, 148–159, Seattle, WA, May, 1990.

    Google Scholar 

  9. Misra, J. [1990]. “Specifying Concurrent Objects as Communicating Processes,” Science of Computer Programming 14 (1990), 159–184.

    Google Scholar 

  10. Owicki, S., and D. Gries [1976]. “An Axiomatic Proof Technique for Parallel Programs I,” Acta Informatica, 6:1, 1976, 319–340.

    Google Scholar 

  11. Shapiro, E. [1989]. “The Family of Concurrent Logic Programming Languages,” ACM Computing Surveys, 21:3, 412–510, 1989.

    Google Scholar 

  12. Steele, Guy L. Jr., “Making Asynchronous Parallelism Safe for the World,” Proc. 17th Annual ACM Symposium on Principles of Programming Languages, San Francisco, CA, January 17–19, 1990, pp. 218–231.

    Google Scholar 

  13. Vishnubhotla, Prasad [1989]. “Concurrency and Synchronization in the ALPS Programming Language,” TR56, Ohio State University, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Sciences, The University of Texas at Austin, 78712, Austin, Texas

    Jayadev Misra

Authors
  1. Jayadev Misra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Emile H. L. Aarts Jan van Leeuwen Martin Rem

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag

About this paper

Cite this paper

Misra, J. (1991). Loosely-coupled processes (preliminary version). In: Aarts, E.H.L., van Leeuwen, J., Rem, M. (eds) PARLE '91 Parallel Architectures and Languages Europe. PARLE 1991. Lecture Notes in Computer Science, vol 506. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54152-7_55

Download citation

  • DOI: https://doi.org/10.1007/3-540-54152-7_55

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47472-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation