A liveness condition for concurrent objects: x‐wait‐freedom
Damien Imbs, Michel Raynal · Concurrency and Computation Practice and Experience · 2011
SUMMARY The liveness of concurrent objects despite asynchrony and failures is a fundamental problem. To that end several progress conditions have been proposed. Wait‐freedom is the strongest of these conditions: it states that any object operation must terminate if the invoking process does not crash. Obstruction‐freedom is a weaker progress condition as it requires progress only when a process executes in isolation for a long enough period. This paper explores progress conditions in n‐process asynchronous read/write systems enriched with base objects with consensus number x, 1