Hacker News new | ask | show | jobs
by StopDisinfo910 397 days ago
This is not a game changer. Microkernels have been a reality for ages. See QNX or even Fuchsia. I don’t know what "modern" microkernel means. The architectural concepts haven’t changed.

There are reasons nobody uses true microkernels. IPCs are slow and the gains are limited compared to the strategies all broadly used kernels already use. They are no monolithic kernel anymore. Everyone has slowly but surely been shifting more and more things to user space in isolated processes including Linux and Windows.

Hongmeng might be an interesting kernel. It might also not be. Sadly its proprietary and there are very little benchmarks not published by Huawei. Personally I won’t hold my breath for this one.
2 comments
snvzz 397 days ago
>IPCs are slow and the gains are limited compared to the strategies all broadly used kernels already use.

The problem you are describing is a characteristic of 1st generation microkernels, and was solved by Jochen Liedtke in the mid 90s, introducing 2nd generation microkernels.

seL4 is a 3rd generation microkernel.

>I don’t know what "modern" microkernel means.

To get up to date, a good resource is Gernot Heiser's blog[0], read from oldest to newest.

0. https://microkerneldude.org/

link
StopDisinfo910 397 days ago
It’s not about being up to date. What you call modern here is just recent. It doesn’t fundamentally diverge from the historical architecture.

Even SeL4 fast IPC which is not actually a full IPC but works well in the barebone context of SeL4 remains in fact slower than good old syscalls.

The fundamental question remains the same “Is this worse the costs (in terms of both efficiency and design complexity)?”

To me, the answer is muddy here. Sometimes yes, sometimes probably not. I think it’s why hybrid approaches are now generalised but no one is really shipping a microkernel outside of industrial applications.

link
chvid 397 days ago
Sorry. Of course you right - the game changing part is that there is now an advanced consumer os that is owned by a Chinese company - it being micro kernel is a small part but important.
link