I've once written an article about Microkernels, where I denounce them as being mostly an intellectual fraud.
Someone from the internet (possibly a random student doing homework) sent a mail to me and Jonathan Shapiro asking whether a Kernel was faster than a Microkernel. Here is what I replied.
[Darn, I didn't insist enough on the whole kernel/microkernel issue being irrelevant in the face of the overwhelming issue of the structuration of the higher-level system components. And about the solution being of course no kernel and expressive contracting between components instead. Reminds me of the metaphor of system as society and kernel as government: no one needs a government; everyone needs an expressive market of property rights.]( Collapse )