linux bible 第三章 存儲管理

　　第三章 存儲管理 存儲管理子系統時操作系統中最重要的組成部分之一。在早期計算時代，由於人們 所需要的內存數目遠遠大於物理內存，人們設計出了各種各樣的策略來解決此問題， 其中最成功的是虛擬內存技術。它使得系統中為有限物理內存競爭的進程所需內存 空間得到滿足。 虛擬內存技術不僅僅可讓我們可以使用更多的內存，它還提供了以下功能： 巨大的尋址空間 操作系統讓系統看上去有比實際內存大得多的內存空間。虛擬內存可以是系統中實 際物理空間的許多倍。每個進程運行在其獨立的虛擬地址空間中。這些虛擬空間相 互之間都完全隔離開來，所以進程間不會互相影響。同時，硬件虛擬內存機構可以 將內存的某些區域設置成不可寫。這樣可以保護代碼與數據不會受惡意程序的干擾。 內存映射 內存映射技術可以將映象文件和數據文件直接映射到進程的地址空間。在內存映射 中，文件的內容被直接連接到進程虛擬地址空間上。 公平的物理內存分配 內存管理子系統允許系統中每個運行的進程公平地共享系統中的物理內存。 共享虛擬內存 盡管虛擬內存允許進程有其獨立的虛擬地址空間，但有時也需要在進程之間共享內 存。例如有可能系統中有幾個進程同時運行BASH命令外殼程序。為了避免在每個進 程的虛擬內存空間內都存在BASH程序的拷貝，較好的解決辦法是系統物理內存中只 存在一份BASH的拷貝並在多個進程間共享。動態庫則是另外一種進程間共享執行代 碼的方式。共享內存可用來作為進程間通訊(IPC)的手段，多個進程通過共享內存 來交換信息。Linux支持SYSTEM V的共享內存IPC機制。 3.1 虛擬內存的抽象模型 在討論Linux是如何具體實現對虛擬內存的支持前，有必要看一下更簡單的抽象模型。 在處理器執行程序時需要將其從內存中讀出再進行指令解碼。在指令解碼之前它必須 向內存中某個位置取出或者存入某個值。然後執行此指令並指向程序中下一條指令。 在此過程中處理器必須頻繁訪問內存，要麼取指取數，要麼存儲數據。 虛擬內存系統中的所有地址都是虛擬地址而不是物理地址。通過操作系統所維護的一 系列表格由處理器實現由虛擬地址到物理地址的轉換。 為了使轉換更加簡單，虛擬內存與物理內存都以頁面來組織。不同系統中頁面的大小 可以相同，也可以不同，這樣將帶來管理的不便。Alpha AXP處理器上運行的Linux 頁面大小為8KB，而IntelX86系統上使用4KB頁面。每個頁面通過一個叫頁面框號的 數字來標示(PFN)。 頁面模式下的虛擬地址由兩部分構成：頁面框號和頁面內偏移值。如果頁面大小為4KB， 則虛擬地址的11：0位表示虛擬地址偏移值，12位以上表示虛擬頁面框號。處理器處理 虛擬地址時必須完成地址分離工作。在頁表的幫助下，它將虛擬頁面框號轉換成物理頁 面框號，然後訪問物理頁面中相應偏移處。 X和Y的虛擬地址空間，它們擁有各自的頁表。這些頁表將各個進程的虛擬頁面映射到 內存中的物理頁面。在圖中，進程X的虛擬頁面框號0被映射到了物理頁面框號4。理論 上每個頁表入口應包含以下內容： 有效標記，表示此頁表入口是有效的 頁表入口描敘的物理頁面框號 訪問控制信息。用來描敘此頁可以進行哪些操作，是否可寫？是否包含執行代碼? 虛擬頁面框號是為頁表中的偏移。虛擬頁面框號5對應表中的第6個單元（0是第一個）。 為了將虛擬地址轉換為物理地址，處理器首先必須得到虛擬地址頁面框號及頁內偏移。 一般將頁面大小設為2的次冪。將圖3.1中的頁面大小設為0x2000字節（十進制為8192） 並且在進程Y的虛擬地址空間中某個地址為0x2194，則處理器將其轉換為虛擬頁面框號1 及頁內偏移0x194。 處理器使用虛擬頁面框號為索引來訪問處理器頁表，檢索頁表入口。如果在此位置的頁 表入口有效，則處理器將從此入口中得到物理頁面框號。如果此入口無效，則意味著處 理器存取的是虛擬內存中一個不存在的區域。在這種情況下，處理器是不能進行地址轉 換的，它必須將控制傳遞給操作系統來完成這個工作。 某個進程試圖訪問處理器無法進行有效地址轉換的虛擬地址時，處理器如何將控制傳遞 到操作系統依賴於具體的處理器。通常的做法是：處理器引發一個頁面失效錯而陷入操 作系統核心，這樣操作系統將得到有關無效虛擬地址的信息以及發生頁面錯誤的原因。 再以圖3.1為例，進程Y的虛擬頁面框號1被映射到系統物理頁面框號4，則再物理內存中


