On Thu, 2008-03-13 at 18:55 +0000, Hugh Dickins wrote:
On Thu, 13 Mar 2008, Jeremy Fitzhardinge wrote:
My other concern is just correctness over time on the Linux side. We alreadyYes, that's the main concern, as whenever lots of subtlety is added.
have enough trouble keeping things like the pte and page structure state in
sync, with resulting rare data-loss bugs. Adding another layer which only
applies in specific environments raises the possibility for new bugs to be
un-noticed for a long time. How can we structure the VM changes to make sure
that its robust in the face of maintenance?
I wonder if there's any chance of a CONFIG_DEBUG mode, which could be
run on anybody's x86 machine, without involving any virtualization, but
in which the PAGE_STATEs become essential to the correct working of the mm.
How about a fake hypervisor, which is really just a random page evictor,
following the rules of CMM?