Actually local disk file systems can be changed invisibly to the VFS too by
directly writing to the block device. This does not change the
page cache, but the on disk copy and when a page is pruned from
RAM and reloaded VFS will see the new contents without knowing
about any change. How would you stop that in your
proposal? I assume you could always require a special LKM that
forbids block writes for anything mounted, but that has other problems
too and one wuld need to be extremly careful of holes in
such a protection scheme (e.g. overlapping partitions)
[haven't read the rest of the proposal]
-Andi
--