跳到主要內容

華為鴻蒙系統刷屏,到底什麼是微內核操作系統呢?

  昨天華為在松山湖的華為開發者大會上正式宣布了鴻蒙操作系統,該系統其中一個亮點是 —— 微內核。華為聲稱,微內核的啟用,使其速度大大提升,並且在安全性上產生變革性突破,微內核打破了宏內核下 root 即可獲取用戶所有權限的做法,在安全性上大大提升。



  什麼是微內核呢?


  微內核結構由一個非常簡單的硬件抽象層和一組比較關鍵的原語或系統調用組成;這些原語,僅僅包括了建立一個系統必需的幾個部分;如線程管理,地址空間和進程間通信等。


  微核的目標是將系統服務的實現和系統的基本操作規則分離開來。例如,進程的輸入/輸出鎖定服務可以由運行在微核之外的一個服務組件來提供。這些非常模塊化的用戶態服務器用於完成操作系統中比較高級的操作,這樣的設計使內核中最內核的部分的設計更簡單。一個服務組件的失效並不會導致整個系統的崩潰,內核需要做的,僅僅是重新啟動這個組件,而不必影響其它的部分


  微內核將許多 OS 服務放入分離的進程,如文件系統,設備驅動程序,而進程通過消息傳遞調用 OS 服務.微內核結構必然是多線程的,第一代微內核,在內核提供了較多的服務,因此被稱為'胖微內核',它的典型代表是 MACH,它既是 GNU HURD 也是 APPLE SERVER OS 的內核,可以說,蒸蒸日上.第二代微內核只提供最基本的 OS 服務,典型的 OS 是 QNX,QNX 在理論界很有名,被認為是一種先進的 OS.


  採用微內核設計的操作系統


  微內核並非一個新的概念,它已經存在很長的歷史,下列的操作系統都是基於微內核結構設計的:



  • AⅨ

  • BeOS

  • L4 微內核系列

  • Mach,用於 GNU Hurd 和 Mac OS X

  • Minix

  • MorphOS

  • QNX

  • RadiOS

  • VSTa

  •  


  知乎上有人對微內核下了一個結論:



Micro-kernel 已經失敗。在商業級操作系統中(包括可以用於 mission critical 的 open source 操作系統),除了 L4 還在苦苦留有少量份額,沒有任何 micro-kernel 的市場。


第一代 micro-kernel 是以一個錯誤的方式解決了一個錯誤的問題。而第二代 micro-kernel 不過是以正確的方式解決了錯誤的問題。



  原文可看 


  Linux 究竟是單內核的還是微內核的


  Linux 是一個單內核結構,同時又吸收了微內核的優點:模塊化設計,支持動態裝載內核模塊。Linux 還避免了微內核設計上的缺陷,讓一切都運行在內核態,直接調用函數,無需消息傳遞。


  早在 1992 年,Linus 曾經與 Tanenbaum 進行一場關於操作系統內核選擇的著名爭論。Tanenbaum 認為,以微內核架構設計的操作系統,在理論上,比宏內核架構更加優越,主張 Linux 應該以微內核架構來進行重新設計。但是 Linus 以開發實務上的觀點展開反擊,陳述 Linux 選擇宏內核架構進行開發的理由,並比較 Minix 與 Linux 的性能差異。你可以通過維基百科了解此次爭論的。


  Tanenbaum —— 著名的技術作家、教育家和研究者,IEEE 高級會員、ACM 高級會員、荷蘭皇家藝術和科學院院士、1994 年 ACM Karl V. Karlstrom 傑出教育獎、1997 年 ACM 計算機科學教育傑出貢獻獎、2002 年 Texty 卓越教材獎、第 10 屆 ACM 操作系統原理研討會傑出論文獎、被列入"Who's Who in the World"人物目錄。


  下圖是宏內核(左)和微內核(右)兩種結構的簡單架構圖:



 


  當然對最終用戶而言,我們並不在意採用何種方案。從現實情況來看,微內核似乎還有很長的路要走。


  我們非常期待鴻蒙系統早日能給最終用戶提供服務。

【精選推薦文章】



平板收購,iphone手機收購,二手筆電回收,二手iphone收購-全台皆可收購



收購3c,收購IPHONE,收購蘋果電腦-詳細收購流程一覽表



高價3c回收,收購空拍機,收購鏡頭,收購 MACBOOK-更多收購平台討論專區



3c收購,鏡頭 收購有可能以全新價回收嗎?



賣IPHONE,iPhone回收,舊換新!教你怎麼賣才划算?



Orignal From: 華為鴻蒙系統刷屏,到底什麼是微內核操作系統呢?

留言

這個網誌中的熱門文章

有了四步解題法模板,再也不害怕動態規劃!(看不懂算我輸)

