Definitioncore
Lock-freedom
Also called lock-free progress.
At every point some thread makes progress, so the system as a whole never stops even if individual threads starve.
At every point some thread makes progress, so the system as a whole never stops even if individual threads starve.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag NXBV97 Edit this page History Report an error