v er si on 1 - 4 F eb 2 00 8 Timed Quorum Systems for Large - Scale and Dynamic Environments ⋆
نویسندگان
چکیده
This paper presents Timed Quorum System (TQS), a new quorum system especially suited for large-scale and dynamic systems. TQS requires that two quorums intersect with high probability if they are used in the same small period of time. It proposed an algorithm that implements TQS and that verifies probabilistic atomicity: a consistency criterion that requires each operation to respect atomicity with high probability. This TQS implementation has quorum of size O( √ nD) and expected access time of O(log √ nD) message delays, where n measures the size of the system and D is a required parameter to handle dynamism.
منابع مشابه
On building and comparing trees Application to supertrees in phylogenetics
5 te l-0 03 60 92 6, v er si on 1 12 F eb 2 00 9 The research work presented in this manuscript is of algorithmic kind: it is mainly composed of polynomial, fixed parameter and approximation algorithms, while hardness results are also mentioned. This work is about building and comparing labelled trees. These objects find application in different areas, but notoriously in phylogenetics, where th...
متن کاملFinite speed propagation of the solutions for the relativistic Vlasov-Maxwell system
In this report we investigate the continuous dependence with respect to the initial data of the solutions for the 1D and 1.5D relativistic Vlasov-Maxwell system. More precisely we prove that these solutions propagate with finite speed. We formulate our results in the framework of mild solutions, i.e., the particle densities are solutions by characteristics and the electro-magnetic fields are Li...
متن کاملTimed Quorum System for Large-Scale and Dynamic Environments
This paper presents Timed Quorum System (TQS), a new quorum system especially suited for large-scale and dynamic systems. TQS requires that two quorums intersect with high probability if they are used in the same small period of time. It proposed an algorithm that implements TQS and that verifies probabilistic atomicity: a consistency criterion that requires each operation to respect atomicity ...
متن کاملConvergence of a semi-Lagrangian scheme for the reduced Vlasov-Maxwell system for laser-plasma interaction
The subject matter of this paper concerns the numerical approximation of reduced Vlasov-Maxwell models by semi-Lagrangian schemes. Such reduced systems have been introduced recently in the literature for studying the laser-plasma interaction. We recall the main existence and uniqueness results on these topics, we present the semi-Lagrangian scheme and finally we establish the convergence of thi...
متن کاملTimed Quorum Systems for Large-Scale and Dynamic Environments
This paper presents Timed Quorum System (TQS), a quorum system for large-scale and dynamic systems. TQS provides guarantees that two quorums, accessed at instances of time that are close together, intersect with high probability. We present an algorithm that implements TQS at its core and that provides operations that respect atomicity with high probability. This TQS implementation has quorums ...
متن کامل