4 ms·
Microsoft's Singularity http://en.wikipedia.org/wiki/Singularity_(operating_system) http://en.wikipedia.org/wiki/Singularity_(operating_system) project was able
by cokernel_hacker 13y ago
Microsoft's Singularity http://en.wikipedia.org/wiki/Singularity_(operating_system) http://en.wikipedia.org/wiki/Singularity_(operating_system) project was able to eschew the MMU and use verification to prove that programs couldn't harm the kernel or each other.
Structuring a kernel like this makes the micro-kernel idea much more palatable as context switch overheads drop dramatically.
- ategra 12y agoHere's a crazy idea: single addresss space for the kernel, virtual memory for applications in userland since their memory grows more unpredictably. I guess this dual approach would need hardware support?