Have a look at http://kerneltrap.org/node/7534. It would be great to have some solution that ensures/checks the correctness of cache/buffer/filesystem transaction handling (and other stuff) at kernel build time (or so) without affecting runtime performance.
I have no idea what that solution could be.
I have no idea if it is even possible.
But I know that it would rise the acceptance of Linux as a truely professional OS.
This might be a topic for some thesis, possibly not for some student project.