Extended membership problem for open groups: specification and solution

作者: Mari-Carmen Bañuls , Pablo Galdámez

DOI: 10.1007/11403937_23

关键词:

摘要: A particular case of open group is that a large–scale system where an unbounded and dynamically changing set client nodes continuously connect disconnect from reduced stable servers. We propose extended specification the membership problem, takes into account different consistency properties both types require information in such scenario. The completely independent any communication layer, assuming only presence local failure detector at each node. also describe service satisfies sketch proof for its properties.

参考文章(12)
C. P. Malloth, A. Schiper, View Synchronous Communication in Large Scale Distributed Systems Proceedings of the 2nd Open Workshop of the ESPRIT project BROADCAST (#6360). ,(1995)
Aleta M. Ricciardi, Kenneth P. Birman, Process Membership in Asynchronous Environments Cornell University. ,(1993) , 10.21236/ADA264399
Idit Keidar, Jeremy Sussman, Keith Marzullo, Danny Dolev, None, A client-server oriented algorithm for virtually synchronous group membership in WANs international conference on distributed computing systems. pp. 356- 365 ,(2000) , 10.1109/ICDCS.2000.840947
Sam Toueg, Bernadette Charron-Bost, Emmanuelle Anceaume, Pascale Minet, On the Formal Specification of Group Membership Services Cornell University. ,(1995)
Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost, None, On the impossibility of group membership principles of distributed computing. pp. 322- 330 ,(1996) , 10.1145/248052.248120
Flaviu Cristian, Reaching agreement on processor-group membrship in synchronous distributed systems Distributed Computing. ,vol. 4, pp. 175- 187 ,(1991) , 10.1007/BF01784719
Y. Amir, L. E. Moser, P. M. Melliar-Smith, D. A. Agarwal, P. Ciarfella, The Totem single-ring ordering and membership protocol ACM Transactions on Computer Systems. ,vol. 13, pp. 311- 342 ,(1995) , 10.1145/210223.210224
Tushar Deepak Chandra, Sam Toueg, None, Unreliable failure detectors for reliable distributed systems Journal of the ACM. ,vol. 43, pp. 225- 267 ,(1996) , 10.1145/226643.226647
O. Babaoglu, R. Davoli, A. Montresor, Group communication in partitionable systems: specification and algorithms IEEE Transactions on Software Engineering. ,vol. 27, pp. 308- 336 ,(2001) , 10.1109/32.917522
Özalp Babaoğlu, André Schiper, On group communication in large-scale distributed systems Proceedings of the 6th workshop on ACM SIGOPS European workshop Matching operating systems to application needs - EW 6. pp. 17- 22 ,(1994) , 10.1145/504390.504396