內核

內核，是一個操作系統的核心。是基於硬件的第一層軟件擴充，提供操作系統的最基本的功能，是操作系統工作的基礎，它負責管理系統的進程、內存、設備驅動程序、文件和網絡系統，決定着系統的性能和穩定性。 ^[2] 

現代操作系統設計中，為減少系統本身的開銷，往往將一些與硬件緊密相關的（如中斷處理程序、設備驅動程序等）、基本的、公共的、運行頻率較高的模塊（如時鐘管理、進程調度等）以及關鍵性數據結構獨立開來，使之常駐內存，並對他們進行保護。通常把這一部分稱之為操作系統的內核。 ^[3] 

程序可以直接地被調入計算機中執行，這樣的設計説明了設計者不希望提供任何硬件抽象和操作系統的支持，它常見於早期計算機系統的設計中。最終，一些輔助性程序，例如程序加載器和調試器，被設計到機器核心當中，或者固化在只讀存儲器裏。這些變化發生時，操作系統內核的概念就漸漸明晰起來了。 ^[4] 

（概述圖片來源：）

Linux的第一個公開版本是1991年10月的0.02版本，兩個月以後，在1991年12月，Linux發佈了0.11版本，這是第一個可以不依賴於Minix就可以使用的獨立內核。

0.12版本發佈一個月以後，在3月，版本號跳到了0.95，反映出系統正變得成熟，不僅如此，直到兩年後，也就是1994年3月，具有里程碑意義的1.0.0才完成。

大約從這時起開始使用兩“路”編號方法標註內核的開發，偶數號的內核（比如1.0、2.2、2.4、2.6）是穩定的，“產品”型號，同時，奇數號的內核版本（1.1、2.3）是前沿的或者“發展中的”內核。一個穩定的內核發佈以後幾個月就開始新內核的開發工作。然而，2.5的開發工作是在2.4完成後幾十個月以後才開始的。 ^[6] 

post-halloween文檔的大部分討論內容是用户需要注意的主要改變，以及需要更新的系統工具（為了利用它們）。關心這一信息人的主要是那些期望提前瞭解2.6內核中有哪些內容的Linux發行商，還有終端用户，這可以讓他們確定為了能利用新部件是否有需要升級的程序。

KernelJanitors項目保持了一個列表，內容是需要修復的較小缺陷和解決方法。這些缺陷解決方法中大部分是由於向內核打較大的補丁時需要改動很多部分代碼而導致的，比如有些地方會影響設備驅動程序。那些新近從事內核開發的人開始時的工作可以選擇列表中的條目，這樣讓他們可以通過小項目學習如何編寫內核代碼，同時有機會為社區做出貢獻。

還有，在另一個預發佈的項目中，JohnCherry追蹤了在對每個已經發布的內核版本進行編譯時發現的錯誤和警告。這些編譯統計數字隨着時間的流逝一直持續下降，而且，以系統的形式來發布這些結果使得所取得的進展一目瞭然。在很多情況下，可以像使用KernelJanitors列表一樣來利用這些警告和錯誤消息中的一部分，因為編譯錯誤通常是由小的缺陷引起的，需要一些努力去修復。

最後，還有AndrewMorton的“must-fix”列表。由於他已經被選定為2.6內核發佈後的維護者，他運用他的特權概括地列出了那些他認為在最終的2.6內核發佈前最迫切需要解決方案的問題。must-fix列表中包含了內核Bugzilla系統中的缺陷，需要完成的部件，以及其他已知的問題，這些問題如不解決將阻礙2.6發佈。這一信息可以幫助指明在新內核發佈前還需要哪些步驟；對那些關心這一萬眾期待的2.6內核發佈何時能完成的人來説，它還可以提供有價值的信息。 ^[7] 

單內核（Monolithic kernel），是個很大的進程。它的內部又能夠被分為若干模塊（或是層次或其他）。但是在運行的時候，它是個單獨的二進制大映象。其模塊間的通訊是通過直接調用其他模塊中的函數實現的，而不是消息傳遞。　 ^[8] 

單內核結構在硬件之上定義了一個高階的抽象界面，應用一組原語(或者叫系統調用)來實現操作系統的功能，例如進程管理，文件系統，和存儲管理等等，這些功能由多個運行在核心態的模塊來完成。

儘管每一個模塊都是單獨地服務這些操作，內核代碼是高度集成的，而且難以編寫正確。因為所有的模塊都在同一個內核空間上運行，一個很小的bug都會使整個系統崩潰。然而，如果開發順利，單內核結構就可以從運行效率上得到好處。

