3 ms·

Here's something that's even more "out there": an experimental OS and programming environment where all protection is done statically, at compile time. You can

Here's something that's even more "out there": an experimental OS and programming environment where all protection is done statically, at compile time. You can do things as crazy as run all "user" processes and the kernel in the same (kernel-mode) address space safely, because the system compiler enforces type-safety and memory-safety. It's pretty cool! (my memory is a bit weak on this paper so some of the details might be off, but it's well worth the read) http://research.microsoft.com/apps/pubs/?id=69431 http://research.microsoft.com/apps/pubs/?id=69431

gaius 12y ago
Burroughs did this on the old 5000, in the 1970s I believe.
rbanffy 12y ago
Sounds interesting if you have very constrained hardware, but you'd have to trust the compilers or you wouldn't ever install 3rd party binaries. And I think gaius is right. Burroughs did it before.