Implementing a reconfigurable atomic memory service for dynamic networks

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM)

Volumn 18, Issue , 2004, Pages 2887-2894

  Musial, Peter M ^a   Shvartsman, Alex A ^b  

^a University of Connecticut   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER SCIENCE; DATA PROCESSING; DATA STORAGE EQUIPMENT; FAULT TOLERANT COMPUTER SYSTEMS; MIDDLEWARE; OPTIMIZATION; SOFTWARE ENGINEERING;

BUILDING BLOCKS; DYNAMIC NETWORKS; RECONFIGURABLE ATOMIC MEMORY SERVICES;

COMPUTER NETWORKS;

EID: 12444274858     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. IOA toolkit documentation and code: http://theory.lcs.mit.edu/tds/ioa/
2. H. Attiya, A. Bar-Noy, and D. Dolev. Sharing Memory Robustly in Message Passing Systems. J. of the ACM 42(1):124-142, 1996.
3. O.M. Cheiner and A.A. Shvartsman. Implementing an eventually-serializable data service as a distributed system building block. Networks in Distributed Computing, DIMACS Series, 45:43-71, 1999.
4. B. Englert and A.A. Shvartsman. Graceful quorum reconfiguration in a robust emulation of shared memory. In Proc. Int. Conference on Distributed Computer Systems, pp. 454-463, 2000.
5. S.J. Garland and N.A. Lynch. Using I/O automata for developing distributed systems. Foundations of Component-Based Systems, pp. 285-312, Cambridge Univ. Press, 2000.
6. S.J. Garland, N.A. Lynch, and M. Vaziri. IOA: A language for specifying, programming, and validating distributed systems. User and Reference Manual. LCS, MIT, 2001
7. S. Gilbert, N. Lynch, and A.A. Shvartsman. RAMBO II: rapidly reconfigurable atomic memory for dynamic networks. In Proc. of the International Conference on Dependable Systems and Networks, pp. 259-268, 2003.
8. C. Georgiou, P.M. Musial, and A.A. Shvartsman. Reconfigurable Atomic Memory for Dynamic Networks with Graceful Departures and Incremental Gossip. http://www.cse.uconn.edu/~piotr/publications/GMS03.ps
9. N.A. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, 1996.
10. N. Lynch and A.A. Shvartsman. RAMBO: A reconfigurable atomic memory service for dynamic networks. In Proc. of 16th Int. Symposium on Distributed Computing, pp. 173-190, 2002.
11. N.A. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms. Technical Report LCS/TR387, MIT, 1987.
12. N. Lynch and A.A. Shvartsman. Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts. In Proc. of 27th lnt-l Symp. on Fault-Tolerant Comp., pp. 272-281, 1997.
13. P.M. Musial and A.A. Shvartsman. Synchronization issues in implementing a distributed memory service. Manuscript, 2004.
14. E. Upfal and A. Wigderson, How to share memory in a distributed system. J. of the ACM34(1):116-127, 1987.