按照分層結構討論 Linux 文件系統 |
級別: 初級 M. Tim Jones , 顧問工程師, Emulex Corp. 2007 年 12 月 03 日 在 文件系統方面,Linux® 可以算得上操作系統中的 “瑞士軍刀”。Linux 支持許多種文件系統,從日誌型文件系統到集羣文件系統和加密文件系統。對於使用標準的和比較奇特的文件系統以及開發文件系統來說,Linux 是極好的平臺。本文討論 Linux 內核中的虛擬文件系統(VFS,有時候稱爲虛擬文件系統交換器),然後介紹將文件系統連接在一起的主要結構。 Linux 文件系統體系結構是一個對複雜系統進行抽象化的有趣例子。通過使用一組通用的 API 函數,Linux 可以在許多種存儲設備上支持許多種文件系統。例如,
首 先回答最常見的問題,“什麼是文件系統”。文件系統是對一個存儲設備上的數據和元數據進行組織的機制。由於定義如此寬泛,支持它的代碼會很有意思。正如前 面提到的,有許多種文件系統和媒體。由於存在這麼多類型,可以預料到 Linux 文件系統接口實現爲分層的體系結構,從而將用戶接口層、文件系統實現和操作存儲設備的驅動程序分隔開。
在 Linux 中將一個文件系統與一個存儲設備關聯起來的過程稱爲掛裝(mount)
。使用 爲了說明 Linux 文件系統層的功能(以及掛裝的方法),我們在當前文件系統的一個文件中創建一個文件系統。實現的方法是,首先用 清單 1. 創建一個經過初始化的文件
現在有了一個 10MB 的 file.img 文件。使用
這個文件現在作爲一個塊設備出現(由 /dev/loop0 表示)。然後用 清單 2. 用循環設備創建 ext2 文件系統
使用 清單 3. 創建掛裝點並通過循環設備掛裝文件系統
如清單 4 所示,還可以繼續這個過程:在剛纔掛裝的文件系統中創建一個新文件,將它與一個循環設備關聯起來,再在上面創建另一個文件系統。 清單 4. 在循環文件系統中創建一個新的循環文件系統
通過這個簡單的演示很容易體會到 Linux 文件系統(和循環設備)是多麼強大。可以按照相同的方法在文件上用循環設備創建加密的文件系統。可以在需要時使用循環設備臨時掛裝文件,這有助於保護數據。
既然已經看到了文件系統的構造方法,現在就看看 Linux 文件系統層的體系結構。本文從兩個角度考察 Linux 文件系統。首先採用高層體系結構的角度。然後進行深層次討論,介紹實現文件系統層的主要結構。
儘管大多數文件系統代碼在內核中(後面討論的用戶空間文件系統除外),但是圖 1 所示的體系結構顯示了用戶空間和內核中與文件系統相關的主要組件之間的關係。 圖 1. Linux 文件系統組件的體系結構 用戶空間包含一些應用程序(例如,文件系統的使用者)和 GNU C 庫(glibc),它們爲文件系統調用(打開、讀取、寫和關閉)提供用戶接口。系統調用接口的作用就像是交換器,它將系統調用從用戶空間發送到內核空間中的適當端點。 VFS 是底層文件系統的主要接口。這個組件導出一組接口,然後將它們抽象到各個文件系統,各個文件系統的行爲可能差異很大。有兩個針對文件系統對象的緩存(inode 和 dentry)。它們緩存最近使用過的文件系統對象。 每
個文件系統實現(比如 ext2、JFS 等等)導出一組通用接口,供 VFS
使用。緩衝區緩存會緩存文件系統和相關塊設備之間的請求。例如,對底層設備驅動程序的讀寫請求會通過緩衝區緩存來傳遞。這就允許在其中緩存請求,減少訪問
物理設備的次數,加快訪問速度。以最近使用(LRU)列表的形式管理緩衝區緩存。注意,可以使用
這就是 VFS 和文件系統組件的高層情況。現在,討論實現這個子系統的主要結構。 Linux 以一組通用對象的角度看待所有文件系統。這些對象是超級塊(superblock)、inode、dentry 和文件。超級塊在每個文件系統的根上,超級塊描述和維護文件系統的狀態。文件系統中管理的每個對象(文件或目錄)在 Linux 中表示爲一個 inode。inode 包含管理文件系統中的對象所需的所有元數據(包括可以在對象上執行的操作)。另一組結構稱爲 dentry,它們用來實現名稱和 inode 之間的映射,有一個目錄緩存用來保存最近使用的 dentry。dentry 還維護目錄和文件之間的關係,從而支持在文件系統中移動。最後,VFS 文件表示一個打開的文件(保存打開的文件的狀態,比如寫偏移量等等)。 VFS 作爲文件系統接口的根層。VFS 記錄當前支持的文件系統以及當前掛裝的文件系統。 可以使用一組註冊函數在 Linux 中動態地添加或刪除文件系統。內核保存當前支持的文件系統的列表,可以通過 /proc 文件系統在用戶空間中查看這個列表。這個虛擬文件還顯示當前與這些文件系統相關聯的設備。在 Linux 中添加新文件系統的方法是調用 在註冊新的文件系統時,會把這個文件系統和它的相關信息添加到 file_systems 列表中(見圖 2 和 linux/include/linux/mount.h)。這個列表定義可以支持的文件系統。在命令行上輸入 圖 2. 向內核註冊的文件系統 VFS 中維護的另一個結構是掛裝的文件系統(見圖 3)。這個結構提供當前掛裝的文件系統(見 linux/include/linux/fs.h)。它鏈接下面討論的超級塊結構。 圖 3. 掛裝的文件系統列表 超 級塊結構表示一個文件系統。它包含管理文件系統所需的信息,包括文件系統名稱(比如 ext2)、文件系統的大小和狀態、塊設備的引用和元數據信息(比如空閒列表等等)。超級塊通常存儲在存儲媒體上,但是如果超級塊不存在,也可以實時創建 它。可以在 ./linux/include/linux/fs.h 中找到超級塊結構(見圖 4)。 圖 4. 超級塊結構和 inode 操作 超級塊中的一個重要元素是超級塊操作的定義。這個結構定義一組用來管理這個文件系統中的 inode 的函數。例如,可以用 inode 表示文件系統中的一個對象,它具有惟一標識符。各個文件系統提供將文件名映射爲惟一 inode 標識符和 inode 引用的方法。圖 5 顯示 inode 結構的一部分以及兩個相關結構。請特別注意 圖 5. inode 結構和相關聯的操作 inode 和目錄緩存分別保存最近使用的 inode 和 dentry。注意,對於 inode 緩存中的每個 inode,在目錄緩存中都有一個對應的 dentry。可以在 ./linux/include/linux/fs.h 中找到 除 了各個文件系統實現(可以在 ./linux/fs 中找到)之外,文件系統層的底部是緩衝區緩存。這個組件跟蹤來自文件系統實現和物理設備(通過設備驅動程序)的讀寫請求。爲了提高效率,Linux 對請求進行緩存,避免將所有請求發送到物理設備。緩存中緩存最近使用的緩衝區(頁面),這些緩衝區可以快速提供給各個文件系統。
本 文沒有討論 Linux 中可用的具體文件系統,但是值得在這裏稍微提一下。Linux 支持許多種文件系統,包括 MINIX、MS-DOS 和 ext2 等老式文件系統。Linux 還支持 ext3、JFS 和 ReiserFS 等新的日誌型文件系統。另外,Linux 支持加密文件系統(比如 CFS)和虛擬文件系統(比如 /proc)。 最後一種值得注意的文件系統是 Filesystem in Userspace(FUSE)。這種文件系統可以將文件系統請求通過 VFS 發送回用戶空間。所以,如果您有興趣創建自己的文件系統,那麼通過使用 FUSE 進行開發是一種不錯的方法。
儘管文件系統的實現並不複雜,但它是可伸縮和可擴展的體系結構的好例子。文件系統體系結構已經發展了許多年,併成功地支持了許多不同類型的文件系統和許多目標存儲設備類型。由於使用了基於插件的體系結構和多層的函數間接性,Linux 文件系統在近期的發展很值得關注。 |