架構師必讀：Linux 的內存分頁管理
內存是計算機的主存儲器。內存為進程開闢出進程空間，讓進程在其中保存數據。我將從內存的物理特性出發，深入到內存管理的細節，特別是了解虛擬內存和內存分頁的概念。
內存
簡單地說，內存就是一個數據貨架。內存有一個最小的存儲單位，大多數都是一個位元組。內存用內存地址（memory address）來為每個位元組的數據順序編號。因此，內存地址說明了數據在內存中的位置。內存地址從0開始，每次增加1。這種線性增加的存儲器地址稱為線性地址（linear address）。為了方便，我們用十六進位數來表示內存地址，比如0x00000003、0x1A010CB0。這裡的「0x」用來表示十六進位。「0x」後面跟著的，就是作為內存地址的十六進位數。
內存地址的編號有上限。地址空間的範圍和地址匯流排（address bus）的位數直接相關。CPU通過地址匯流排來向內存說明想要存取數據的地址。以英特爾32位的80386型CPU為例，這款CPU有32個針腳可以傳輸地址信息。每個針腳對應了一位。如果針腳上是高電壓，那麼這一位是1。如果是低電壓，那麼這一位是0。32位的電壓高低信息通過地址匯流排傳到內存的32個針腳，內存就能把電壓高低信息轉換成32位的二進位數，從而知道CPU想要的是哪個位置的數據。用十六進位表示，32位地址空間就是從0x00000000 到0xFFFFFFFF。
內存的存儲單元採用了隨機讀取存儲器（RAM， Random Access Memory）。所謂的「隨機讀取」，是指存儲器的讀取時間和數據所在位置無關。與之相對，很多存儲器的讀取時間和數據所在位置有關。就拿磁帶來說，我們想聽其中的一首歌，必須轉動帶子。如果那首歌是第一首，那麼立即就可以播放。如果那首歌恰巧是最後一首，我們快進到可以播放的位置就需要花很長時間。我們已經知道，進程需要調用內存中不同位置的數據。如果數據讀取時間和位置相關的話，計算機就很難把控進程的運行時間。因此，隨機讀取的特性是內存成為主存儲器的關鍵因素。
內存提供的存儲空間，除了能滿足內核的運行需求，還通常能支持運行中的進程。即使進程所需空間超過內存空間，內存空間也可以通過少量拓展來彌補。換句話說，內存的存儲能力，和計算機運行狀態的數據總量相當。內存的缺點是不能持久地保存數據。一旦斷電，內存中的數據就會消失。因此，計算機即使有了內存這樣一個主存儲器，還是需要硬碟這樣的外部存儲器來提供持久的儲存空間。
虛擬內存
內存的一項主要任務，就是存儲進程的相關數據。我們之前已經看到過進程空間的程序段、全局數據、棧和堆，以及這些這些存儲結構在進程運行中所起到的關鍵作用。有趣的是，儘管進程和內存的關係如此緊密，但進程並不能直接訪問內存。在Linux下，進程不能直接讀寫內存中地址為0x1位置的數據。進程中能訪問的地址，只能是虛擬內存地址（virtual memory address）。操作系統會把虛擬內存地址翻譯成真實的內存地址。這種內存管理方式，稱為虛擬內存（virtual memory）。
每個進程都有自己的一套虛擬內存地址，用來給自己的進程空間編號。進程空間的數據同樣以位元組為單位，依次增加。從功能上說，虛擬內存地址和物理內存地址類似，都是為數據提供位置索引。進程的虛擬內存地址相互獨立。因此，兩個進程空間可以有相同的虛擬內存地址，如0x10001000。虛擬內存地址和物理內存地址又有一定的對應關係，如圖1所示。對進程某個虛擬內存地址的操作，會被CPU翻譯成對某個具體內存地址的操作。
圖1 虛擬內存地址和物理內存地址的對應
應用程序來說對物理內存地址一無所知。它只可能通過虛擬內存地址來進行數據讀寫。程序中表達的內存地址，也都是虛擬內存地址。進程對虛擬內存地址的操作，會被操作系統翻譯成對某個物理內存地址的操作。由於翻譯的過程由操作系統全權負責，所以應用程序可以在全過程中對物理內存地址一無所知。因此，C程序中表達的內存地址，都是虛擬內存地址。比如在C語言中，可以用下面指令來列印變數地址：
int v = 0;
printf("%p", (void*)&v);
本質上說，虛擬內存地址剝奪了應用程序自由訪問物理內存地址的權利。進程對物理內存的訪問，必須經過操作系統的審查。因此，掌握著內存對應關係的操作系統，也掌握了應用程序訪問內存的閘門。藉助虛擬內存地址，操作系統可以保障進程空間的獨立性。只要操作系統把兩個進程的進程空間對應到不同的內存區域，就讓兩個進程空間成為「老死不相往來」的兩個小王國。兩個進程就不可能相互篡改對方的數據，進程出錯的可能性就大為減少。
另一方面，有了虛擬內存地址，內存共享也變得簡單。操作系統可以把同一物理內存區域對應到多個進程空間。這樣，不需要任何的數據複製，多個進程就可以看到相同的數據。內核和共享庫的映射，就是通過這種方式進行的。每個進程空間中，最初一部分的虛擬內存地址，都對應到物理內存中預留給內核的空間。這樣，所有的進程就可以共享同一套內核數據。共享庫的情況也是類似。對於任何一個共享庫，計算機只需要往物理內存中載入一次，就可以通過操縱對應關係，來讓多個進程共同使用。IPO中的共享內存，也有賴於虛擬內存地址。
內存分頁
虛擬內存地址和物理內存地址的分離，給進程帶來便利性和安全性。但虛擬內存地址和物理內存地址的翻譯，又會額外耗費計算機資源。在多任務的現代計算機中，虛擬內存地址已經成為必備的設計。那麼，操作系統必須要考慮清楚，如何能高效地翻譯虛擬內存地址。
記錄對應關係最簡單的辦法，就是把對應關係記錄在一張表中。為了讓翻譯速度足夠地快，這個表必須載入在內存中。不過，這種記錄方式驚人地浪費。如果樹莓派1GB物理內存的每個位元組都有一個對應記錄的話，那麼光是對應關係就要遠遠超過內存的空間。由於對應關係的條目眾多，搜索到一個對應關係所需的時間也很長。這樣的話，會讓樹莓派陷入癱瘓。
因此，Linux採用了分頁（paging）的方式來記錄對應關係。所謂的分頁，就是以更大尺寸的單位頁（page）來管理內存。在Linux中，通常每頁大小為4KB。如果想要獲取當前樹莓派的內存頁大小，可以使用命令：
$getconf PAGE_SIZE
得到結果，即內存分頁的位元組數：
4096
返回的4096代表每個內存頁可以存放4096個位元組，即4KB。Linux把物理內存和進程空間都分割成頁。
內存分頁，可以極大地減少所要記錄的內存對應關係。我們已經看到，以位元組為單位的對應記錄實在太多。如果把物理內存和進程空間的地址都分成頁，內核只需要記錄頁的對應關係，相關的工作量就會大為減少。由於每頁的大小是每個位元組的4000倍。因此，內存中的總頁數只是總位元組數的四千分之一。對應關係也縮減為原始策略的四千分之一。分頁讓虛擬內存地址的設計有了實現的可能。
無論是虛擬頁，還是物理頁，一頁之內的地址都是連續的。這樣的話，一個虛擬頁和一個物理頁對應起來，頁內的數據就可以按順序一一對應。這意味著，虛擬內存地址和物理內存地址的末尾部分應該完全相同。大多數情況下，每一頁有4096個位元組。由於4096是2的12次方，所以地址最後12位的對應關係天然成立。我們把地址的這一部分稱為偏移量（offset）。偏移量實際上表達了該位元組在頁內的位置。地址的前一部分則是頁編號。操作系統只需要記錄頁編號的對應關係。
圖2 地址翻譯過程
多級分頁表
內存分頁制度的關鍵，在於管理進程空間頁和物理頁的對應關係。操作系統把對應關係記錄在分頁表（page table）中。這種對應關係讓上層的抽象內存和下層的物理內存分離，從而讓Linux能靈活地進行內存管理。由於每個進程會有一套虛擬內存地址，那麼每個進程都會有一個分頁表。為了保證查詢速度，分頁表也會保存在內存中。分頁表有很多種實現方式，最簡單的一種分頁表就是把所有的對應關係記錄到同一個線性列表中，即如圖2中的「對應關係」部分所示。
這種單一的連續分頁表，需要給每一個虛擬頁預留一條記錄的位置。但對於任何一個應用進程，其進程空間真正用到的地址都相當有限。我們還記得，進程空間會有棧和堆。進程空間為棧和堆的增長預留了地址，但棧和堆很少會佔滿進程空間。這意味著，如果使用連續分頁表，很多條目都沒有真正用到。因此，Linux中的分頁表，採用了多層的數據結構。多層的分頁表能夠減少所需的空間。
我們來看一個簡化的分頁設計，用以說明Linux的多層分頁表。我們把地址分為了頁編號和偏移量兩部分，用單層的分頁表記錄頁編號部分的對應關係。對於多層分頁表來說，會進一步分割頁編號為兩個或更多的部分，然後用兩層或更多層的分頁表來記錄其對應關係，如圖3所示。
圖3 多層分頁表
在圖3的例子中，頁編號分成了兩級。第一級對應了前8位頁編號，用2個十六進位數字表示。第二級對應了後12位頁編號，用3個十六進位編號。二級表記錄有對應的物理頁，即保存了真正的分頁記錄。二級表有很多張，每個二級表分頁記錄對應的虛擬地址前8位都相同。比如二級表0x00，裡面記錄的前8位都是0x00。翻譯地址的過程要跨越兩級。我們先取地址的前8位，在一級表中找到對應記錄。該記錄會告訴我們，目標二級表在內存中的位置。我們再在二級表中，通過虛擬地址的後12位，找到分頁記錄，從而最終找到物理地址。
多層分頁表就好像把完整的電話號碼分成區號。我們把同一地區的電話號碼以及對應的人名記錄同通一個小本子上。再用一個上級本子記錄區號和各個小本子的對應關係。如果某個區號沒有使用，那麼我們只需要在上級本子上把該區號標記為空。同樣，一級分頁表中0x01記錄為空，說明了以0x01開頭的虛擬地址段沒有使用，相應的二級表就不需要存在。正是通過這一手段，多層分頁表佔據的空間要比單層分頁表少了很多。
綜上，我們了解了內存以頁為單位的管理方式。在分頁的基礎上，虛擬內存和物理內存實現了分離，從而讓內核深度參與和監督內存分配。應用進程的安全性和穩定性因此大為提高。
來源：Vamei
http://www.cnblogs.com/vamei/p/9329278.html
推薦閱讀：