logoalt Hacker News

DowsingSpoonlast Thursday at 3:14 AM4 repliesview on HN

Yes. As far as kernels go, NT was pretty damn good.

So is Mach, by the way, if you can afford the microkernel performance overhead.


Replies

johncolanduonilast Thursday at 4:08 AM

Mach is not a very good microkernel at all, because the overhead is much higher than necessary. The L4 family’s IPC design is substantially more efficient, and that’s why they’re used in actual systems. Fuchsia/Zircon have improved on the model further.

Someone will of course bring up XNU, but the microkernel aspect of it died when they smashed the FreeBSD kernel into the codebase. DriverKit has brought some userspace drivers back, but they use shared memory for all the heavy lifting.

show 1 reply
heavyset_golast Thursday at 5:20 AM

XNU monolith-ized itself over time, even over some microkernel-esque boundaries.

dundariouslast Thursday at 3:16 AM

If you include all the drivers too (which surely makes the comparison more accurate), is that still the case?

show 1 reply