很多現代的單內核結構內核，如Linux和FreeBSD內核，能夠在運行時將模塊調入執行，這就可以使擴充內核的功能變得更簡單，也可以使內核的核心部分變得更簡潔。

單內核結構是非常有吸引力的一種設計，由於在同一個地址空間上實現所有低級操作的系統控制代碼的複雜性的效率會比在不同地址空間上實現更高些。 單核結構正趨向於容易被正確設計，所以它的發展會比微內核結構更迅速些。

單內核結構的例子：傳統的UNIX內核----例如伯克利大學發行的版本，Linux內核。 ^[9] 

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

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

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

微內核只提供了很小一部分的硬件抽象，大部分功能由一種特殊的用户態程序：服務器來完成。微核經常被用於機器人和醫療器械的嵌入式設計中，因為它的系統的關鍵部分都處在相互分開的，被保護的存儲空間中。這對於單核設計來説是不可能的，就算它採用了運行時加載模塊的方式。

微內核的例子：AIX，BeOS，L4微內核系列，.Mach中用於GNU Hurd和Mac OS X，Minix，MorphOS，QNX，RadiOS，VSTa。 ^[9] 

混合內核它很像微內核結構，只不過它的的組件更多的在核心態中運行，以獲得更快的執行速度。

混合內核實質上是微內核，只不過它讓一些微核結構運行在用户空間的代碼運行在內核空間，這樣讓內核的運行效率更高些。這是一種妥協做法，設計者參考了微內核結構的系統運行速度不佳的理論。然而後來的實驗證明，純微內核的系統實際上也可以是高效率的。大多數現代操作系統遵循這種設計範疇，微軟公司開發的Windows操作系統就是一個很好的例子。另外還有XNU，運行在蘋果Mac OS X上的內核，也是一個混合內核。

混合內核的例子： BeOS 內核 ，DragonFly BSD，ReactOS 內核

Windows NT、Windows 2000、Windows XP、Windows Server 2003以及Windows Vista等基於NT技術的操作系統。 ^[11] 

外內核系統，也被稱為縱向結構操作系統，是一種比較極端的設計方法。 ^[12] 

外內核這種內核不提供任何硬件抽象操作，但是允許為內核增加額外的運行庫，通過這些運行庫應用程序可以直接地或者接近直接地對硬件進行操作。

它的設計理念是讓用户程序的設計者來決定硬件接口的設計。外內核本身非常的小，它通常只負責系統保護和系統資源複用相關的服務。

傳統的內核設計(包括單核和微核)都對硬件作了抽象，把硬件資源或設備驅動程序都隱藏在硬件抽象層下。比方説，在這些系統中，如果分配一段物理存儲，應用程序並不知道它的實際位置。

而外核的目標就是讓應用程序直接請求一塊特定的物理空間，一塊特定的磁盤塊等等。系統本身只保證被請求的資源當前是空閒的，應用程序就允許直接存取它。既然外核系統只提供了比較低級的硬件操作，而沒有像其他系統一樣提供高級的硬件抽象，那麼就需要增加額外的運行庫支持。這些運行庫運行在外核之上，給用户程序提供了完整的功能。

理論上，這種設計可以讓各種操作系統運行在一個外核之上，如Windows和Unix。並且設計人員可以根據運行效率調整系統的各部分功能。

外核設計還停留在研究階段，沒有任何一個商業系統採用了這種設計。幾種概念上的操作系統正在被開發，如劍橋大學的Nemesis，格拉斯哥大學的Citrix系統和瑞士計算機科學院的一套系統。麻省理工學院也在進行着這類研究。 ^[11] 

單內核結構是非常有吸引力的一種設計，由於在同一個地址空間上實現所有複雜的低階操作系統控制代碼的效率會比在不同地址空間上實現更高些。

20世紀90年代初，單內核結構被認為是過時的。把Linux設計成為單內核結構而不是微內核，引起了無數的爭議。

單核結構正傾向於設計不容易出錯，所以它的發展會比微內核結構更迅速些。兩個陣營中都有成功的案例。

儘管Mach是眾所周知的多用途的微內核，人們還是開發了除此之外的幾個微內核。L3是一個演示性的內核，只是為了證明微內核設計並不總是低運行速度。它的後續版本L4，甚至可以將Linux內核作為它的一個進程，運行在單獨的地址空間。

QNX是一個從20世紀80年代，就開始設計的微內核系統。它比Mach更接近微內核的理念。它被用於一些特殊的領域；在這些情況下，由於軟件錯誤，導致系統失效是不允許的。例如航天飛機上的機械手，還有研磨望遠鏡鏡片的機器，一點點失誤就會導致上千美元的損失。

