smallbeetw worte:
Linux 是 marco...(恕刪)
華為自己寫micro kernel?
不要開這種玩笑
QQWWCC worte:
會使用在非手機上面是...(恕刪)
軟體本來就有先佔先贏的特性, 就像 Android 難以攻入 Windows 佔據的 PC 一樣, 鴻蒙也很難在手機再佔下一塊位置...
不過IOT和AI領域就很有機會, 和鴻蒙一樣, Google的 Fuchsia 也是走 micro kernel 設計. 因為 micro kernel 更容易做形式化驗證, 相對於 marco kerenl 也比較容易做到更高的安全層級... 這在交通設施領域是無法避免的...
這篇裡面有提到形式化驗證 :
---------------------
...
但是，今天進入微內核時代，如何保證進程間通訊性能，我們很重要的是，為什麼採用微內核，就是內核級安全。從計算機發明以來都是採用宏內核，今天要進入微內核時代，鴻蒙微內核已經投入商用，在Android 手機、平板已經投入商用，包括2.0 之後，很多華為終端都採用了鴻蒙的微內核，用在可信可執行環境中，用來做人臉支付，高安全級別使用，首次通過了形式化驗證。
我們希望整個作業系統未來都要使用我們的微內核，這是關於微內核它的優勢，我們微內核通過數學方法形式化驗證，保證充分的驗證匹配，形式化驗證，是源頭驗證系統安全的有效手段。形式化驗證是一種方法，會帶來問題，編一行程序，形式化代碼就 100 行，2000 萬宏內核，20 億形式化代碼，是一個災難，沒法做。
微內核，內核小，可以實現形式化驗證，顯著提高安全。
...
--------------------- 2019.08.09 數位時代
有興趣的人可以 google 形式化驗證 (Formal Verification), 耶魯大學邵中教授的演講有文章可以看... 我也還在研讀, 這東西很有趣...
smallbeetw wrote:
軟體本來就有先佔先贏...(恕刪)
我認為鴻蒙還是有機會的，windows的實用軟體通常極為複雜，操作手冊可能達幾千頁，導致很難快速的轉換，但安卓的軟體通常功能簡單又單一，當使用介面做到一樣，換了一個系統可能都感覺不出來。
內文搜尋
從 APP 打開
X