Messages in this thread |  | | | Date | Mon, 31 Aug 1998 07:57:42 +0100 | | From | Jamie Lokier <> | | Subject | Re: Virtual Machines, JVM in kernel, hot-swapped kernel |
| |
On Sat, Aug 29, 1998 at 08:09:36PM -0300, Brandon S. Allbery KF8NH wrote: > A certain Knuth quote springs to mind. And if the proof verifier were > np-complete (wouldn't it have to be?),
I shouldn't think so. A rather uneducated guess from me says a proof verification machine probably doesn't even need to be Turing-complete,
> it would present still another way to hang a system inadvertently.
Run the verifier in a thread. No need to stop everything else while you check a module is allowed to run.
-- Jamie
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.altern.org/andrebalsa/doc/lkml-faq.html
|  |