• Immutable Page
  • Info
  • Attachments

KernelProjects/CorrectnessProofs

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.

Tell others about this page:

last edited 2007-10-15 19:41:04 by Cinquero