MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Long-lived adaptive collect with applications (1999) [30 citations — 1 self]

Download:
Download as a PDF | Download as a PS
by Yehuda Afek, Dan Touitou
Proc. of the 40th Ann. Symp. on Foundations of Computer Science
ftp://ftp.math.tau.ac.il/pub/afek/lladaptive.ps
Add To MetaCart

Abstract:

A distributed algorithm is adaptive if the worst case step complexity of its operations is bounded by a function of the number of processes that are concurrently active during the operation (rather than a function of N, the total number of processes, which is usually much larger). In this paper we present long-lived and adaptive algorithms for collect in the read/write shared-memory model. Replacing the reads and writes in long-lived shared memory algorithms with our adaptive collect results in many cases in a corresponding long-lived algorithm which is adaptive. Examples of such applications, which are discussed in the paper are atomicsnapshots, and l-exclusion. Following the long-lived and adaptive collect we present a more pragmatic version of collect, called active set. This algorithm is slightly weaker than the collect but has several advantages. We employ this algorithm to transform algorithms, such as the Bakery algorithm, into their corresponding adaptive long-lived version, which is more efficient than the version that was obtained with the collect. Previously, long-lived and adaptive algorithms in this model were presented only for the renaming problem [2]. A one-shot and adaptive collect algorithm was presented in [10]. 1.

Citations

531 Linearizability: a correctness condition for concurrent objects – Herlihy, Wing - 1990
498 Wait-Free Synchronization – Herlihy - 1991
261 A methodology for implementing highly concurrent data objects – Herlihy - 1993
179 A Fast Mutual Exclusion Algorithm – Lamport - 1983
118 Atomic Snapshots of Shared Memory – Afek, Attiya, et al.
63 Universal Constructions for Multi-Object Operations – Anderson, Moir - 1995
52 Adaptive solutions to the mutual exclusion problem – Choy, Singh - 1994
52 Wait-free algorithms for fast, long-lived renaming – Moir, Anderson - 1995
47 Wait-Free Made Fast – Afek, Dauber, et al. - 1995
37 Adaptive wait-free algorithms for lattice agreement and renaming – Attiya, Fouren - 1998
36 Long-lived renaming made adaptive – Afek, Attiya, et al. - 1999
33 The ambiguity of choosing – Burns, Peterson - 1989
32 Speeding Lamport's fast mutual exclusion algorithm – Merritt, Taubenfeld - 1993
26 Disentangling Multi-Object Operations – Afek, Merritt, et al. - 1997
26 Universal operations: Unary versus binary – Attiya, Dagan - 1996
20 Adaptive long-lived renaming with read and write operations – Attiya, Fouren - 1999
18 Adaptive long-lived renaming using bounded memory. Available at www.cs.technion.ac.il/,hagit/pubs/AAFST99disc.ps.gz – Afek, Attiya, et al. - 1999
15 A bounded first-in, first-enabled solution to the `-exclusion problem – Afek, Dolev, et al. - 1994
14 wait-free (2k \Gamma 1)-renaming – Fast - 1999
5 Public communication – Gafni - 1998