Linux 虛擬記憶體和實體記憶體的理解

語言: CN / TW / HK

關於Linux 虛擬記憶體和實體記憶體的理解。

首先,讓我們看下虛擬記憶體:

第一層理解

  1. 每個程序都有自己獨立的4G記憶體空間,各個程序的記憶體空間具有類似的結構

  2. 一個新程序建立的時候,將會建立起自己的記憶體空間,此程序的資料,程式碼等從磁碟拷貝到自己的程序空間,哪些資料在哪裡,都由程序控制表中的task_struct記錄,task_struct中記錄中一條連結串列,記錄中記憶體空間的分配情況,哪些地址有資料,哪些地址無資料,哪些可讀,哪些可寫,都可以通過這個連結串列記錄

  3. 每個程序已經分配的記憶體空間,都與對應的磁碟空間對映

Linux 虛擬記憶體和實體記憶體的理解

問題:

計算機明明沒有那麼多記憶體(n個程序的話就需要n*4G)記憶體

建立一個程序,就要把磁碟上的程式檔案拷貝到程序對應的記憶體中去,對於一個程式對應的多個程序這種情況,浪費記憶體!

第二層理解

  1. 每個程序的4G記憶體空間只是虛擬記憶體空間,每次訪問記憶體空間的某個地址,都需要把地址翻譯為實際實體記憶體地址

  2. 所有程序共享同一實體記憶體,每個程序只把自己目前需要的虛擬記憶體空間對映並存儲到實體記憶體上。

  3. 程序要知道哪些記憶體地址上的資料在實體記憶體上,哪些不在,還有在實體記憶體上的哪裡,需要用頁表來記錄

4.頁表的每一個表項分兩部分,第一部分記錄此頁是否在實體記憶體上,第二部分記錄實體記憶體頁的地址(如果在的話)

  1. 當程序訪問某個虛擬地址,去看頁表,如果發現對應的資料不在實體記憶體中,則缺頁異常

6.缺頁異常的處理過程,就是把程序需要的資料從磁碟上拷貝到實體記憶體中,如果記憶體已經滿了,沒有空地方了,那就找一個頁覆蓋,當然如果被覆蓋的頁曾經被修改過,需要將此頁寫回磁碟

Linux 虛擬記憶體和實體記憶體的理解

總結:

優點:

1.既然每個程序的記憶體空間都是一致而且固定的,所以連結器在連結可執行檔案時,可以設定記憶體地址,而不用去管這些資料最終實際的記憶體地址,這是有獨立記憶體空間的好處

2.當不同的程序使用同樣的程式碼時,比如庫檔案中的程式碼,實體記憶體中可以只儲存一份這樣的程式碼,不同的程序只需要把自己的虛擬記憶體對映過去就可以了,節省記憶體

3.在程式需要分配連續的記憶體空間的時候,只需要在虛擬記憶體空間分配連續空間,而不需要實際實體記憶體的連續空間,可以利用碎片。

另外,事實上,在每個程序建立載入時,核心只是為程序“建立”了虛擬記憶體的佈局,具體就是初始化程序控制表中記憶體相關的連結串列,實際上並不立即就把虛擬記憶體對應位置的程式資料和程式碼(比如.text .data段)拷貝到實體記憶體中,只是建立好虛擬記憶體和磁碟檔案之間的對映就好(叫做儲存器對映),等到執行到對應的程式時,才會通過缺頁異常,來拷貝資料。還有程序執行過程中,要動態分配記憶體,比如malloc時,也只是分配了虛擬記憶體,即為這塊虛擬記憶體對應的頁表項做相應設定,當程序真正訪問到此資料時,才引發缺頁異常。

補充理解:

虛擬儲存器涉及三個概念: 虛擬儲存空間,磁碟空間,記憶體空間

Linux 虛擬記憶體和實體記憶體的理解

可以認為虛擬空間都被對映到了磁碟空間中,(事實上也是按需要對映到磁碟空間上,通過mmap),並且由頁表記錄對映位置,當訪問到某個地址的時候,通過頁表中的有效位,可以得知此資料是否在記憶體中,如果不是,則通過缺頁異常,將磁碟對應的資料拷貝到記憶體中,如果沒有空閒記憶體,則選擇犧牲頁面,替換其他頁面。

mmap是用來建立從虛擬空間到磁碟空間的對映的,可以將一個虛擬空間地址對映到一個磁碟檔案上,當不設定這個地址時,則由系統自動設定,函式返回對應的記憶體地址(虛擬地址),當訪問這個地址的時候,就需要把磁碟上的內容拷貝到記憶體了,然後就可以讀或者寫,最後通過manmap可以將記憶體上的資料換回到磁碟,也就是解除虛擬空間和記憶體空間的對映,這也是一種讀寫磁碟檔案的方法,也是一種程序共享資料的方法 共享記憶體

接下來我們來討論下實體記憶體:

在核心態申請記憶體比在使用者態申請記憶體要更為直接,它沒有采用使用者態那種延遲分配記憶體技術。核心認為一旦有核心函式申請記憶體,那麼就必須立刻滿足該申請記憶體的請求,並且這個請求一定是正確合理的。相反,對於使用者態申請記憶體的請求,核心總是儘量延後分配實體記憶體,使用者程序總是先獲得一個虛擬記憶體區的使用權,最終通過缺頁異常獲得一塊真正的實體記憶體。

1.實體記憶體的核心對映

