Under the technological war between China and the United States, countless Chinese people have been fighting for the rise of China for countless days and nights. Today, my family’s achievements have finally begun to take shape!
Recently, at the Huawei Developer Conference being held at the Songshan Lake headquarters in Dongguan, Huawei Consumer Business CEO Yu Chengdong officially announced the "world-breaking" Hongmeng OS. 's arrival
Hongmeng OS has four major technical features
The reason why Hongmeng OS was developed was not only to avoid the embarrassment of being choked during critical periods. In this regard, Yu Chengdong also He said that the current Android/Linux system kernel code is huge and redundant, making it difficult to ensure a smooth experience on different terminals. At the same time, the multi-terminal Internet also puts forward higher requirements for device security, requiring software ecology and hardware binding, which reduces user experience and development efficiency. Therefore, Hongmeng OS came into being.
Although both are based on microkernels, Hongmeng OS is different from the microkernel of Google Fuchsia. Hongmeng OS is a full-scenario distributed OS based on microkernels. As the name suggests, it is not only for... It is a full scenario for smart large screens, wearables, cars, audio, watches, mobile phones, PCs and other devices, as well as distributed architecture support, which can provide a natural and smooth kernel-level security ecosystem.
In terms of breakdown, Yu Chengdong said that Hongmeng OS has the following four major technical advantages:
Distributed architecture: achieving seamless collaborative experience across terminals
Hongmeng OS's "distributed OS architecture" and "distributed soft bus technology" use the four major capabilities of public communication platform, distributed data management, distributed capability scheduling and virtual peripherals to provide corresponding distributed The difficulty of implementing the underlying technology of the application is shielded from application developers, allowing developers to focus on their own business logic and develop cross-terminal distributed applications as if they were developing the same terminal. It also enables end consumers to enjoy powerful cross-terminal business collaboration capabilities for all users. Seamless experience brought by the scene.
Born smooth: two major technologies, deterministic latency engine and high-performance IPC
Hongmeng OS uses two major technologies, deterministic latency engine and high-performance IPC Solve the problem of insufficient performance of existing systems. The delay-determining engine can allocate task execution priorities and deadlines in the system for scheduling before task execution. Task resources with high priority will be given priority to ensure scheduling, and application response latency is reduced by 25.7%. The compact structure of Hongmeng microkernel greatly improves IPC (inter-process communication) performance, and process communication efficiency is increased by 5 times compared with existing systems.
Kernel security: Reshape the trusted security of terminal devices based on microkernel architecture
Hongmeng OS adopts a new microkernel design, with stronger security features and low latency. Characteristics such as extension. The basic idea of microkernel design is to simplify the kernel functions, implement as many system services as possible in the user mode outside the kernel, and at the same time add mutual security protection. Microkernel only provides the most basic services, such as multi-process scheduling and multi-process communication.
Hongmeng OS applies microkernel technology to the Trusted Execution Environment (TEE) to reshape trusted security through formal methods. Formal methods are an effective means to use mathematical methods to verify that the system is correct and free of loopholes from the source. Traditional verification methods such as functional verification, simulated attacks, etc. can only be verified in selected limited scenarios, while formal methods can verify all software running paths through data models.
Ecological Sharing: Unified IDE supports one-time development and multi-terminal deployment
Hongmeng OS relies on multi-terminal development IDE, multi-language unified compilation, and distributed architecture Kit provides screen layout control As well as automatic adaptation of interactions, support for drag-and-drop of controls, and visual programming for preview, developers can efficiently build multi-terminal automatic running apps based on the same project, achieving true one-time development, multi-terminal deployment, and realizing a shared ecosystem across devices. . Huawei Ark Compiler is the first static compiler to replace the Android virtual machine mode, allowing developers to compile high-level languages into machine code at once in the development environment. In addition, the Ark compiler will support multi-language unified compilation in the future, which can greatly improve development efficiency.
The current status of Hongmeng OS
At the conference, Yu Chengdong said that Huawei’s Hongmeng microkernel has been put into commercial use for high security such as payment, face recognition, and fingerprints. level scenario, it has passed the formal method certification for the first time. In the future, Huawei’s entire operating system will use Hongmeng.
In fact, as early as 2017, Hongmeng Kernel 1.0 has completed technical verification; in 2018, Hongmeng Kernel 2.0 was used for terminal TEE; in 2019, Hongmeng OS 1.0 will be officially launched in smart screen products. That is to say, at the developer conference tomorrow afternoon, the new smart screen to be released by Huawei's sub-brand Honor will be equipped with Hongmeng OS for the first time.
In addition, according to the Hongmeng OS roadmap released by Huawei, it is expected that by 2020, Hongmeng OS 2.0 will be implemented in innovative domestic PCs, watches/bracelets, and cars and other products. By 2021, it will also be used simultaneously on speakers, headphones and other devices.
Yu Chengdong also announced that Hongmeng system will be free and open source, and invited developers to develop this future-oriented system.
Priority supports Android, Hongmeng OS can be used at any time!
Previously, Ren Zhengfei said in an interview with the British media: "The Hongmeng system itself is not for mobile phones, but for the Internet of Things, such as autonomous driving and industrial automation. , because it can accurately control the delay below five milliseconds, even reaching millisecond level to sub-millisecond level."
As soon as this news came out, many developers felt a little disappointed and asked "Is Hongmeng OS Is it just an operating system for the Internet of Things?" question, and today, Yu Chengdong gave a clear answer. He said that Hongmeng OS can be used on a variety of devices, including watches, bracelets, cars, PCs, tablets, and of course Can be used on mobile phones. However, considering ecological reasons, the Google Android operating system is still preferred at the moment. If the Android operating system is unavailable, everyone can activate Hongmeng OS at any time.
HUAWEI Ark Compiler
The Huawei Ark Compiler, which is “derived from Android, better than Android, surpasses iOS, and fully compatible with Android”, brought great success when it was born. There is a great mission.
At the conference, Huawei Consumer Business CEO Yu Chengdong said that the Ark Compiler is a compiler that truly supports the unification of multiple programming languages and can support C/C, Java, JS, Kotlin and other languages. , which can help developers improve performance by more than 60%.
In addition, the Ark compiler also uses distributed capabilities to provide Kit to develop cross-terminal applications, including distributed soft bus Kit and so on.
The above is the detailed content of Huawei officially releases its own operating system - Hongmeng OS! (picture). For more information, please follow other related articles on the PHP Chinese website!