Causal Memory: Definitions, Implementation and Programming

Causal Memory: Definitions, Implementation and Programming (1994)

Cached

Download Links

[web.cps.msu.edu]

by Mustaque Ahamad , Gil Neiger , James E. Burns , Prince Kohli , P.W. Hutto

Citations:

122 - 9 self

Citations

1226	How to make a multiprocessor computer that correctly executes multiprocess programs - Lamport - 1979
1156	Linearizability: a correctness condition for concurrent objects - Herlihy, Wing - 1990
989	Tsitsiklis. Parallel and Distributed Computation: Numerical Methods. Athena Scientific, - Bertsekas, N - 1997
987	the Ordering of Events in a Distributed System - Time
736	Virtual Time and Global States of Distributed Systems. Proc. of the Intl. Workshop on Parallel & Distributed Algorithms, M. Cosnard et. al - Mattern - 1989
729	Memory consistency and event ordering in scal able shared-memory multiprocessors - Gharachorloo, Lenoski, et al. - 1990
616	Lightweight Causal and Atomic Group Multicast - Birman, Schiper, et al. - 1991
224	Logical time in distributed computing systems - Fidge - 1991
187	Pram: A scalable shared memory - Lipton, Sandberg - 1988
185	Cache consistency and sequential consistency - Goodman
184	Myths about the mutual exclusion problem - Peterson - 1981
127	A uni formalization of four shared-memory models - Adve, Hill - 1993
123	Adaptive software cache management for distributed shared memory architectures - Bennett, Carter, et al. - 1990
120	Weak ordering—a new definition. - Adve, Hill - 1990
120	Sequential consistency versus linearizability - Attiya, Welch - 1994
120	On interprocess communication - part i: Basic formalism, part ii: Algorithms - Lamport - 1985
83	Lazy caching - Afek, Brown, et al. - 1993
80	Axioms for memory access in asynchronous hardware systems,” - Misra - 1986
77	The Power of Processor Consistency", - Ahamad - 1992
76	Implementing and Programming Causal Distributed Shared Memory", - Ahamad, Hutto, et al. - 1990
66	A correctness condition for highperformance multiprocessors. - Attiya, Friedman - 1992
46	Proving sequential consistency of high-performance shared memories. In - Gibbons, Merritt, et al. - 1991
44	Causal memory - Ahamad, Bums, et al. - 1991
27	Shared memory consistency conditions for non-sequential execution: De and programming strategies - Attiya, Chaudhuri, et al. - 1993
21	An Analysis of Distributed Shared Memory Algorithms - Kessler, Livny - 1989
17	and Mustaque Ahamad. Slow memory: Weakening consistency to enhance concurrency in distributed shared memories - Hutto - 1990
13	Mustaque Ahamad. A characterization of scalable shared memories - Kohli, Neiger - 1993
10	Efficient, strongly consistent implementations of shared memory - Mavronicolas, Roth
8	Sequential Consistency and Linearizability: Read/Write objects - Mavronicolas, Roth - 1991
6	A framework for programming using non-atomic variables - Singh - 1994
2	Implementing and Programming Weakly Consistent Memories - John - 1994
2	and Mustaque Ahamad. Implementing and Evaluating Causal Memory for Data-race-free Programs - John - 1994