Download:
|
by Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll
http://www.cs.bgu.ac.il/~abraham/papers/cs/SelfStabEllExcl.ps.gz
Add To MetaCart
Abstract:
Our work presents a self-stabilizing solution to the `-exclusion problem. This problem is a well-known generalization of the mutual-exclusion problem in which up to `, but never more than `, processes are allowed simultaneously in their critical sections. Selfstabilization means that even when transient failures occur and some processes crash, the system nally resumes its regular and correct behavior. The model of communication assumed here is that of shared memory, in which processes use single-writer multiple-reader regular registers.
Citations
|
1027
|
Distributed Algorithms
– Lynch
- 1996
|
|
449
|
Self-Stabilizing Systems in Spite of Distributed Control
– Dijkstra
- 1974
|
|
213
|
Solution of a Problem in Concurrent Programming Control
– Dijkstra
- 1974
|
|
161
|
A new solution of Dijkstra’s concurrent programming problem
– Lamport
- 1974
|
|
145
|
Self Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity
– Dolev, Moran, et al.
- 1990
|
|
112
|
On Interprocess Communication
– Lamport
- 1986
|
|
107
|
Myths About the Mutual Exclusion Problem
– Peterson
- 1981
|
|
92
|
Algorithms for Mutual Exclusion
– Raynal
- 1986
|
|
71
|
Bounded time-stamps
– Israeli, Li
- 1993
|
|
56
|
Economical solutions for the critical section problem in a distributed system
– Peterson, Fischer
- 1977
|
|
52
|
The mutual exclusion problem—part ii: Statement and solutions
– Lamport
- 1985
|
|
31
|
Resource Allocation with Immunity to Limited Process Failure (preliminary report
– Fischer, Lynch, et al.
- 1979
|
|
30
|
Time-Lapse snapshots
– Dwork, Herlihy, et al.
- 1992
|
|
28
|
A Borodin. Distributed fifo allocation of identical resources using small shared space
– Fischer, Lynch, et al.
- 1989
|
|
15
|
A bounded first-in, first-enabled solution to the `-exclusion problem
– Afek, Dolev, et al.
- 1994
|
|
15
|
A contribution to the theory of relative position
– Wiener
- 1914
|
|
14
|
Bounded concurrent time-stamping
– Shavit
- 1997
|
|
13
|
A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables
– Lycklama, Hadzilacos
- 1991
|
|
11
|
On interprocess communication and the implementation of multi-writer atomic registers
– Abraham
- 1995
|
|
6
|
Models for Concurrency
– Abraham
- 1999
|
|
4
|
A linear time bounded concurrent timestamp scheme
– Israeli, Pinchasov
- 1991
|
|
3
|
AA Schoone. Self-stabilizing multi-token rings
– Flatebo, Datta
- 1994
|
|
2
|
Self-Stabilizing `-Exclusion
– Abraham, Dolev, et al.
- 1988
|
