Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Computer Systems (TOCS)
An Internet multicast system for the stock market
ACM Transactions on Computer Systems (TOCS)
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
SRDS '02 Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems
AGAPE: a Location-aware Group Membership Middleware for Pervasive Computing Environments
ISCC '03 Proceedings of the Eighth IEEE International Symposium on Computers and Communications
Token-based Atomic Broadcast using Unreliable Failure Detectors
SRDS '04 Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems
High Throughput Total Order Broadcast for Cluster Environments
DSN '06 Proceedings of the International Conference on Dependable Systems and Networks
Introduction to Reliable Distributed Programming
Introduction to Reliable Distributed Programming
Modeling and validating the performance of atomic broadcast algorithms in high latency networks
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Domain-based causal ordering group communication in wireless hybrid networks
Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication
Hi-index | 0.00 |
Total Order Broadcast protocols are important tools to ensure coherence across distributed systems. Contrarily to classical distributed systems, pervasive systems bring important constraints related to the performance and reliability of the network and the availability of the devices (laptops, PDAs and cellular telephones). We propose in this paper a self-stabilizing group membership service that helps a token-based Total Order Broadcast protocol to progress in a volatile environment. This group membership service is organized in two hierarchical levels so that unstable nodes are kept in the group without interfering with the Total Order Broadcast protocol. As a result, we avoid expensive membership view changes while keeping the coherence among the nodes.