Have a look at 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.

KernelNewbies: KernelProjects/CorrectnessProofs (last edited 2017-12-30 01:30:12 by localhost)