IA32架構中核心虛擬地址空間只有1GB大小(從3GB到4GB),因此可以直接將1GB大小的實體記憶體(即常規記憶體)對映到核心地址空間,但超出1GB大小的實體記憶體(即高階記憶體)就不能對映到核心空間。為此,核心採取了下面的方法使得核心可以使用所有的實體記憶體。

1).高階記憶體不能全部對映到核心空間,也就是說這些實體記憶體沒有對應的線性地址。不過,核心為每個物理頁框都分配了對應的頁框描述符,所有的頁框描述符都儲存在mem_map陣列中,因此每個頁框描述符的線性地址都是固定存在的。核心此時可以使用alloc_pages()和alloc_page()來分配高階記憶體,因為這些函式返回頁框描述符的線性地址。

2).核心地址空間的後128MB專門用於對映高階記憶體,否則,沒有線性地址的高階記憶體不能被核心所訪問。這些高階記憶體的核心對映顯然是暫時對映的,否則也只能對映128MB的高階記憶體。當核心需要訪問高階記憶體時就臨時在這個區域進行地址對映,使用完畢之後再用來進行其他高階記憶體的對映。

由於要進行高階記憶體的核心對映,因此直接能夠對映的實體記憶體大小隻有896MB,該值儲存在high_memory中。核心地址空間的線性地址區間如下圖所示:

Linux 虛擬記憶體和實體記憶體的理解

從圖中可以看出,核心採用了三種機制將高階記憶體對映到核心空間:永久核心對映,固定對映和vmalloc機制。

2.實體記憶體管理機制

基於實體記憶體在核心空間中的對映原理,實體記憶體的管理方式也有所不同。核心中實體記憶體的管理機制主要有夥伴演算法,slab快取記憶體和vmalloc機制。其中夥伴演算法和slab快取記憶體都在實體記憶體對映區分配實體記憶體,而vmalloc機制則在高階記憶體對映區分配實體記憶體。

夥伴演算法

夥伴演算法負責大塊連續實體記憶體的分配和釋放,以頁框為基本單位。該機制可以避免外部碎片。

per-CPU頁框快取記憶體

核心經常請求和釋放單個頁框,該快取包含預先分配的頁框,用於滿足本地CPU發出的單一頁框請求。

slab快取

slab快取負責小塊實體記憶體的分配,並且它也作為快取記憶體,主要針對核心中經常分配並釋放的物件。

vmalloc機制

vmalloc機制使得核心通過連續的線性地址來訪問非連續的物理頁框,這樣可以最大限度的使用高階實體記憶體。

3.實體記憶體的分配

核心發出記憶體申請的請求時,根據核心函式呼叫介面將啟用不同的記憶體分配器。

3.1 分割槽頁框分配器

分割槽頁框分配器 (zoned page frame allocator) ,處理對連續頁框的記憶體分配請求。分割槽頁框管理器分為兩大部分:前端的管理區分配器和夥伴系統,如下圖:
Linux 虛擬記憶體和實體記憶體的理解

管理區分配器負責搜尋一個能滿足請求頁框塊大小的管理區。在每個管理區中,具體的頁框分配工作由夥伴系統負責。為了達到更好的系統性能,單個頁框的申請工作直接通過per-CPU頁框快取記憶體完成。該分配器通過幾個函式和巨集來請求頁框,它們之間的封裝關係如下圖所示。

Linux 虛擬記憶體和實體記憶體的理解

這些函式和巨集將核心的分配函式__alloc_pages_nodemask()封裝,形成滿足不同分配需求的分配函式。其中,alloc_pages()系列函式返回實體記憶體首頁框描述符,__get_free_pages()系列函式返回記憶體的線性地址。 3.2 slab分配器

slab 分配器最初是為了解決實體記憶體的內部碎片而提出的,它將核心中常用的資料結構看做物件。slab分配器為每一種物件建立快取記憶體。核心對該物件的分配和釋放均是在這塊快取記憶體中操作。一種物件的slab分配器結構圖如下:

Linux 虛擬記憶體和實體記憶體的理解

可以看到每種物件的快取記憶體是由若干個slab組成,每個slab是由若干個頁框組成的。雖然slab分配器可以分配比單個頁框更小的記憶體塊,但它所需的所有記憶體都是通過夥伴演算法分配的。slab快取記憶體分專用快取和通用快取。專用快取是對特定的物件,比如為記憶體描述符建立快取記憶體。通用快取則是針對一般情況,適合分配任意大小的實體記憶體,其介面即為kmalloc()。 3.3 非連續記憶體區記憶體的分配

核心通過vmalloc()來申請非連續的實體記憶體,若申請成功,該函式返回連續記憶體區的起始地址,否則,返回NULL。vmalloc()和kmalloc()申請的記憶體有所不同,kmalloc()所申請記憶體的線性地址與實體地址都是連續的,而vmalloc()所申請的記憶體線性地址連續而實體地址則是離散的,兩個地址之間通過核心頁表進行對映。vmalloc()的工作方式理解起來很簡單:

1).尋找一個新的連續線性地址空間;

2).依次分配一組非連續的頁框;

3).為線性地址空間和非連續頁框建立對映關係,即修改核心頁表;

vmalloc()的記憶體分配原理與使用者態的記憶體分配相似,都是通過連續的虛擬記憶體來訪問離散的實體記憶體,並且虛擬地址和實體地址之間是通過頁表進行連線的,通過這種方式可以有效的使用實體記憶體。但是應該注意的是,vmalloc()申請實體記憶體時是立即分配的,因為核心認為這種記憶體分配請求是正當而且緊急的;相反,使用者態有記憶體請求時,核心總是儘可能的延後,畢竟使用者態跟核心態不在一個特權級。