華為發(fā)布鴻蒙系統(tǒng) 全球首款搭載鴻蒙OS終端問(wèn)世

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

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

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

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

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