TY - JOUR
T1 - Developing a consistent domain-oriented distributed object service
AU - Georgiou, Chryssis
AU - Musial, Peter M.
AU - Shvartsman, Alexander A.
N1 - Funding Information:
The authors thank the anonymous referees for insightful comments that improved the presentation of this work. They also acknowledge the question of one referee regarding the possibility of implementing snapshot memory using their approach. This work was supported in part by the US National Science Foundation (NSF) Grants 9988304, 9984778, 0121277, and 0311368. A preliminary version of this work appears in the Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications, pp. 149-158, 2005.
Funding Information:
degree from Stevens Institute of Technology in 1979, the MS degree from Cornell University in 1981, and the PhD degree in computer science from Brown University in 1992. He is a professor of computer science and engineering in the Department of Computer Science and Engineer-ing, University of Connecticut, Storrs. For more than 10 years, he was a member of technical staff at AT&T Bell Labs and Digital Equipment Corp. After earning his PhD, he ultimately embarked on an academic career. His research in distributed computing has been funded by several US National Science Foundation (NSF) grants, including the US NSF Career Award. He has authored more than 100 papers, two books, and several book chapters. He chaired and he served on many program committees of the top conferences in distributed computing, and he is a Vigneron d’Honneur of Jurade de Saint-Emilion.
PY - 2009
Y1 - 2009
N2 - This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is suitable for inclusion as a middleware system service for distributed applications requiring atomic read/write data. The implementation substantially extends and refines the abstract RAMBO algorithm of Lynch and Shvartsman that supports individual atomic objects. In this paper, domains are introduced to allow the users to group related atomic objects. The new implementation manages configurations on the basis of domains, significantly improving the utility and the performance of the resulting service. DO-RAMBO guarantees consistency under asynchrony, message loss, node crashes, new node arrivals, and node departures. We present the formal algorithm development for DO-RAMBO and give analytical and empirical results that illustrate the benefit of the new approach.
AB - This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is suitable for inclusion as a middleware system service for distributed applications requiring atomic read/write data. The implementation substantially extends and refines the abstract RAMBO algorithm of Lynch and Shvartsman that supports individual atomic objects. In this paper, domains are introduced to allow the users to group related atomic objects. The new implementation manages configurations on the basis of domains, significantly improving the utility and the performance of the resulting service. DO-RAMBO guarantees consistency under asynchrony, message loss, node crashes, new node arrivals, and node departures. We present the formal algorithm development for DO-RAMBO and give analytical and empirical results that illustrate the benefit of the new approach.
KW - Algorithm and design analysis
KW - Distributed systems
KW - Reliability and robustness
KW - Specifying and verifying and reasoning about programs
UR - http://www.scopus.com/inward/record.url?scp=70350064327&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70350064327&partnerID=8YFLogxK
U2 - 10.1109/TPDS.2008.243
DO - 10.1109/TPDS.2008.243
M3 - Article
AN - SCOPUS:70350064327
SN - 1045-9219
VL - 20
SP - 1567
EP - 1585
JO - IEEE Transactions on Parallel and Distributed Systems
JF - IEEE Transactions on Parallel and Distributed Systems
IS - 11
ER -