3 ms·

Regarding performance, there is a really interesting discussion started by Martin Děcký: we spent decades optimizing hardware for monolithic kernels - maybe we

• marcosdumay 7y ago
  Nothing will happen until people start using microkernels. And people won't start using microkernels until companies make some basic optimizations for them. There may be a way out of the loop exploiting hardware parallelism, or if they bring some improvements for memory locality leading to orders of magnitude improvements. But even exploiting memory locality, that would bring some very high and obvious gains is locked at the same kind of loop.
  • kryptiskt 7y ago
    QNX and L4 has had competitive performance since forever. And they have been heavily used in embedded systems, especially QNX. Basically, in my mind the only thing that stood between QNX and total world domination was that it wasn't open source. Many flavors of L4 are open source, but they're just a piece of what you need for a complete OS.