Proceedings 21st International Conference on Distributed Computing Systems (2001)
Apr. 16, 2001 to Apr. 19, 2001
Hyunyoung Lee , Texas A&M University
Jennifer L. Welch , Texas A&M University
Abstract: This paper presents a definition of a read-write register that sometimes returns out-of-date values, shows that the definition is implemented by the probabilistic quorum algorithm of , and shows how to program with such registers using the framework of Uresin and Dubois . Consequently, existing iterative algorithms for an interesting class of problems (including 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 definition. Furthermore, the algorithms in this framework will inherit positive attributes concerning load and availability from the underlying register implementation. A monotone version of the new register definition is specified and implemented; it can provide improved expected convergence time and message complexity for iterative algorithms.
H. Lee and J. L. Welch, "Applications of Probabilistic Quorums to Iterative Algorithms," Proceedings 21st International Conference on Distributed Computing Systems(ICDCS), Mesa, AZ, 2001, pp. 0021.