Linux microkernel?
Linux microkernel?
Posted Aug 30, 2022 0:32 UTC (Tue) by developer122 (guest, #152928)In reply to: Linux microkernel? by storner
Parent article: Crash recovery for user-space block drivers
There's a lot more to the performance issues of minix and mach than just being microkernels. This came up during oxide's twitter space over their own microkernel OS [1] and the references are in the shownotes [2], but I think it was the creator of L4 who came out and said "yeah, IPC is slow...if you do it wrong!" Certainly as iouring and various shared memory approaches demonstrate, the IPC can indeed be quite fast.
[1] https://www.youtube.com/watch?v=cypmufnPfLw around 37:20 according to the shownotes
[2] https://github.com/oxidecomputer/twitter-spaces/blob/mast...