Skip to main content

A process and memory model for a parallel distributed-memory machine

  • Communication Issues
  • Conference paper
  • First Online:
CONPAR 90 — VAPP IV (VAPP 1990, CONPAR 1990)

Abstract

Currently there is no standard operating system suited for large parallel machines with distributed memory. Today's parallel programs have to be tailored to the peculiarities of a parallel machine like sequential programs in the bad old days of assembler programming.

Suitable abstractions for large scale parallelism have to be defined, which can serve as a basis for explicitly parallel programming as well as for very high level (declarative) parallel systems.

We defined a set of abstractions that will be implemented by the kernel of a large parallel machine. This includes a novel process model and a virtually shared store with customized coherency. The concepts will be used as a basis for parallel Lisp, parallel Prolog and a large parallel database system.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D.A. Abramson, J.L. Keedy ”Implementing a large virtual memory in a distributed computing system” Proc. of the 18th Annual Hawaii International Conf. on System Sciences 1985

    Google Scholar 

  2. Ahuja, S.; Carriero, N.; Gelernter, D. ”Linda and Friends” IEEE Computer, Vol. 19 (1986) No. 8, pp. 26–34

    Google Scholar 

  3. Bisiani, R. et al. ”Coherent Shared Memory on a Message Passing Machine” Report CMU-CS-88-204, Carnegie-Mellon University

    Google Scholar 

  4. Borrmann, L. ”A Coherency Model for Virtually Shared Memory”, Proc. Int'l Conf. on Parallel Processing, St. Charles, Ill. August 1990

    Google Scholar 

  5. Canditt, S. et al. ”Implementing Store Copying For A Shared Memory Machine”, Siemens AG (internal paper)

    Google Scholar 

  6. Forin, A. et al. ”Design, Implementation and Performance Evaluation of a Distributed Shared Memory Server for Mach” Technical Report CMU-CS-88-165, Carnegie-Mellon University

    Google Scholar 

  7. Halstead, R. H. ”Multilisp: A Language for Concurrent Symbolic Computation”, ACM Trans. on Programming Languages and Systems, Vol. 7, No. 4, Oct. 1985, pp. 501–538

    Article  Google Scholar 

  8. Holzner, R.; Tomann, S. ”Design and Simulation of a Multistage Interconnection Network”, Proc. Conpar 1990

    Google Scholar 

  9. Meichun Hsu, Va-On Tam ”Transaction Synchronization in Distributed Shared Virtual Memory Systems” Report TR-05-89, Harvard University, Center for Research in Computing Technology

    Google Scholar 

  10. Istavrinos, P. (ed.) ”Specification of the Process Control Language (PCL)”, ESPRIT EP 2025 Deliverable, EDS.DD.1S.0007, Dec. 1989

    Google Scholar 

  11. LeLann, G., ”Distributed Systems-Towards a formal approach” Proc. IFIP Congr., Toronto 1977

    Google Scholar 

  12. Kai Li, Paul Hudak ”Memory Coherence in Shared Virtual Memory Systems” Proc. 5th ACM Symp. on Principles of Distributed Computing, Aug. 1986

    Google Scholar 

  13. Kai Li ”IVY: A Shared Virtual Memory System for Parallel Computing” Proc. of the 1988 Int. Conf. on Parallel Processing, Aug. 1988

    Google Scholar 

  14. U. Ramachandran, M. Ahamad, M.Y.A. Khalidi ”Unifying Synchronization and Data Transfer in Maintaining Coherence of Distributed Shared Memory” Technical Report GIT-ICS-88/23, Georgia Institute for Technology, School of Information and Computer Science

    Google Scholar 

  15. Rozier, M. et.al. ”CHORUS Distributed operating systems”, Tech. Report CS/TR-88-7.6, Chorus Systems (1988)

    Google Scholar 

  16. David H.D. Warren, Seif Haridi ”Data diffusion machine — a scalable shared virtual memory multiprocessor” Proc. of the International Conf. on Fifth Generation Computer Systems 1988

    Google Scholar 

  17. Young, M. et al. ”The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System”, Technical Report CMU-CS-87-155, Carnegie-Mellon University

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Helmar Burkhart

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Istavrinos, P., Borrmann, L. (1990). A process and memory model for a parallel distributed-memory machine. In: Burkhart, H. (eds) CONPAR 90 — VAPP IV. VAPP CONPAR 1990 1990. Lecture Notes in Computer Science, vol 457. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53065-7_126

Download citation

  • DOI: https://doi.org/10.1007/3-540-53065-7_126

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53065-7

  • Online ISBN: 978-3-540-46597-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics