3 ms·
That's not entirely correct. Deadlock-freedom means that at least one thread will make progress in the absence of failures. Lock-freedom is a much stronger sta
by dist1ll 3y ago
That's not entirely correct. Deadlock-freedom means that at least one thread will make progress in the absence of failures.
Lock-freedom is a much stronger statement. It guarantees progress of at least on thread in finite time, regardless of failures.
Source: Dan Alistarh, Keren Censor-Hillel, and Nir Shavit. "Are lock-free concurrent algorithms practically wait-free?" December 2013