WDAG
1995
Springer
14 years 4 months ago
1995
Springer
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
WDAG
1995
Springer
14 years 4 months ago
1995
Springer
Larchant-RDOSS is a distributed shared memory that persists on reliable storage across process lifetimes. Memory management is automatic: including consistent caching of data and ...
WDAG
1995
Springer
14 years 4 months ago
1995
Springer
WDAG
1995
Springer
14 years 4 months ago
1995
Springer
WDAG
1995
Springer
14 years 4 months ago
1995
Springer
This paper proposes a general definition of self-stabilizing wait-free shared memory objects. The definition ensures that, even in the face of processor failures, every executio...
WDAG
1995
Springer
14 years 4 months ago
1995
Springer
We present lock-free and wait-free universal constructions for implementing large shared objects. Most previous universal constructions require processes to copy the entire object...