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.
Preview
Unable to display preview. Download preview PDF.
References
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
Ahuja, S.; Carriero, N.; Gelernter, D. ”Linda and Friends” IEEE Computer, Vol. 19 (1986) No. 8, pp. 26–34
Bisiani, R. et al. ”Coherent Shared Memory on a Message Passing Machine” Report CMU-CS-88-204, Carnegie-Mellon University
Borrmann, L. ”A Coherency Model for Virtually Shared Memory”, Proc. Int'l Conf. on Parallel Processing, St. Charles, Ill. August 1990
Canditt, S. et al. ”Implementing Store Copying For A Shared Memory Machine”, Siemens AG (internal paper)
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
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
Holzner, R.; Tomann, S. ”Design and Simulation of a Multistage Interconnection Network”, Proc. Conpar 1990
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
Istavrinos, P. (ed.) ”Specification of the Process Control Language (PCL)”, ESPRIT EP 2025 Deliverable, EDS.DD.1S.0007, Dec. 1989
LeLann, G., ”Distributed Systems-Towards a formal approach” Proc. IFIP Congr., Toronto 1977
Kai Li, Paul Hudak ”Memory Coherence in Shared Virtual Memory Systems” Proc. 5th ACM Symp. on Principles of Distributed Computing, Aug. 1986
Kai Li ”IVY: A Shared Virtual Memory System for Parallel Computing” Proc. of the 1988 Int. Conf. on Parallel Processing, Aug. 1988
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
Rozier, M. et.al. ”CHORUS Distributed operating systems”, Tech. Report CS/TR-88-7.6, Chorus Systems (1988)
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
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
Author information
Authors and Affiliations
Editor information
Rights 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