华为开发者大会余承东演讲全文: 鸿蒙OS比安卓更强( 十 )_8月9日

带来响应时延、时言的波动率得到极大的下降，同时大家担心微内核架构，我们操作系从发明以来，我们操作系统对几大重要的特性，包括进程管理，最基础的东西，我们宏内核直接就没有微内核这一层，操作系统完成几项管理。

80 年代我们上大学的时候，学习操作系统原理的时候就这样。但是，今天进入微内核时代，如何保证进程间通讯性能，我们很重要的是，为什么采用微内核，就是内核级安全。

从计算机发明以来都是采用宏内核，今天要进入微内核时代，鸿蒙微内核已经投入商用，在 Android 手机、平板已经投入商用，包括 2.0 之后，很多华为终端都采用了鸿蒙的微内核，用在可信可执行环境中，用来做人脸支付，高安全级别使用，首次通过了形式化验证。

我们希望整个操作系统未来都要使用我们的微内核，这是关于微内核它的优势，我们微内核通过数学方法形式化验证，保证充分的验证匹配，形式化验证，是源头验证系统安全的有效手段。

形式化验证是一种方法，会带来问题，编一行程序，形式化代码就 100 行，2000 万宏内核，20 亿形式化代码，是一个灾难，没法做。

华为开发者大会余承东演讲全文: 鸿蒙OS比安卓更强( 十 )