The fast development of a worldly distributed information, such as the World Wide Web (WWW), is one of the major evolutions of present computer technology. Within the TransDoc project, which aims at providing intelligent vehicles for document access in a fully distributed information system such as Internet, we study the self-stabilizing construction of quorums in order to ensure reliable document access. Our approach consists of match-making the quorum systems with the self-stabilization paradigm in order to ensure mutual coherence of document copies and to guarantee some fault tolerant behavior. In this paper two self-stabilizing algorithms for constructing quorums are proposed. Performance evaluation driven with simulations and a Markov chains modelling, show that such constructions improve the quorums quality as the self-stabilizing quorums, given their convergence property, automatically tolerate transient faults and dynamic changes of the network.
Self-Stabilization, Distributed Systems, Quorum Systerns, Coteries, Spanning Tree
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).