@david_chisnall@infosec.exchange
Post #4349604
2026-08-03 08:45 UTC
@shac@ioc.exchange Microkernels are an interesting counterexample because monolithic kernels are already distributed systems. They must do a load of asynchronous stuff, especially on a modern system that has devices that do asynchronous operations and multiple cores. A microkernel looks as if it's turning a centralised system into a distributed system, but it's actually reducing the set of possible data flows within a distributed system, which makes it easier to reason about.
Replies (1)
-
@me_@sueden.social 2026-08-03 08:57
@david_chisnall@infosec.exchange @shac@ioc.exchange Now that's an interesting discussion – do you see compartmentalisation within a monolithic kernel as an alternative to building (more efficient) multi-server, microkernel-based systems or do you rather think of it as an orthogonal approach?