很多人相信，由於Mach不能夠解決一些提出微內核理論時針對的問題，所以微內核技術毫無用處。Mach的愛好者表明這是非常狹隘的觀點，遺憾的是似乎所有人都開始接受這種觀點。

內核提供一種硬件抽象的方法來完成對硬件操作，因為這些操作是非常複雜的，硬件抽象隱藏了複雜性，為應用軟件和硬件提供了一套簡潔，統一的接口，使程序設計更為簡單。 ^[14] 

歷史上，從來沒有出現過用於Linux內核的正式的源代碼管理或修正控制系統。實際上，很多開發者實現了他們自己的修正控制器，但是並沒有官方的LinuxCVS檔案庫，讓LinusTorvalds檢查加入代碼，並讓其他人可以由此獲得代碼。修正控制器的缺乏，常常會使發行版本之間存在“代溝”，沒有人真正知道加入了哪些改變，這些改變是否能很好地融合，或者在即將發行的版本中哪些新內容是值得期待的。通常，如果更多的開發者可以像瞭解他們自己所做的改變一樣瞭解到那些變化，某些問題就可以得到避免。

非常有必要使用一個實時的、集中的檔案庫來保存對Linux內核的最新更新。每一個被內核接受的改變或者補丁都被作為一個改變集被追蹤。終端用户和開發者可以保存他們自己的源文件檔案庫，並根據需要可以通過一個簡單的命令用最新的改變集進行更新。對開發者來説，這意味着可以始終使用最新的代碼拷貝。測試人員可以使用這些邏輯的改變集合來確定哪些變化導致了問題的產生，縮短調試所需要的時間。甚至那些希望使用最新內核的用户也可以直接利用實時的、集中的檔案庫，因為一旦他們所需要的部件或缺陷修復加入到內核中，他們就可以馬上進行更新。當代碼融合到內核時，任何用户都可以提供關於這些代碼的即時反饋和缺陷報告。 ^[15] 

內核結構圖(6張)

隨着Linux內核的成長，變得更加複雜，而且吸引更多開發者將注意力集中到內核的特定方面的專門開發上來，出現了另一個開發Linux方法的有趣改變。在2.3內核版本的開發期間，除了由LinusTorvalds發行的主要的一個內核樹之外，還有一些其他的內核樹。

在2.5的開發期間，內核樹出現了爆炸式的增長。由於使用源代碼管理工具可以保持開發的同步並行進行，這樣就可能實現開發的部分並行化。為了讓其他人在他們所做的改變被接受之前可以進行測試，有一些開發需要並行化。那些保持自己的樹的內核維護者致力於特定的組件和目標，比如內存管理、NUMA部件、改進擴展性和用於特定體系結構的代碼，還有一些樹收集並追蹤對許多小缺陷的糾正。

這種並行開發模型的優點是，它使得需要進行重大改變的開發者，或者針對一個特定的目標進行大量類似改變的那些開發者可以自由地在一個受控環境中開發，而並不影響其他人所用內核的穩定性。當開發者完成工作後，他們可以發佈針對Linux內核當前版本的補丁，以實現到此為止他們所完成的改變。這樣，社區中的測試人員就可以方便地測試這些改變並提供反饋。當每一部分都被證明是穩定的之後，那些部分可以單獨地，或者甚至同時全部地，融合到主要Linux內核中。

（內核結構圖相冊部分圖片來源：）

新工具為內核提供了代碼覆蓋分析的功能。覆蓋分析表明，在一個給定的測試運行時，內核中哪些行代碼被執行。更重要的是，覆蓋分析提示了內核的哪些部分還根本沒有被測試到。這個數據是重要的，因為它指出了需要再編寫哪些新測試來測試內核的那些部分，以使內核可以得到更完備的測試。

在為將來的2.6Linux內核進行開的過程中，除了這些自動化的信息管理方法之外，開放源代碼社區的不同成員還收集和追蹤了數量驚人的信息。

例如，在KernelNewbies站點上創建了一個狀態列表，來保持對已經提出的內核新部件的追蹤。這個列表包含了以狀態排序的條目，如果它們已經完成了，則説明它們已經包含在哪個內核中，如果還沒有完成，則指出還需要多長時間。列表上很多條目的鏈接指向大型項目的Web站點，或者當條目較小時，鏈接指向一個解釋相應部件的電子郵件信息的拷貝。

