什么是HarmonyOS

什么是HarmonyOS？

HarmonyOS（HongMeng OS）是一种基于微内核的新型分布式操作系统，旨在在所有设备和方案中提供新的用户体验。

“我们正在进入一个时代，人们期望在所有设备和场景下都能获得全面的智能体验。为了支持这一点，我们认为拥有一个具有改进的跨平台功能的操作系统非常重要。我们需要一个能够支持所有方案的操作系统，该操作系统可以在各种设备和平台上使用，并且能够满足消费者对低延迟和强大安全性的需求。” 华为消费者业务集团首席执行官余承东（Richard Yu）表示。

“ HarmonyOS与Android和iOS完全不同。它是基于微内核的分布式OS，可在所有情况下提供流畅的体验。它具有可信赖和安全的体系结构，并且支持跨设备的无缝协作。您可以开发一次应用程序，然后在各种不同的设备上灵活地部署它们。” 理查德补充。

HarmonyOS基于以下四个技术功能：

1.无缝体验：

通过采用分布式体系结构和分布式虚拟总线技术，HarmonyOS提供了共享的通信平台，分布式数据管理，分布式任务调度和虚拟外围设备。使用HarmonyOS，应用程序开发人员将不必处理分布式应用程序的底层技术，从而使他们可以专注于自己的个人服务逻辑。开发分布式应用程序将比以往更加轻松。构建在HarmonyOS上的应用程序可以在不同的设备上运行，同时在所有场景中提供无缝的协作体验。

2.流畅的性能：

HarmonyOS将通过确定性延迟引擎和高性能进程间通信（IPC）解决性能欠佳的挑战。确定性延迟引擎可预先设置任务执行优先级和时间限制以进行调度。资源将优先用于具有更高优先级的任务，从而将应用程序的响应延迟减少了25.7％。微内核可以使IPC性能比现有系统高出五倍。

3.更安全：

HarmonyOS使用全新的微内核设计，该设计具有增强的安全性和低延迟。该微内核旨在简化内核功能，在内核外部以用户模式实现尽可能多的系统服务，并增加相互的安全保护。微内核本身仅提供最基本的服务，例如线程调度和IPC。

Harmony OS的微内核设计使用正式的验证方法在受信任的执行环境（TEE）中从头开始重塑安全性和可信赖性。形式验证方法是一种从源头验证系统正确性的有效数学方法，而传统的验证方法（例如功能验证和攻击模拟）仅限于有限的情况。相比之下，形式化方法可以使用数据模型来验证所有软件运行路径。

HarmonyOS是第一个在设备TEE中使用形式验证的操作系统，从而大大提高了安全性。另外，由于HarmonyOS微内核具有更少的代码（大约是Linux内核的千分之一），因此大大降低了攻击的可能性。

4.多合一：

借助多设备IDE，多语言统一编译和分布式体系结构套件的支持，HarmonyOS可以自动适应不同的屏幕布局控件和交互，并支持拖放控件和面向预览的可视化编程。这使开发人员可以更有效地构建可在多个设备上运行的应用程序。借助多设备IDE，开发人员可以对他们的应用程序进行一次编码，并将其部署在多个设备上，从而在所有用户设备之间创建紧密集成的生态系统。

华为ARK编译器是首款可与Android虚拟机相提并论的静态编译器，使开发人员能够在一个统一的环境中将多种高级语言编译为机器代码。通过支持多种语言的统一编译，华为ARK编译器将帮助开发人员大大提高工作效率。