11–20 of 76 posts
http://www.cs.vu.nl/pub/amoeba/
https://en.wikipedia.org/wiki/Amoeba_(operating_system)
Mach kernel
http://www.cs.cmu.edu/afs/cs/project/mach/public/www/mach.ht...
https://en.wikipedia.org/wiki/Mach_(kernel)
RC4000
http://www.prg.dtu.dk/equip/rc4000.html
CHORUS
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.6...
I find it interesting that this post can be taken two ways. 1. It's clear that Linux 'won' in the marketplace so we can all laugh at how wrong this guy was and the curiosity of these 'microkernel' things and that portability stuff. Lols all around. 2. We've reached a point where ideas are gaining ground about immutable infrastructure, people are talking more about things with similarities to microkernels called unike…
Arguable. There might be more instances of QNX and L4 running than of Linux. This is pretty much impossible to measure. Remember that Android smartphones have a second OS underneath or beside the Linux kernel.
Apple and Microsoft use a hybrid approach, so they just do not participate in the debate.
> OKL4 shipments exceeded 1.5 billion in early 2012, mostly on Qualcomm wireless modem chips. Other deployments include automotive infotainment systems.
http://en.wikipedia.org/wiki/L4_microkernel_family#Commercia...
Amoeba Operating System: http://www.cs.vu.nl/pub/amoeba/ https://en.wikipedia.org/wiki/Amoeba_(operating_system) Mach kernel http://www.cs.cmu.edu/afs/cs/project/mach/public/www/mach.ht... https://en.wikipedia.org/wiki/Mach_(kernel) RC4000 http://www.prg.dtu.dk/equip/rc4000.html CHORUS http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.6... https://en.wikipedia.org/wiki/ChorusOS
Tanenbaum said that Torvalds would not get a good grade on his course, epic. "I still maintain the point that designing a monolithic kernel in 1991 is a fundamental error. Be thankful you are not my student. You would not get a high grade for such a design :-)" Perfect display of how universities are good at judging people about how well they know how to "play the game" (and usually that involves conforming to whatev…
Well, a microkernel is harder to implement than a monolithic one and from a theoretical standpoint is a better design, IMO it deserves a higher grade in an operating system design course. Let's not mythify the 1992 Linux kernel, which probably wasn't _that_ good.
What about IPC overhead?
I find it interesting that this post can be taken two ways. 1. It's clear that Linux 'won' in the marketplace so we can all laugh at how wrong this guy was and the curiosity of these 'microkernel' things and that portability stuff. Lols all around. 2. We've reached a point where ideas are gaining ground about immutable infrastructure, people are talking more about things with similarities to microkernels called unike…
> It's clear that Linux 'won' in the marketplace Arguable. There might be more instances of QNX and L4 running than of Linux. This is pretty much impossible to measure. Remember that Android smartphones have a second OS underneath or beside the Linux kernel. Apple and Microsoft use a hybrid approach, so they just do not participate in the debate. > OKL4 shipments exceeded 1.5 billion in early 2012, mostly on Qualcomm…
Earlier quoted context omitted.
Well, a microkernel is harder to implement than a monolithic one and from a theoretical standpoint is a better design, IMO it deserves a higher grade in an operating system design course. Let's not mythify the 1992 Linux kernel, which probably wasn't _that_ good.
> from a theoretical standpoint is a better design What about IPC overhead?
In theory you can postulate the performance impact is worth. In practice the is much more in it. That is the difference between computer science and software engineering.