Long-lived Rambo: Trading knowledge for communication

Theoretical Computer Science

Volumn 383, Issue 1, 2007, Pages 59-85

  Georgiou, Chryssis ^a   Musial, Peter M ^b   Shvartsman, Alexander A ^b,c  

^a UNIVERSITY OF CYPRUS   (Cyprus)

^b University of Connecticut   (United States)

^c MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Atomic memory service; Distributed algorithms; Long lived executions

Indexed keywords

DATA REDUCTION; DATA STORAGE EQUIPMENT; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC;

ATOMIC MEMORY SERVICE; LONG-LIVED EXECUTIONS;

PARALLEL ALGORITHMS;

EID: 34548032358     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2007.03.052     Document Type: Article

References (32)

1. N. Lynch, A.A. Shvartsman, RAMBO: A reconfigurable atomic memory service for dynamic networks, in: Proc. of 16th International Symposium on Distributed Computing, 2002, pp. 173-190
2. S. Gilbert, N. Lynch, A.A. Shvartsman, RAMBO II: Rapidly reconfigurable atomic memory for dynamic networks, in: Proc. of International Conference on Dependable Systems and Networks, 2003, pp. 259-268
3. P.M. Musial, A.A. Shvartsman, Implementing a reconfigurable atomic memory service for dynamic networks, in: Proc. of 18'th International Parallel and Distributed Symposium - FTPDS WS, 2004, p. 208b
4. N.A. Lynch, M. Tuttle, Hierarchical correctness proofs for distributed algorithms, Technical Report, 1987
5. D.K. Gifford, Weighted voting for replicated data, in: Proc. of 7th ACM Symp. on Oper. Sys. Princ., 1979, pp. 150-162
6. Thomas R. A majority consensus approach to concurrency control for multiple copy databases. ACM Transactions on Database Systems 4 2 (1979) 180-209
7. Upfal E., and Wigderson A. How to share memory in a distributed system. Journal of the ACM 34 1 (1987) 116-127
8. B. Awerbuch, P. Vitanyi, Atomic shared register access by asynchronous hardware, in: Proc. of 27th IEEE Symposium on Foundations of Computer Science, 1986, pp. 233-243
9. Attiya H., Bar-Noy A., and Dolev D. Sharing memory robustly in message passing systems. Journal of the ACM 42 1 (1996) 124-142
10. B. Englert, A.A. Shvartsman, Graceful quorum reconfiguration in a robust emulation of shared memory, in: Proc. of International Conference on Distributed Computer Systems, 2000, pp. 454-463
11. N. Lynch, A.A. Shvartsman, Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts, in: Proc. of 27th Int-l Symp. on Fault-Tolerant Comp., 1997, pp. 272-281
12. K. Birman, T. Joseph, Exploiting virtual synchrony in distributed systems, in: Proc. of the 11th ACM Symposium on Operating Systems Principles, December 1987
13. On group communication services. Communications of the ACM 39 4 (1996) (special issue)
14. A. El Abbadi, F. Cristian, D. Skeen, An efficient fault-tolerant protocol for replicated data management, in: Proc. of 4th ACM Symposium on Principles of Databases, 1985, pp. 215-228
15. R. De Prisco, A. Fekete, N. Lynch, A.A. Shvartsman, A dynamic primary configuration group communication service, in: Proc. of 13th Int-l Conference on Distributed Computing, 1999, pp. 64-78
16. Jajodia S., and Mutchler D. Dynamic voting algorithms for maintaining the consistency of a replicated database. Transactions on Database Systems 15 2 (1990) 230-280
17. D. Dolev, E. Lotem, I. Keidar, Dynamic voting for consistent primary components, in: Proc. of 16th ACM Symposium on Principles of Distributed Computing, 1997, pp. 63-71
18. Herlihy M.P. Dynamic quorum adjustment for partitioned data. ACM Transactions on Database Systems 12 2 (1987) 170-194
19. Birman K.P., Hayden M., Ozkasap O., Xiao Z., Budiu M., and Minsky Y. Bimodal multicast. ACM Transactions on Computer Systems 17 2 (1999) 41-88
20. O.M. Cheiner, A.A. Shvartsman, Implementing an eventually-serializable data service as a distributed system building block, vol. 45, 1999, pp. 43-71
21. A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson, S. Shenker, H. Sturgis, D. Swinehart, D. Terry, Epidemic algorithms for replicated database maintenance, in: Proc. of 6th ACM Symp. on Princ. of Distr. Comp., 1987, pp. 1-12
22. Ghorbani A., and Bhavsar V. Training artificial neural networks using variable precision incremental communication. Proc. of IEEE World Congress On Computational Intelligence vol. 3 (1994) 1409-1414
23. K. Petersen, M.J. Spreitzer, D.B. Terry, M.M. Theimer, Bayou: Replicated database services for world-wide applications, in: Proc. of 7th ACM SIGOPS European Workshop, 1996, pp. 275-280
24. Y. Minsky, Spreading rumors cheaply, quickly, and reliably, Ph.D. Thesis, Cornell University, 2002
25. Van Renesse R., Birman K.P., and Vogels W. Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining. ACM Transactions on Computer Systems 21 2 (2003) 164-206
26. R.A. Golding, Weak-consistency group communication and membership, Ph.D. Thesis, University of California, 1992
27. M. Rabinovich, N. Gehani, A. Kononov, Efficient update propagation in epidemic replicated databases, in: Proc. of 5th Int. Conf. on Extending Database Technology, 1996, pp. 207-222
28. R.G. Guy, J.S. Heidemann, W. Mak, T.W. Page Jr., G.J. Popek, D. Rothmeier, Implementation of the ficus replicated file system, in: Proc. of Summer USENIX Conference, 1990, pp. 63-71
29. Georgiou C., Musial P.M., and Shvartsman A.A. Long-lived RAMBO: Trading knowledge for communication. Proc. of 11'th Colloquium on Structural Information and Communication Complexity (2004), Springer 185-196
30. Lynch N.A. Distributed Algorithms (1996), Morgan Kaufmann Publishers
31. Lamport L. The part-time parliament. ACM Transactions on Computer Systems 16 2 (1998) 133-169
32. Sh. Dolev, S. Gilbert, N. Lynch, A. Shvartsman, J. Welch, Geoquorums: Implementing atomic memory in ad hoc networks, in: Proc. of 17th International Symposium on Distributed Computing, 2003, pp. 306-320