Download:
|
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
|