Robust emulations of shared memory in a crash-recovery model

Proceedings - International Conference on Distributed Computing Systems

Volumn 24, Issue , 2004, Pages 400-407

  Guerraoui, Rachid ^a   Levy, Ron R ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; INFORMATION THEORY; MATHEMATICAL MODELS; TELECOMMUNICATION NETWORKS; VIRTUAL REALITY;

ATOMICITY; CRASH STOP MODELS; MESSAGE PASSING CHANNELS; SHARED MEMORY;

DATA STORAGE EQUIPMENT;

EID: 2442567946     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icdcs.2004.1281605     Document Type: Conference Paper

References (11)

1. M. Aguilera, W. Chen, and S. Toueg. Failure detection and consensus in the crash-recovery model. Proceedings of the International Symposium on Distributed Computing (DISC), 1998.
2. H. Attiya. Efficient and robust sharing of memory in message-passing systems. Journal of Algorithms, 34(1): 109-127, 2000.
3. H. Attiya, A. Bar-Noy, and D. Dolev. Sharing memory robustly in a message passing system. Journal of the ACM, 42(1): 124-142, 1995.
4. R. Guerraoui and R. Levy. Robust emulations of shared memory in a crash-recovery model, technical report. http://1pdwww.epf1.ch/publications, 2004.
5. M. Herlihy and J. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, 1990.
6. L. Lamport. Time, clocks and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
7. L. Lamport. On interprocess communication - part i: Basic formalism, part ii: Algorithms. DEC SRC Report, 8, 1985. Also in Distributed Computing, 1, 1986, 77-101.
8. L. Lamport. On interprocess communication - part i: Basic formalism, part ii: Algorithms. DEC SRC Report, 8, 1985. Also in Distributed Computing, 1, 1986, 77-101.
9. N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996.
10. N. Lynch and A. Shvartsman. Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts. Proceedings of the IEEE Symposium on Fault-Tolerant Computing Systems (FTCS), 1997.
11. N. Lynch and A. Shvartsman. Rambo: A reconfigurable atomic memory service for dynamic networks. Proceedings of the International Symposium on Distributed Computing (DISC), 2002.