華為正式發(fā)布鴻蒙系統(tǒng) 可隨時啟用

　　3、基于微內(nèi)核架構(gòu)重塑終端設備可信安全

　　鴻蒙OS采用全新的微內(nèi)核設計，擁有更強的安全特性和低時延等特點。微內(nèi)核設計的基本思想是簡化內(nèi)核功能，在內(nèi)核之外的用戶態(tài)盡可能多地實現(xiàn)系統(tǒng)服務，同時加入相互之間的安全保護。微內(nèi)核只提供最基礎的服務，比如多進程調(diào)度和多進程通信等。

　　鴻蒙OS將微內(nèi)核技術應用于可信執(zhí)行環(huán)境(TEE)，通過形式化方法，重塑可信安全。形式化方法是利用數(shù)學方法，從源頭驗證系統(tǒng)正確，無漏洞的有效手段。傳統(tǒng)驗證方法如功能驗證，模擬攻擊等只能在選擇的有限場景進行驗證，而形式化方法可通過數(shù)據(jù)模型驗證所有軟件運行路徑。 鴻蒙OS首次將形式化方法用于終端TEE，顯著提升安全等級。同時由于鴻蒙OS微內(nèi)核的代碼量只有Linux宏內(nèi)核的千分之一，其受攻擊幾率也大幅降低。

　　4、通過統(tǒng)一IDE支撐一次開發(fā)，多端部署，實現(xiàn)跨終端生態(tài)共享

　　鴻蒙OS憑借多終端開發(fā)IDE，多語言統(tǒng)一編譯，分布式架構(gòu)Kit提供屏幕布局控件以及交互的自動適配，支持控件拖拽，面向預覽的可視化編程，從而使開發(fā)者可以基于同一工程高效構(gòu)建多端自動運行App，實現(xiàn)真正的一次開發(fā)，多端部署，在跨設備之間實現(xiàn)共享生態(tài)。華為方舟編譯器是首個取代Android虛擬機模式的靜態(tài)編譯器，可供開發(fā)者在開發(fā)環(huán)境中一次性將高級語言編譯為機器碼。此外，方舟編譯器未來將支持多語言統(tǒng)一編譯，可大幅提高開發(fā)效率。