Diff for "KernelProjects/CorrectnessProofs"

Differences between revisions 1 and 2

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.

-  ⇤ ← Revision 1 as of 2007-10-15 19:41:04 → 
  Size: 517
  Editor: e178231044
  Comment:
+   ← Revision 2 as of 2017-12-30 01:30:12 → ⇥
  Size: 519
  Editor: localhost
  Comment: converted to 1.6 markup
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
-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.
+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.