Journal of the ACM Bibliography
Alan Fekete, M. Frans Kaashoek, and Nancy Lynch. Implementing
sequentially consistent shared objects using broadcast and
point-to-point communication. Journal of the ACM,
45(1):35-69, January 1998.
[BibTeX entry]
Categories and Subject Descriptors:
C.2.2 [Computer-Communication Networks]: Network
Protocols; C.2.4 [Computer-Communication Networks]:
Distributed Systems; D.4.7 [Operating Systems]:
Organization and Design; F.3.1 [Logics and Meanings of
Programs]: Specifying and Verifying and Reasoning about
Programs
General Terms:
Algorithms, Verification
Additional Key Words and Phrases:
Distributed shared memory, formal methods, input/output automata,
ordered multicast, Orca programming language, replicated data
Selected references
- Yehuda Afek, Geoffrey Brown, and Michael Merritt. Lazy
caching. ACM Transactions on Programming Languages and
Systems, 15(1):182-205, January 1993.
- Hagit Attiya and Roy Friedman. A correctness condition for
high-performance multiprocessors (extended abstract). In
Proceedings of the Twenty-Fourth Annual ACM Symposium on the
Theory of Computing, pages 679-690, Victoria, British Columbia,
Canada, 4-6 May 1992.
- Hagit Attiya and Jennifer L. Welch. Sequential
consistency versus linearizability. ACM Transactions on
Computer Systems, 12(2):91-122, May 1994.
- Henri E. Bal, M. Frans Kaashoek, and Andrew S. Tanenbaum. Orca:
A language for parallel programming of distributed systems.
IEEE Transactions on Software Engineering, 18(3):190-205,
March 1992.
- Kenneth P. Birman and Thomas A. Joseph. Reliable
communication in the presence of failures. ACM Transactions on
Computer Systems, 5(1):47-76, February 1987.
- P. Gibbons and M. Merritt. Specifying non-blocking shared memories. In
Proceedings of the 4th Annual Symposium on Parallel Algorithms and
Architectures, pages 306-315, San Diego, California, USA, June
1992. ACM Press.
- P. Gibbons, M. Merritt, and K. Gharachorloo. Proving sequential
consistency of high-performance shared memories. In Proceedings of
the 3rd Annual ACM Symposium on Parallel Algorithms and
Architectures, pages 292-303, Hilton Head, South Carolina, July
1991. ACM Press.
- Maurice Herlihy and Jeannette M. Wing. Linearizability:
A correctness condition for concurrent objects. ACM
Transactions on Programming Languages and Systems, 12(3):463-492,
July 1990.
- Leslie Lamport. Time, clocks, and the ordering of events in a
distributed system. Communications of the ACM,
21(7):558-565, July 1978.
- Leslie Lamport. On
interprocess communication. Part I: Basic formalism.
Distributed Computing, 1(2):77-85, 1986.
- Leslie Lamport. On
interprocess communication. Part II: Algorithms. Distributed
Computing, 1(2):86-101, 1986.
- Gil Neiger and Sam Toueg. Simulating synchronized clocks and
common knowledge in distributed systems. Journal of the
ACM, 40(2):334-367, April 1993.
- Larry L. Peterson, Nick C. Buchholz, and Richard D. Schlichting. Preserving
and using context information in interprocess communication.
ACM Transactions on Computer Systems, 7(3):217-246, August
1989.
- Jennifer Lundelius Welch. Simulating synchronous processors.
Information and Computation, 74(2):159-170, August 1987.
Shortcuts: