如何评价HarmonyOS 鸿蒙系统的技术设计？

心尊门

相关问题： 如何看待华为 2019 年 8 月 9 日正式发布的 HarmonyOS 鸿蒙系统？ 因为那个问题下通稿太多了所以多提一个技术向的问题，希望大家不要流于表面讲空话，尽量只关注技术细节，谢谢

孔子世家

谢邀，其实我只是个炼丹师，对 OS 方向的前沿了解比较少……因为兴趣原因稍稍关注了下 verification 这块。
在这之前，对 kernel 的 verification 有一个 seL4。seL4 也是一个 micro kernel，kernel 源码大概 1.2w 行，整体是一个比较初级比较简单的实现。（作为对比，linux kernel 4.9 有约 2200w 行代码。）虽然鸿蒙是个新 kernel 规模肯定没有 linux kernel 那么大，但是作为一个商业公司的产品级 codebase 肯定比 seL4 复杂得多。作为第一个商业 OS 的 verification，在学术界和工业界肯定都会引起巨大的反响。
目前还不清楚鸿蒙的 verification 是不是只包括 kernel，但是 OS 层面的 verification 肯定还是离真正的 bug-free 有一段距离，毕竟在 OS 之上就有 fs、lib 之类的东西可能引发 bug。顺带一提，和华为关系密切的交大 IPADS 实验室在今年 SOSP 上发表了全世界第一篇 file system 的 verification paper，所以鸿蒙说不定不仅有 kernel verification，还可能会有 file system verification……

赤月

“分布式架构”
微内核
懂了，是 Plan ⑨
（逃
（当然也有可能是鄙校土特产

赤月

“源码面前，了无秘密。”

铁笔居士

据发布会称是经过形式验证的操作系统（不知道是验证了整个内核还是部分组件..），很厉害了。
DeepSpec / FLINT@YALE 有一个形式验证的操作系统项目 CertiKOS，是完全被形式验证的的操作系统，甚至连使用的 C 编译器都是经过形式验证的 CompCert，介绍上说是“the first proof of functional correctness of a complete, general-purpose concurrent OS kernel with fine-grained locking”，这个项目绝对是突破性的。
但是可以商业使用的操作系统验证成本应该会高很多，一个完全经形式验证的系统可以做到在这一层次上没有 bug 和安全漏洞以及抵抗攻击（因为你依然可以用 side channel attack 之类的强行攻击233），DeepSpec 就在试图构建一系列经形式验证的系统软件 / 工具集。
具体内容还是期待开源吧，另外发布会真的很尬，就不怕内行反感么...
我只是一个希望以后能做 verification 相关内容的萌新，有错误欢迎指出~


p.s. 据可靠消息是用 Coq 做的，和 CertiKOS 一样呃

铁笔居士

所以你们都拿到代码了吗？那个老哥给个地址啊，我搜了一圈P都没找到，感觉像是在耍猴= =


华为快点光速来打我脸

铁笔居士

吹了一天，别说鸿蒙的源码，就连方舟编译器的源码都没地址看。准备开源和已经开源，区别很大的

铁笔居士

啥都没有看什么技术细节。源码又没有，demo也没有，只有一张音乐播放器在不同平台上用了响应式设计的GUI图片。就不停的说IOT的概念：万物互联，然后什么分布式、微内核，说了跟没说似的。

孔子世家

本人对内核没有详细的研究，就从总体来看。给我的感觉，整个交互思想是一个虚拟仪器的思想。
刚开始听起来感觉很震撼，但是冷静下来，发现和虚拟仪器技术非常相似。就是硬件虚拟化。
举个例子，就像使用LabVIEW的时候，每个硬件都进行了虚拟化，硬件的功能也进行了虚拟化。使用硬件时，只调用硬件的部分功能，整合各种硬件。
发布会的示例中，调用无人机的摄像头进行视频聊天，这个场景就完全是一个虚拟仪器的应用场景。

赤月

内核实现比较基础，不复杂。
Mach 痕迹很明显，还是心急太快了，要不然就是把几百年前的版本 merch 上来了。
怕不是必须协议开源才开的源……

赤月

大学生学期项目式大会？
能不能跑.net？不能就告辞，能就耍耍

赤月

不敢妄谈5000多名研发人员的技术设计成果，但是很明了的是鸿蒙不是一时的东西，是华为长久规划，长远发展，筑牢公司命脉的产物，我认为技术上不用去怀疑，包括发布会宣传的特点，高安全，高性能，万物互联。而且华为敢于开源是很好的决策，一方面开源可以发展的更好，另一方面是企业的自信。相信华为，因为他做了国内很多科技公司都没魄力或者说没能力做的事，并且成功了，海思即是最好的例子。小声bb一句。华为牛逼！！！