導言 動態規劃問題一直是算法面試當中的重點和難點,並且動態規劃這種通過空間換取時間的算法思想在實際的工作中也會被頻繁用到,這篇文章的目的主要是解釋清楚 什麼是動態規劃 ,還有就是面對一道動態規劃問題,一般的 思考步驟 以及其中的注意事項等等,最後通過幾道題目將理論和實踐結合。 什麼是動態規劃 如果你還沒有聽說過動態規劃,或者僅僅只有耳聞,或許你可以看看 Quora 上面的這個 回答 。 How to explain dynamic 用一句話解釋動態規劃就是 " 記住你之前做過的事 ",如果更準確些,其實是 " 記住你之前得到的答案 "。 我舉個大家工作中經常遇到的例子。 在軟件開發中,大家經常會遇到一些系統配置的問題,配置不對,系統就會報錯,這個時候一般都會去 Google 或者是查閱相關的文檔,花了一定的時間將配置修改好。 過了一段時間,去到另一個系統,遇到類似的問題,這個時候已經記不清之前修改過的配置文件長什麼樣,這個時候有兩種方案,一種方案還是去 Google 或者查閱文檔,另一種方案是借鑒之前修改過的配置,第一種做法其實是萬金油,因為你遇到的任何問題其實都可以去 Google,去查閱相關文件找答案,但是這會花費一定的時間,相比之下,第二種方案肯定會更加地節約時間,但是這個方案是有條件的,條件如下: 之前的問題和當前的問題有着關聯性,換句話說,之前問題得到的答案可以幫助解決當前問題 需要記錄之前問題的答案 當然在這個例子中,可以看到的是,上面這兩個條件均滿足,大可去到之前配置過的文件中,將配置拷貝過來,然後做些細微的調整即可解決當前問題,節約了大量的時間。 不知道你是否從這些描述中發現,對於一個動態規劃問題,我們只需要從兩個方面考慮,那就是 找出問題之間的聯繫 ,以及 記錄答案 ,這裏的難點其實是找出問題之間的聯繫,記錄答案只是順帶的事情,利用一些簡單的數據結構就可以做到。 概念 上面的解釋如果大家可以理解的話,接    動態規劃 算法是通過拆分問題,定義問題狀態和狀態之間的關係,使得問題能夠以遞推(或者說分治)的方式去解決。它的幾個重要概念如下所述。    階段: 對於一個完整的問題過程,適當的切分為若干個相互聯繫的子問題,每次在求解一個子問題...

我的USB為什麼總是無法識別,到底是為甚麼呢?這真的讓我好困擾

其實判斷軟件硬件問題很簡單,在別的機器或換個系統試試就可以了.有些小的問題不妨先用專門軟件格式化下.還有提醒你WINDOWS下格式化時要選擇FAT,不要選FAT32。 倘若插入後,在右下角彈出電腦正在嘗試連接此USB設備的一些信息,有時會彈出對話框讓用戶選擇,有些用戶還沒看清就點了否,或者因為電腦一些初始的設置問題,禁止了USB的一些功能。解決辦法:右鍵點"我的電腦",選"屬性"--"硬件"--"驅動器簽名",在此選擇"忽略",點"確定"。然後重新插上usb,還是不連的話,再右鍵點"我的電腦"--"屬性"--"硬件"--"設備管理器",從中找到"通用串行總線控制器",右鍵,然後"掃描檢測硬件改動"。如果都不行那就是USB識別程序或U盤的問題從控制面板進入添加或刪除硬件將所有USB設備都刪除,重新安裝需要使用的USB設備驅動程序,重新啟動電腦 USB CONNECTOR   USB CONNECTOR  USB CONNECTOR Orignal From: 我的USB為什麼總是無法識別,到底是為甚麼呢?這真的讓我好困擾

為何 Amazon 併購 Oracle 的可能性很大 ?

  2019 年 9 月份 Trefis 團隊建議《Trefis 建議:谷歌可以斥資 90 億美元收購 Nutanix》,最近又建議亞馬遜收購 Oracle。此文是其和《福布斯》雜誌的 Great Speculations 合作撰寫。   根據 Trefis 分析,亞馬遜併購 Oracle 有望帶來巨大的價值。雖然這個想法聽起來很雄心勃勃,但是為了使自己處於雲技術食物鏈的頂端,Oracle 可能是亞馬遜有史以來最好的收購對象。我們詳細說明為什麼亞馬遜可能會收購 Oracle,還在交互式儀錶板中估計了潛在交易的價值。我們的估計基於 Oracle 的獨立價值以及它作為與亞馬遜合併后的實體中一部分而具有的價值。    為何我們認為亞馬遜會收購 Oracle?      兩家公司的概況: 亞馬遜可能是在 2000 年代中期第一家打造公共雲生態系統的供應商,但 Oracle 從事數據庫業務已有近 40 年的歷史。 AWS 的想法是可以將基礎設施出租給希望存儲和計算資源方面減少費用的客戶。根據 Trefis 的估計,AWS 的企業價值高達 4930 億美元,EV/EBITDA 是 27 倍(2020 年 EBITDA 為 180 億美元)。 Oracle 因第一代雲產品失敗而很晚進入雲市場,該公司隨後在開發方面投入大量資金,旨在向市場推出第二代雲。根據 Trefis 的估計,Oracle 的企業價值應為 2510 億美元,EV/EBITDA 是 12.7 倍(2020 年 EBITDA 為 200 億美元)。 AWS 的方法是創建產品,然後讓用戶採用它。Oracle 已經長期擁有這樣的用戶群,卻無法滿足 AWS 能夠滿足的要求。結果是,儘管 Oracle 運行着全球近 50% 的數據庫,但如今 AWS 在公共雲市場的份額超過 40%,而 Oracle 甚至沒有躋身前五名。   理由1:客戶將獲得第二代架構的安全性和 AWS 的客戶服務,因而導致差異化產品與競爭。 由於市場上面臨微軟 Azure(已成為微軟 B2B 和 B2C 產品的底層結構)、谷歌雲(迎來新的掌門人)和 IBM 雲產品(收購 Red Hat 之後)的競爭,AWS 的先行優勢如今可能在減弱。 對老牌雲領導企業構成不利的另一個因素是,原本可以遷移到...