的起始位置為0x8000(4 * 0x2000)。加上0x194字節偏移則得到最終的物理地址0x8194。 通過將虛擬地址映射到物理地址，虛擬內存可以以任何順序映射到系統物理頁面。例如 ， 進程X的虛擬頁面框號0被映射到物理頁面框號1而虛擬頁面框號7被映射到物理頁面框號 0， 雖然後者的虛擬頁面框號要高於前者。這樣虛擬內存技術帶來了有趣的結果：虛擬內存 中的頁面無須在物理內存保持特定順序。 3.1.1 請求換頁 在物理內存比虛擬內存小得多的系統中，操作系統必須提高物理內存的使用效率。節省 物理內存的一種方法是僅加載那些正在被執行程序使用的虛擬頁面。比如說，某個數據 庫程序可能要對某個數據庫進行查詢操作，此時並不是數據庫的所有內容都要加載到內 存中去，而只加載那些要用的部分。如果此數據庫查詢是一個搜索查詢而無須對數據庫 進行添加記錄操作，則加載添加記錄的代碼是毫無意義的。這種僅將要訪問的虛擬頁面 載入的技術叫請求換頁。 當進程試圖訪問當前不在內存中的虛擬地址時，處理器在頁表中無法找到所引用地址的 入口。對於虛擬頁面框號2，進程X的頁表中沒有入口，這樣當進程X試圖訪問虛擬頁面框 號2內容時，處理器不能將此地址轉換成物理地址。這時處理器通知操作系統有頁面錯誤 發生。 如果發生頁面錯的虛擬地址是無效的，則表明進程在試圖訪問一個不存在的虛擬地址。 這可能是應用程序出錯而引起的，例如它試圖對內存進行一個隨機的寫操作。此時操作 系統將終止此應用的運行以保護系統中其他進程不受此出錯進程的影響。 如果出錯虛擬地址是有效的，但是它指向的頁面當前不在內存中，則操作系統必須將此 頁面從磁盤映象中讀入到內存中來。由於訪盤時間較長，進程必須等待一段時間直到頁 面被取出來。如果系統中還存在其他進程，操作系統就會在讀取頁面過程中的等待過程 中選擇其中之一來運行。讀取回來的頁面將被放在一個空閒的物理頁面框中，同時此進 程的頁表中將添加對應此虛擬頁面框號的入口。最後進程將從發生頁面錯誤的地方重新 開始運行。此時整個虛擬內存訪問過程告一段落，處理器又可以繼續進行虛擬地址到物 理地址轉換，而進程也得以繼續運行。 Linux使用請求換頁將可執行映象加載到進程的虛擬內存中。當命令執行時，可執行的命 令文件被打開，同時其內容被映射到進程的虛擬內存。這些操作是通過修改描敘進程內 存映象的數據結構來完成的，此過程稱為內存映射。然而只有映象的起始部分被調入物 理內存，其余部分仍然留在磁盤上。當映象執行時，它會產生頁面錯誤，這樣Linux將決 定將磁盤上哪些部分調入內存繼續執行。 3.1.2 交換 如果進程需要把一個虛擬頁面調入物理內存而正好系統中沒有空閒的物理頁面，操作系 統必須丟棄位於物理內存中的某些頁面來為之騰出空間。 如果那些從物理內存中丟棄出來的頁面來自於磁盤上的可執行文件或者數據文件，並且 沒有修改過則不需要保存那些頁面。當進程再次需要此頁面時，直接從可執行文件或者 數據文件中讀出。 但是如果頁面被修改過，則操作系統必須保留頁面的內容以備再次訪問。這種頁面被稱 為dirty頁面，當從內存中移出來時，它們必須保存在叫做交換文件的特殊文件中。相對 於處理器和物理內存的速度，訪問交換文件的速度是非常緩慢的，操作系統必須在將這 些dirty頁面寫入磁盤和將其繼續保留在內存中做出選擇。 選擇丟棄頁面的算法經常需要判斷哪些頁面要丟棄或者交換，如果交換算法效率很低， 則會發生"顛簸"現象。在這種情況下，頁面不斷的被寫入磁盤又從磁盤中讀回來，這樣 一來操作系統就無法進行其他任何工作。以圖3.1為例，如果物理頁面框號1被頻繁使用 ， 則頁面丟棄算法將其作為交換到硬盤的侯選者是不恰當的。一個進程當前經常使用的頁 面集合叫做工作集。高效的交換策略能夠確保所有進程的工作集保存在物理內存中。 Linux使用最近最少使用（LRU）頁面衰老算法來公平地選擇將要從系統中拋棄的頁面。 這種策略為系統中的每個頁面設置一個年齡，它隨頁面訪問次數而變化。頁面被訪問的 次數越多則頁面年齡越年輕；相反則越衰老。年齡較老的頁面是待交換頁面

如果那些從物理內存中丟棄出來的頁面來自於磁盤上的可執行文件或者數據文件，並且 沒有修改過則不需要保存那些頁面。當進程再次需要此頁面時，直接從可執行文件或者 數據文件中讀出。 但是如果頁面被修改過，則操作系統必須保留頁面的內容以備再次訪問。這種頁面被稱 為dirty頁面，當從內存中移出來時，它們必須保存在叫做交換文件的特殊文件中。相對 於處理器和物理內存的速度，訪問交換文件的速度是非常緩慢的，操作系統必須在將這 些dirty頁面寫入磁盤和將其繼續保留在內存中做出選擇。 選擇丟棄頁面的算法經常需要判斷哪些頁面要丟棄或者交換，如果交換算法效率很低， 則會發生"顛簸"現象。在這種情況下，頁面不斷的被寫入磁盤又從磁盤中讀回來，這樣 一來操作系統就無法進行其他任何工作。以圖3.1為例，如果物理頁面框號1被頻繁使用 ， 則頁面丟棄算法將其作為交換到硬盤的侯選者是不恰當的。一個進程當前經常使用的頁 面集合叫做工作集。高效的交換策略能夠確保所有進程的工作集保存在物理內存中。 Linux使用最近最少使用（LRU）頁面衰老算法來公平地選擇將要從系統中拋棄的頁面。 這種策略為系統中的每個頁面設置一個年齡，它隨頁面訪問次數而變化。頁面被訪問的 次數越多則頁面年齡越年輕；相反則越衰老。年齡較老的頁面是待交換頁面