鴻蒙操作系統(tǒng)開源 華為鴻蒙最新消息匯總
鴻蒙OS將微內(nèi)核技術(shù)應(yīng)用于可信執(zhí)行環(huán)境(TEE),通過形式化方法,重塑可信安全。形式化方法是利用數(shù)學(xué)方法,從源頭驗(yàn)證系統(tǒng)正確,無漏洞的有效手段。傳統(tǒng)驗(yàn)證方法如功能驗(yàn)證,模擬攻擊等只能在選擇的有限場景進(jìn)行驗(yàn)證,而形式化方法可通過數(shù)據(jù)模型驗(yàn)證所有軟件運(yùn)行路徑。 鴻蒙OS首次將形式化方法用于終端TEE,顯著提升安全等級(jí)。同時(shí)由于鴻蒙OS微內(nèi)核的代碼量只有Linux宏內(nèi)核的千分之一,其受攻擊幾率也大幅降低。
4. 通過統(tǒng)一IDE支撐一次開發(fā),多端部署,實(shí)現(xiàn)跨終端生態(tài)共享
鴻蒙OS憑借多終端開發(fā)IDE,多語言統(tǒng)一編譯,分布式架構(gòu)Kit提供屏幕布局控件以及交互的自動(dòng)適配,支持控件拖拽,面向預(yù)覽的可視化編程,從而使開發(fā)者可以基于同一工程高效構(gòu)建多端自動(dòng)運(yùn)行App,實(shí)現(xiàn)真正的一次開發(fā),多端部署,在跨設(shè)備之間實(shí)現(xiàn)共享生態(tài)。華為方舟編譯器是首個(gè)取代Android虛擬機(jī)模式的靜態(tài)編譯器,可供開發(fā)者在開發(fā)環(huán)境中一次性將高級(jí)語言編譯為機(jī)器碼。此外,方舟編譯器未來將支持多語言統(tǒng)一編譯,可大幅提高開發(fā)效率。