13 votes

The Jury Is In: Monolithic OS Design Is Flawed

2 comments

  1. dblohm7
    Link
    I kind of like how MacOS used to do it (maybe they still do): The Darwin kernel, being based on Mach, is run in a microkernel configuration during development, and then is rebuilt as a monolithic...

    I kind of like how MacOS used to do it (maybe they still do): The Darwin kernel, being based on Mach, is run in a microkernel configuration during development, and then is rebuilt as a monolithic kernel for release.

    It isn't a perfect solution, but it does allow lots of problems to be flushed out before release, which then gains the performance benefits of monolithic kernels.

    3 votes
  2. apoctr
    Link
    Relatively long (7 pages), but an interesting read. Taken from the conclusion:

    Relatively long (7 pages), but an interesting read. Taken from the conclusion:

    Our results provide very strong evidence that operating system structure has a strong effect on security. 96% of critical Linux exploits would not reach critical severity in a
    microkernel-based system, 57% would be reduced to low severity, the majority of which would be eliminated altogether if the system was based on a verified microkernel.

    2 votes