品玩知科技丨鸿蒙OS的微内核到底是什么？

微内核一直是学界的宠儿，并不是业界的宠儿。2019年8月9日，华为在其全球开发者大会上，正式发布了全新的自有系统 HarmonyOS 鸿蒙：基于微内核的面向全场景的分布式操作系统。余承东在现场表示， HarmonyOS 鸿蒙拥有分布架构、内核安全、生态共享、天生流畅四大优势。知乎答主@bacon xu 对全球开发者大会提到的微内核做了一个解答，从另一方面认识一个不同的鸿蒙OS：在经过好几代发展之后，微内核终于发展到了seL4，它成为了人类历史上第一个用形式化证明的操作系统。简单点说，用数学方法从逻辑的角度可以证明这个操作系统是 Bug Free没有 Bug的。但Linux就不可以，因为它的内核太复杂，没有办法证明，超出了人类人力所及范围。正所谓成也萧何，败也萧何。微内核 ………………………………