以Windows為例,同樣是微內核,其系統大概有20億行代碼,實際上真正和芯片直接交互核心代碼也就幾萬行,而這幾萬行恰恰就是微內核。真正的微內核,是可以不斷延伸、開發,延伸出Windows、iOS等這樣的系統,并且可以實現自由安裝軟件。
更何況,鴻蒙之意,遠非局限於手機生態之中。
關於同樣屬於內核組成的LiteOS操作系統,可以多提一句,在2015年華為網絡大會上,LiteOS正式宣布開源。華為社區經理林旅強笑稱,華為此前都是自己吃自己的狗糧。LiteOS操作系統是華為完全自研的,并非通過Linux或其他系統二次開發的。截至2018年,搭載華為LiteOS的NB-IoT產品出貨量超過2000萬台。
餘承東本人就微內核這個問題在開發者大會上表示:“我們希望整個操作系統未來都使用我們的微內核,這是關於微內核的優勢,我們微內核通過數學方法形式化驗證,保證充分的驗證匹配,形式化驗證,是源頭驗證系統安全的有效手段。”
從華為方面目前透露的消息來看,鴻蒙微內核已經投入商用,在Android手機、平板已經投入商用,包括2.0之後,很多華為終端都采用了鴻蒙的微內核,用在可信可執行環境中,用來做人臉支付,高安全級別使用,首次通過了形式化驗證。
有消息說,BAT等互聯網巨頭早已經與華為聯合測試,還傳聞國內幾大手機廠商都派出技術員入駐華為,實測鴻蒙系統,這次發布會也證實了這一點。
這樣來看,具有微內核的鴻蒙,說是“開天辟地”的壯舉,可能并不為過。華為消費者業務軟件總裁王成錄曾說:“鴻蒙不是替代現有操作系統,而是面向未來趨勢的。” |