過去，Linux內核測試方法圍繞開放源代碼開發模型進行。由於代碼一經發布後就公開給其他開發者進行審查，因此從來沒有出現過一個與其他形式的軟件開發類似的正式的驗證週期。這種方法背後的理論依據是“TheCathedralandtheBazaar”中所謂的“Linus法則”（請查閲參考資料以獲得相關的參考），這一法則的內容為“眾人的眼光是雪亮的”。換句話説，高力度的審查可以找出大部分真正的大問題。

然而實際上，內核有很多複雜的相互聯繫。即使進行了足夠力度的審查，還是會漏過很多嚴重的缺陷。此外，最新的內核一經發布，終端用户可以（也經常是）下載並使用。2.4.0發佈時，社區中很多人都提議進行更有組織的測試，以保證特定測試和代碼審查的強度。有組織的測試包括運用測試計劃、測試過程中的可重複性等等。使用所有的三種方法比最初只使用兩種方法會帶來更高的代碼質量。 ^[17] 

最早對Linux開始進行有組織測試的貢獻者是Linux測試項目(LinuxTestProject，LTP)。這個項目的目的是通過更有組織的測試方法提高Linux的質量。這個測試項目的一部分是自動測試套件的開發。LTP開發的主要測試套件也叫做Linux測試項目。2.4.0內核發佈時，LTP測試套件只有大約100個測試。隨着2.4和2.5版本Linux的發展與成熟，LTP測試套件也正在發展和成熟。當前，Linux測試項目包括超過2000個測試，而且這個數字還在增長。 ^[18] 

在2.5的開發週期中，Linux測試項目所採用的另一個項目是，用LTP測試套件對Linux內核執行持續多日的迴歸測試。人們用BitKeeper創建了一個實時的、集中的檔案庫，以隨時可以獲得Linux內核的快照。在沒有使用BitKeeper和快照時，測試人員不得不等到內核發佈後才可以開始測試。內核只要發生了改變，測試人員就可以進行測試。

使用自動化工具來執行持續多日的迴歸測試的另一個優點是，和上一次測試相比變化較小。如果發現了一個新的迴歸缺陷，通常會容易地檢測出這個缺陷可能是哪個改變導致的。

同樣，由於是最新的改變，因此它在開發者的腦海中印象還比較深——希望這能讓他們更容易地記起並修訂相應的代碼。或許Linus法則應該有這樣一個結論，有一些缺陷比其他缺陷更容易被發現，因為那些正是持續多日的內核迴歸測試所發現並處理的那些。在開發週期中和實際發佈之前能夠每天進行這些測試，這就使那些只關注完整發行版本的測試者可以將精力集中於更嚴重和耗時的缺陷。 ^[19] 

另外一個名為開放源代碼開發實驗室(OpenSourceDevelopmentLabs,OSDL)的團隊也為Linux測試做出了重要的貢獻。2.4內核發佈後不久，OSDL創建了一個叫做可擴展測試平台(ScalableTestPlatform，STP)的系統。STP是一個自動化的測試平台，讓開發者和測試者可以運行OSDL硬件之上的系統所提供的測試。開發者甚至可以使用這個系統來測試他們自己的針對內核的補丁。可擴展測試平台簡化了測試的步驟，因為STP可以構建內核、設置測試、運行測試，並收集結果。然後得到結果以進行深入地比較。很多人無法接觸大型系統，比如具有8個處理器的SMP機器，而通過STP，任何人都可以在像這樣的大型系統上運行測試，這個系統(STP)的另一個好處就在於此。

自從2.4發佈以來，對Linux內核的有組織測試最大的改進之一是缺陷追蹤。過去，在Linux內核中發現的缺陷會報告給Linux內核郵件列表，報告給特定組件或者特定體系的郵件列表，或者直接報告給維護髮現缺陷的那部分代碼的個人。隨着開發和測試Linux的人數的增加，這個系統的不足之處很快就暴露了出來。在以前，除非人們對缺陷的報告可以驚人地維持下去，缺陷經常被遺漏、遺忘或者忽略。

OSDL安裝了一個缺陷追蹤系統，來報告和追蹤Linux內核的缺陷。系統經過了配置，這樣當某個組件的缺陷被報告時，那個組件的維護者就會得到通知。維護者既可以接受並修復那個缺陷，或重新指定缺陷（如果最終確定實際上那是內核另外一部分的缺陷），也可以排除它（如果最終確定並不是真正的缺陷，比如錯誤配置的系統）。報告給郵件列表的缺陷還有丟失的危險，因為越來越多的電子郵件湧向那個列表。然而，在缺陷追蹤系統中，始終有對每一個缺陷及其當前狀態的記錄。