Distributed Shared Memory on Loosely Coupled Systems

feasible alternative to the traditional communication model (CM), especiallv in loosely coupled distributed sijstems. While the CM is usually considered a low-level model, the DSMM provides a shared address space that can be used in the same way as local memory. This paper provides a taxonomy of distributed shared memory systems, focusing on different implementations and the factors which affect the behavior of those implemen-tations.

[1]  Peter J. Denning,et al.  On modeling program behavior , 1972, AFIPS '72 (Spring).

[2]  Leslie Lamport,et al.  How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.

[3]  Katherine A. Yelick,et al.  Optimizing parallel programs with explicit synchronization , 1995, PLDI '95.

[4]  James R. Goodman,et al.  Cache Consistency and Sequential Consistency , 1991 .

[5]  John B. Carter,et al.  Distributed shared memory: where we are and where we should be headed , 1995, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V).

[6]  Philip A. Bernstein,et al.  Recovery Algorithms for Database Systems , 1983, IFIP Congress.

[7]  Jayadev Misra.  Axioms for memory access in asynchronous hardware systems , 1986, TOPL.

[8]  James R. Larus,et al.  Tempest: a substrate for portable parallel programs , 1995, Digest of Papers. COMPCON'95. Technologies for the Information Superhighway.

[9]  Brian N. Bershad,et al.  The Midway distributed shared memory system , 1993, Digest of Papers. Compcon Spring.

[10]  Ruby B. Lee,et al.  Tempest: a substrate for portable parallel programs , 1995 .

[11]  Michael Stumm,et al.  Algorithms implementing distributed shared memory , 1990, Computer.

[12]  Tzi-cker Chiueh,et al.  A compiler-directed distributed shared memory system , 1995, ICS '95.

[13]  D SchlichtingRichard,et al.  Fail-stop processors , 1983 .

[14]  Roy H. Campbell,et al.  Distributed virtual memory consistency protocols: design and performance , 1990, IEEE Workshop on Experimental Distributed Systems.

[15]  Willy Zwaenepoel,et al.  Implementation and performance of Munin , 1991, SOSP '91.

[16]  Alessandro Forin,et al.  Architectural support for multilanguage parallel programming on heterogeneous systems , 1987, ASPLOS 1987.

[17]  David E. Culler,et al.  A case for NOW (networks of workstation) , 1995, PODC '95.

[18]  James R. Larus,et al.  Application-specific protocols for user-level shared memory , 1994, Proceedings of Supercomputing '94.

[19]  Willy Zwaenepoel,et al.  Techniques for reducing consistency-related communication in distributed shared-memory systems , 1995, TOCS.

[20]  Gary Scott Delp.  The architecture and implementation of MEMNET: a high--speed shared-memory computer communication network , 1988 .

[21]  Henri E. Bal,et al.  Orca: A Language For Parallel Programming of Distributed Systems , 1992, IEEE Trans. Software Eng..

[22]  David L. Black,et al.  Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures , 1987, IEEE Trans. Computers.

[23]  David L. Black,et al.  The duality of memory and communication in the implementation of a multiprocessor operating system , 1987, SOSP '87.

[24]  Kun-Lung Wu,et al.  Recoverable Distributed Shared Virtual Memory , 1990, IEEE Trans. Computers.

[25]  K. H. Kim,et al.  Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation , 1988, IEEE Trans. Software Eng..

[26]  Monica S. Lam,et al.  The design and evaluation of a shared object system for distributed memory machines , 1994, OSDI '94.

[27]  Michael Stumm,et al.  Extending distributed shared memory to heterogeneous environments , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[28]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[29]  Alessandro Forin,et al.  Architectural support for multilanguage parallel programming on heterogeneous systems , 1987, ASPLOS.

[30]  Willy Zwaenepoel,et al.  Munin: distributed shared memory based on type-specific memory coherence , 1990, PPOPP '90.

[31]  Alan L. Cox,et al.  TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems , 1994, USENIX Winter.

[32]  Anoop Gupta,et al.  Memory consistency and event ordering in scalable shared-memory multiprocessors , 1990, ISCA '90.

[33]  David K. Gifford,et al.  Remote pipes and procedures for efficient distributed communication , 1988, TOCS.

[34]  Alan L. Cox,et al.  Lazy release consistency for software distributed shared memory , 1992, ISCA '92.

[35]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[36]  Michael L. Scott,et al.  False sharing and its effect on shared memory performance , 1993 .

[37]  David R. Cheriton,et al.  Problem-oriented Shared Memory: A Decentralized Approach to Distributed System Design , 1986, IEEE International Conference on Distributed Computing Systems.

[38]  Nicholas Carriero,et al.  Linda and Friends , 1986, Computer.

[39]  Michel Dubois,et al.  Synchronization, coherence, and event ordering in multiprocessors , 1988, Computer.

[40]  Brian N. Bershad,et al.  Midway : shared memory parallel programming with entry consistency for distributed memory multiprocessors , 1991 .

[41]  Michel Dubois,et al.  Memory access buffering in multiprocessors , 1998, ISCA '98.

[42]  Thomas Henties,et al.  Using a Weak Coherency Model for a Parallel Lisp , 1991, EDMCC.

[43]  Kai Li,et al.  Retrospective: virtual memory mapped network interface for the SHRIMP multicomputer , 1994, ISCA '98.

[44]  Marina Papatriantafilou,et al.  Towards self-stabilizing wait-free shared memory objects , 1995 .

[45]  Karsten Schwan,et al.  Indigo: user-level support for building distributed shared abstractions , 1995, Proceedings of the Fourth IEEE International Symposium on High Performance Distributed Computing.

[46]  David R. Cheriton,et al.  Preliminary thoughts on problem-oriented shared memory: a decentralized approach to distributed systems , 1985, OPSR.

[47]  Paul Hudak,et al.  Memory coherence in shared virtual memory systems , 1989, TOCS.