Conceptintro
Deferred reclamation
Also called deferred destruction, retire list.
Removed nodes are put on a retire list and freed later, once it is safe.
Removed nodes are put on a retire list and freed later, once it is safe.
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 B9R4Q5 Edit this page History Report an error