Implementing a register in a dynamic distributed system

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2009, Pages 639-647

  Baldoni, Roberto ^a   Bonomi, Silvia ^a   Kermarrec, Anne Marie ^b   Raynal, Michel ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS DYNAMICS; ASYNCHRONY; ATOMIC REGISTER; BROADCAST COMMUNICATION; CONCURRENT OBJECTS; DISTRIBUTED PROCESS; DISTRIBUTED SYSTEMS; DYNAMIC SYSTEMS; MESSAGE PASSING SYSTEMS; NET EFFECT; PROCESS CRASH; READ/WRITE REGISTERS; RELIABLE BROADCAST; SEVERAL PROTOCOLS; SYNCHRONOUS DYNAMICS;

COMPUTER SCIENCE; DYNAMIC PROGRAMMING; DYNAMICAL SYSTEMS; TECHNICAL PRESENTATIONS;

MESSAGE PASSING;

EID: 70350216057     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCS.2009.46     Document Type: Conference Paper

References (25)

1. Aguilera M.K., A Pleasant Stroll Through the Land of Infinitely Many Creatures. ACM SIGACT News, Distributed Computing Column, 35(2):36-59, 2004.
2. Attiya H., Bar-Noy A. and Dolev D., Sharing Memory Robustly in Message-Passing Systems. JACM, 42(1):129-142, 1995.
3. Baldoni R., Bertier M., Raynal M. and Tucci S., Looking for a Definition of Dynamic Distributed Systems. Proc. 9th Int'l Conference on Parallel Computing Technologies (PaCT'07), LNCS #4671, pp. 1-14, 2007.
4. Baldoni R., Bonomi S., Kermarrec A.M., Raynal M., Implementing a Register in a Dynamic Distributed System Tech. Report n. 1913 IRISA, Université de Rennes 1 Campus de Beaulieu, 35042 Rennes Cedex, France, 2008 ftp://ftp.irisa.fr/techreports/2008/PI-1913.pdf
5. Chandra T. and Toueg S., Unreliable Failure Detectors for Reliable Distributed Systems. JACM, 43(2):225-267, 1996.
6. Chaudhuri S., Kosa M.J. and Welch J., One-write Algorithms for Multivalued Regular and Atomic Registers. Acta Informatica, 37:161-192, 2000.
7. Dolev S., Gilbert S., Lynch N., Shvartsman A., and Welch J., Geoquorum: Implementing Atomic Memory in Ad hoc Networks. In International Conference on Principles of DIStributed Computing (DISC03), pp 306-320, 2003.
8. Dwork C., Lynch N. and Stockmeyer L., Consensus in the Presence of Partial Synchrony. JACM, 35(2):288-323, 1988.
9. Friedman R., Raynal M. and Travers C., Abstractions for Implementing Atomic Objects in Distributed Systems. 9th Int'l Conference on Principles of Distributed Systems (OPODIS'05), LNCS #3974, pp. 73-87, 2005.
10. Gafni E. and Lamport L., Disk Paxos. Distributed Computing, 16(1):1-20, 2003.
11. Gafni E., Merritt M., and Taubenfeld G., The Concurrency Hierarchy, and Algorithms for Unbounded Concurrency. Proc. 20th ACM Symposium on Principles of Distributed Computing (PODC'01), pp. 161-16, 2001.
12. Guerraoui R. and Raynal M., The Alpha of Indulgent Consensus. The Computer Journal, 50(1):53-67, 2007.
13. Hadzilacos V. and Toueg S., Reliable Broadcast and Related Problems. In Distributed Systems, ACM Press, New-York, pp. 97-145, 1993.
14. Haldar S. and Vidyasankar K., Constructing 1-writer Multireader Multivalued Atomic Variables from Regular Variables. JACM, 42(1):186-203, 1995.
15. Herlihy M.P. and Wing J.M., Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Progr. Languages and Systems, 12(3):463-492, 1990.
16. Ko S., Hoque I. and Gupta I., Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols. Proc. 27th IEEE Int'l Symposium on Reliable Distributed Systems (SRDS'08), 2008.
17. Lamport. L., On Interprocess Communication, Part 1: Models, Part 2: Algorirhms. Distr. Comp., 1(2):77-101, 1986.
18. Liben-Nowell D., Balakrishnan H., and Karger D.R., Analysis of the Evolution of Peer-to-peer Systems. 21th ACM Symp. PODC, ACM press, pp 233-242, 2002.
19. Mostefaoui A., Raynal M., Travers C., Peterson S., El Abbadi, Agrawal D., From Static Distributed Systems to Dynamic Systems. 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05), IEEE Computer Society Press, pp. 109-119, 2005.
20. Merritt M. and Taubenfeld G., Computing with Infinitely Many Processes. Proc. 14th Int'l Symposium on Distributed Computing (DISC'00), LNCS #1914, pp. 164-178, 2000.
21. Roy M., Bonnet F., Querzoni L., Bonomi S., Killijian M.O. and Powell D., Geo-Registers: an Abstraction for Spatial-Based Distributed Computing. 12th Int'l Conference on Principles of Distributed Systems (OPODIS'08), 2008.
22. Singh A.K., Anderson J.H. and Gouda M., The Elusive Atomic Register. JACM, 41(2):331-334, 1994.
23. Tucci Piergiovanni S. and Baldoni R., Connectivity in Eventually Quiescent Dynamic Distributed Systems, 3rd Latin-American Symp. on Dependable Computing (LADC07), pp 38-56, 2007.
24. Vidyasankar K., Converting Lamport's Regular Register to Atomic Register. IPL, 28(6):287-290, 1988
25. Vityani P. and Awerbuch B., Atomic Shared Register Access by Asynchronous Hardware. 27th IEEE Symp. on Foundations of Computer Science (FOCS'87), 223-243, 1986.