鸿蒙 形式化验证,鸿蒙 OS 发布第一天就被人嘲笑了

江浙沪很久没下雨了，这两天一下雨就直接搞大的，台风登场了，就问你服不服！

除了台风“利奇马”，华为这两天也像台风一样，吹起了阵阵卷风。华为鸿蒙 OS，HarmonyOS 鸿蒙系统正式发布。

昨天华为在其全球开发者大会上，正式向全球发布了全新的自有系统 HarmonyOS 鸿蒙——基于微内核的面向全场景的分布式操作系统。余承东在现场表示，HarmonyOS 鸿蒙拥有分布架构、内核安全、生态共享、天生流畅四大优势。鸿蒙系统可以灵活适配全场景丰富终端形态；实现模块化解耦，对应手机、智能穿搭、车机等不同设备可弹性部署。

鸿蒙在发布的当天就上了微博热搜，知乎热榜等头条。大部分人都心潮澎湃，表示会支持鸿蒙。然而也有小部分人，唱“反调”。

随之而来，随之而火的还有一位腾讯工程师。

我估计她自己也没有想到，自己的言论会被微博广泛转发。

有些人一听微内核、国产操作系统就泼冷水。其实操作系统并不难，难的只是生态！

有些人可能不懂微内核，总结一下，微内核的几大优点如下：

系统服务模块话，可移植性高；

内核安全性高(模块内部的bug不影响内核的稳定，将***利用软件漏洞造成的破坏限制在单个模块内部)；

可以多套系统服务共存，相当于同时运行多种操作系统；

稳定统一的接口(可以独立的维护私有驱动以及服务，不需要跟内源码绑定)；

在商业上，微内核可以避免代码收到一些开源协议的影响，比如GPL协议；

内核精简，可以进行形式化验证，利用数学证明内核的安全性；

数学可证明的实时性；

非常适合多处理器系统的设计，在多处理器核心计算机上，互相依赖的系统服务可以同时运行。

缺点：

进程间通信和函数调用效率自然差得很远

通过进程通信的方式交换数据或者调用系统服务，而不是使用系统调用，造成造成额外的操作系统开销；

由于系统服务高度模块化，系统服务之间存在大量的内存复制；

必须忍受由于系统功能总开销的增加而导致系统性能的下降；

一说到微内核，很多人想到的就是 win 的蓝屏、塞班系统、黑莓等系统，认为微内核必然失败！

其实，从最近几年谷歌的动作就知道，微内核必然是未来的一个趋势。Fuchsia 其实也是基于微内核的，鸿蒙的微内核其实是很先进的！

操作系统最重要的还是生态！华为不缺技术，别人看的永远比我们远。不要为了喷而喷，为了黑而黑。

华为这次的发力，真正的用一种操作系统内核统一了大多数应用场景。配上他们自家的开发工具，相信应该是很好用的。对于华为的开源，还有鸿蒙的未来发展，我持乐观态度，毕竟中国市场问题不大。活下来，发展起来，生态都只是时间问题。同时，推动微内核的发展，这个是一个开启新纪元的事。