consensus number 1eventual linearizability 1operation log 1universal construction 1wait-free implementations 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.DC2026
Wait-Free Locks Should Not Fear Later Arrivals
Tong Che
Helping seems to make a lock wait-free: wrap the critical section in an idempotent thunk that any process can finish once the holder stalls. Yet helping protects the system, not th…
cs.DC2026
Stabilizing Logs for Eventually Linearizable Shared Objects
Tong Che
The paper introduces a stabilizing operation log that serves as a universal primitive for wait‑free, eventually linearizable implementations of deterministic concurrent objects, an…