因爲全部用戶進程總的虛擬地址空間比可用的物理內存大不少,所以只有最經常使用的部分才與物理頁幀關聯。這不是問題,由於大多數程序只佔用實際可用內存的一小部分。算法
在將磁盤上的數據映射到進程的虛擬地址空間的時,內核必須提供數據結構,以創建虛擬地址空間的區域和相關數據所在位置之間的關聯。例如,在映射文本文件時,映射的虛擬內存區必須關聯到文件系統的硬盤上存儲文件內容的區域。如圖所示:數據結構
固然,給出的是簡化的圖,由於文件數據在硬盤上的存儲一般並非連續的,而是分佈到若干小的區域。內核利用address_space數據結構,提供一組方法從後備存儲器讀取數據。例如,從文件系統讀取。所以address_space造成了一個輔助層,將映射的數據表示爲連續的線性區域,提供給內存管理子系統。spa
按需分配和填充頁稱爲按需調頁法。它基於處理器和內核之間的交互,使用的各類數據結構如圖所示:線程
過程以下:3d
CPU將一個虛擬內存空間中的地址轉換爲物理地址,須要進行兩步(以下圖):blog
首先,將給定一個邏輯地址(實際上是段內偏移量,這個必定要理解!!!),CPU要利用其段式內存管理單元,先將爲個邏輯地址轉換成一個線程地址,進程
其次,再利用其頁式內存管理單元,轉換爲最終物理地址。內存
這樣作兩次轉換,的確是很是麻煩並且沒有必要的,由於直接能夠把線性地址抽像給進程。之因此這樣冗餘,Intel徹底是爲了兼容而已。內存管理
這些操做對用戶進程是透明的。換句話說,進程不會注意到頁是實際在物理內存中,仍是須要經過按需調頁加載。程序
在整個過程當中可能須要解決如下幾個問題:
1)系統如何感知進程當前所需頁面不在主存(頁表機制);
2)當發現缺頁時,如何把所缺頁面調入主存(缺頁中斷機構);
3)在置換頁面時,根據什麼策略選擇欲淘汰的頁面(置換算法)。
頁表機制
狀態位(中斷位):標識該頁是否在內存(0或1);
訪問位:標識該頁面的近來的訪問次數或時間(換出);
修改位:標識此頁是否在內存中被修改過;
外存地址:記錄該頁面在外存上的地址,即(外存而非內存的)物理塊號。
缺頁中斷機制
程序在執行時,首先檢查頁表,當狀態位指示該頁不在主存時,則引發一個缺頁中斷髮生,其中斷執行過程與通常中斷相同:
保護現場(CPU環境);
中斷處理(中斷處理程序裝入頁面);
恢復現場,返回斷點繼續執行。
置換算法
FIFO
LRU
LFU