3

From what I have read on operating systems, the impression I have been receiving is that, for at least 30 years, "everybody has known" that microkernel-based operating systems are "better" than monolithic operating systems. And yet, I have a Linux OS at work and am typing these lines on a computer running a Windows OS at home. Moreover, looking at Wikipedia's list of microkernel-based operating systems, it seems most are old and have been discontinued, and none have really broken into the PC space (although FreeRTOS is a player in the embedded space).

Question: Why has no microkernel-based OS broken into the mainsteam? Why is the world still using monolithic OS's 28 years after Tanenbaum-Torvalds? What is the "hard problem" microkernel-based OS's have not been able to solve, and why do people keep trying?
Daniel Moskovich
  • 151
  • 5

1 Answers1

4

Yes, you use microkernel operating systems. If you use a modern Intel CPU, it includes a copy of Minix which runs on a separate processor that is embedded in the processor that you think you have. Chances are also very good that at least a few of your peripherals use microkernel operating systems internally.

Moreover, you may not use any of these, but a lot of people use macOS, iOS, iPodOS, audioOS, watchOS, and tvOS. They are distinct (though in some cases related) operating systems implemented on top of the Mach microkernel. Or perhaps they use Horizon, the operating system of the Nintendo Switch.

Google seems to be going that way as well, with Zircon. ChromeOS and Android will probably be based on that at some point in the forseeable future.

Having said all that, the way the server world is going these days, especially in cloud computing, is guest operating systems running under hypervisors, which you can think of as related to the microkernel idea.

Pseudonym
  • 24,523
  • 3
  • 48
  • 99