Embed Notice
HTML Code
Corresponding Notice
- Embed this notice@Moon @BrodieOnLinux @Hyolobrika @Maholmire @SrEstegosaurio @dcc @dushman @mima @nerdeiro @pwm
> microkernel only has to conceptually be separated into components and communicate with message passing but it's possible to do this without enforcing the boundaries.
Well, sure, but if we mean "not enforced, just message-passing style instead of shared memory", then half the kernels classified as monoliths might count as microkernels. That was one of Armstrong's interesting observations: sometimes message-passing can be much faster than sharing memory if passing a message lets you avoid locking, and his system has all of these immutable data structures so you don't even have to copy or copy-on-write, you just pass a pointer.
> it's a mini-server with defined input and output, no shared memory. you just restart it.
This is how Erlang is intended to work as well. I think this is how good systems tend to work.