Data structurecore
Remembered set
Also called remembered sets.
Record old-to-young pointers so minor collections can ignore the rest of the old generation.
Record old-to-young pointers so minor collections can ignore the rest of the old generation.
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 ASEXAM Edit this page History Report an error