Linux 內核剖析(轉)

linux內核是一個龐大而複雜的操作系統的核心，不過儘管龐大，但是卻採用子系統和分層的概念很好地進行了組織。在本文中，您將探索 Linux 內核的總體結構，並學習一些主要的子系統和核心接口。
[size=large] Linux 內核簡介[/size]
如果站在比較高的程度對gnu/linux進行抽象的話，linux可以分爲兩層體系結構如下圖所示：
[img]http://www.ibm.com/developerworks/cn/linux/l-linux-kernel/figure2.jpg[/img]

最上面是用戶（或應用程序）空間。這是用戶應用程序執行的地方。用戶空間之下是內核空間，Linux 內核正是位於這裏。
GNU C Library （glibc）也在這裏。它提供了連接內核的系統調用接口，還提供了在用戶空間應用程序和內核之間進行轉換的機制。這點非常重要，因爲內核和用戶空間的應用程序使用的是不同的保護地址空間。每個用戶空間的進程都使用自己的虛擬地址空間，而內核則佔用單獨的地址空間。 更多信息，請參看 參考資料 一節中的鏈接。
Linux 內核可以進一步劃分成 3 層。最上面是系統調用接口，它實現了一些基本的功能，例如 read 和 write。系統調用接口之下是內核代碼，可以更精確地定義爲獨立於體系結構的內核代碼。這些代碼是 Linux 所支持的所有處理器體系結構所通用的。在這些代碼之下是依賴於體系結構的代碼，構成了通常稱爲 BSP（Board Support Package）的部分。這些代碼用作給定體系結構的處理器和特定於平臺的代碼。
[size=large] Linux 內核的屬性[/size]
在討論大型而複雜的系統的體系結構時，可以從很多角度來審視系統。體系結構分析的一個目標是提供一種方法更好地理解源代碼，這正是本文的目的。
Linux 內核實現了很多重要的體系結構屬性。在或高或低的層次上，內核被劃分爲多個子系統。Linux 也可以看作是一個整體，因爲它會將所有這些基本服務都集成到內核中。這與微內核的體系結構不同，後者會提供一些基本的服務，例如通信、I/O、內存和進程管理，更具體的服務都是插入到微內核層中的。每種內核都有自己的優點，不過這裏並不對此進行討論。
隨着時間的流逝，Linux 內核在內存和 CPU 使用方面具有較高的效率，並且非常穩定。但是對於 Linux 來說，最爲有趣的是在這種大小和複雜性的前提下，依然具有良好的可移植性。Linux 編譯後可在大量處理器和具有不同體系結構約束和需求的平臺上運行。一個例子是 Linux 可以在一個具有內存管理單元（MMU）的處理器上運行，也可以在那些不提供 MMU 的處理器上運行。Linux 內核的 uClinux 移植提供了對非 MMU 的支持。
[size=large]Linux 內核的主要子系統[/size]
[img]http://www.ibm.com/developerworks/cn/linux/l-linux-kernel/figure3.jpg[/img]
系統調用接口
SCI 層提供了某些機制執行從用戶空間到內核的函數調用。正如前面討論的一樣，這個接口依賴於體系結構，甚至在相同的處理器家族內也是如此。SCI 實際上是一個非常有用的函數調用多路複用和多路分解服務。在 ./linux/kernel 中您可以找到 SCI 的實現，並在 ./linux/arch 中找到依賴於體系結構的部分。有關這個組件的更詳細信息可以在 參考資料 一節中找到。
進程管理
進程管理的重點是進程的執行。在內核中，這些進程稱爲線程，代表了單獨的處理器虛擬化（線程代碼、數據、堆棧和 CPU 寄存器）。在用戶空間，通常使用進程 這個術語，不過 Linux 實現並沒有區分這兩個概念（進程和線程）。內核通過 SCI 提供了一個應用程序編程接口（API）來創建一個新進程（fork、exec 或 Portable Operating System Interface [POSIX] 函數），停止進程（kill、exit），並在它們之間進行通信和同步（signal 或者 POSIX 機制）。
進程管理還包括處理活動進程之間共享 CPU 的需求。內核實現了一種新型的調度算法，不管有多少個線程在競爭 CPU，這種算法都可以在固定時間內進行操作。這種算法就稱爲 O(1) 調度程序，這個名字就表示它調度多個線程所使用的時間和調度一個線程所使用的時間是相同的。 O(1) 調度程序也可以支持多處理器（稱爲對稱多處理器或 SMP）。您可以在 ./linux/kernel 中找到進程管理的源代碼，在 ./linux/arch 中可以找到依賴於體系結構的源代碼。在 參考資料 一節中可以瞭解有關這個算法的更多內容。
內存管理
內核所管理的另外一個重要資源是內存。爲了提高效率，如果由硬件管理虛擬內存，內存是按照所謂的內存頁 方式進行管理的（對於大部分體系結構來說都是 4KB）。Linux 包括了管理可用內存的方式，以及物理和虛擬映射所使用的硬件機制。
不過內存管理要管理的可不止 4KB 緩衝區。Linux 提供了對 4KB 緩衝區的抽象，例如 slab 分配器。這種內存管理模式使用 4KB 緩衝區爲基數，然後從中分配結構，並跟蹤內存頁使用情況，比如哪些內存頁是滿的，哪些頁面沒有完全使用，哪些頁面爲空。這樣就允許該模式根據系統需要來動態調整內存使用。
爲了支持多個用戶使用內存，有時會出現可用內存被消耗光的情況。由於這個原因，頁面可以移出內存並放入磁盤中。這個過程稱爲交換，因爲頁面會被從內存交換到硬盤上。內存管理的源代碼可以在 ./linux/mm 中找到。
虛擬文件系統
虛擬文件系統（VFS）是 Linux 內核中非常有用的一個方面，因爲它爲文件系統提供了一個通用的接口抽象。VFS 在 SCI 和內核所支持的文件系統之間提供了一個交換層。
[img]http://www.ibm.com/developerworks/cn/linux/l-linux-kernel/figure4.jpg[/img]
在 VFS 上面，是對諸如 open、close、read 和 write 之類的函數的一個通用 API 抽象。在 VFS 下面是文件系統抽象，它定義了上層函數的實現方式。它們是給定文件系統（超過 50 個）的插件。文件系統的源代碼可以在 ./linux/fs 中找到。
文件系統層之下是緩衝區緩存，它爲文件系統層提供了一個通用函數集（與具體文件系統無關）。這個緩存層通過將數據保留一段時間（或者隨即預先讀取數據以便在需要是就可用）優化了對物理設備的訪問。緩衝區緩存之下是設備驅動程序，它實現了特定物理設備的接口。
網絡堆棧
網絡堆棧在設計上遵循模擬協議本身的分層體系結構。回想一下，Internet Protocol (IP) 是傳輸協議（通常稱爲傳輸控制協議或 TCP）下面的核心網絡層協議。TCP 上面是 socket 層，它是通過 SCI 進行調用的。
socket 層是網絡子系統的標準 API，它爲各種網絡協議提供了一個用戶接口。從原始幀訪問到 IP 協議數據單元（PDU），再到 TCP 和 User Datagram Protocol (UDP)，socket 層提供了一種標準化的方法來管理連接，並在各個終點之間移動數據。內核中網絡源代碼可以在 ./linux/net 中找到。
設備驅動程序
Linux 內核中有大量代碼都在設備驅動程序中，它們能夠運轉特定的硬件設備。Linux 源碼樹提供了一個驅動程序子目錄，這個目錄又進一步劃分爲各種支持設備，例如 Bluetooth、I2C、serial 等。設備驅動程序的代碼可以在 ./linux/drivers 中找到。
依賴體系結構的代碼
儘管 Linux 很大程度上獨立於所運行的體系結構，但是有些元素則必須考慮體系結構才能正常操作並實現更高效率。./linux/arch 子目錄定義了內核源代碼中依賴於體系結構的部分，其中包含了各種特定於體系結構的子目錄（共同組成了 BSP）。對於一個典型的桌面系統來說，使用的是 i386 目錄。每個體系結構子目錄都包含了很多其他子目錄，每個子目錄都關注內核中的一個特定方面，例如引導、內核、內存管理等。這些依賴體系結構的代碼可以在 ./linux/arch 中找到。