Parallel and distributed computation: numerical methods
Parallel and distributed computation: numerical methods
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel asynchronous algorithms for discrete data
Journal of the ACM (JACM)
A correctness condition for high-performance multiprocessors (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
On randomization in sequential and distributed algorithms
ACM Computing Surveys (CSUR)
Randomized algorithms
The availability of quorum systems
Information and Computation
Computing with faulty shared objects
Journal of the ACM (JACM)
Effects of asynchronism on the convergence rate of iterative algorithms
Journal of Parallel and Distributed Computing
ACM Transactions on Computer Systems (TOCS)
SIAM Journal on Computing
Combining funnels: a new twist on an old tale…
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Fault-tolerant wait-free shared objects
Journal of the ACM (JACM)
The Load, Capacity, and Availability of Quorum Systems
SIAM Journal on Computing
Simulating shared memory in real time: on the computation power of reconfigurable architectures
Information and Computation
Weak ordering—a new definition
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Information and Computation
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Distributed Computing
Consistability: describing usually consistent systems
HotDep'08 Proceedings of the Fourth conference on Hot topics in system dependability
Multiwriter Consistency Conditions for Shared Memory Registers
SIAM Journal on Computing
On the availability of non-strict quorum systems
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Hi-index | 0.00 |
We present three different specifications of a read-write register that may occasionally return out-of-date values -namely, a (basic) random register, a P-random register, and a monotone random register. We show that these specifications are implemented by the probabilistic quorum algorithm of Malkhi, Reiter, Wool, and Wright, and we illustrate how to program with such registers in the framework of Bertsekas, using the notation of Üresin and Dubois. Consequently, existing iterative algorithms for a significant class of problems (including solving systems of linear equations, finding shortest paths, constraint satisfaction, and transitive closure) will converge with high probability if executed in a system in which the shared data is implemented with registers satisfying the new specifications. Furthermore, the algorithms in this framework will inherit positive attributes concerning load and fault-tolerance from the underlying register implementation. The expected convergence time for iterative algorithms using the monotone implementation is analyzed and shown experimentally to improve on that of the original implementation. The message complexity for iterative algorithms using the monotone probabilistic quorum implementation is shown to improve on that of non-probabilistic implementations in a quantifiable situation.