The cursor a page rendered at generation carries. Every change recorded at that generation has
a higher one, so a device holding this page is told about changes made after it was rendered, and
a vector that started at that generation counts it as its own floor.
The cursor a page rendered at
generationcarries. Every change recorded at that generation has a higher one, so a device holding this page is told about changes made after it was rendered, and a vector that started at that generation counts it as its own floor.