Liveness
在阅读 wikipedia Non-blocking algorithm 时,发现的它;
我觉得它和以下内容有关:
1、wait-free
2、lock-free
3、obstruction-free
它们都与"progress"有关。
wikipedia Liveness
In concurrent computing, liveness refers to a set of properties of concurrent systems, that require a system to make progress despite the fact that its concurrently executing components ("processes") may have to "take turns" in critical sections, parts of the program that cannot be simultaneously run by multiple processes.[1] Liveness guarantees are important properties in operating systems and distributed systems.[2]