簡介

內存是計算機中最重要的資源之一,通常情況下，物理內存無法容納下所有的進程。雖然物理內存的增長現在達到了N個GB，但比物理內存增長還快的是程序，所以無論物理內存如何增長，都趕不上程序增長的速度，所以操作系統如何有效的管理內存便顯得尤為重要。本文講述操作系統對于內存的管理的過去和現在，以及一些頁替換的算法的介紹。

對于進程的簡單介紹

在開始之前,首先從操作系統的角度簡單介紹一下進程。進程是占有資源的最小單位，這個資源當然包括內存。在現代操作系統中，每個進程所能訪問的內存是互相獨立的（一些交換區除外）。而進程中的線程所以共享進程所分配的內存空間。

在操作系統的角度來看，進程=程序+數據+PCB(進程控制塊)。這個概念略微有點抽象，我通過一個類比來說吧：比如，你正在廚房做飯，你一邊看著菜譜一邊按照菜譜將原料做成菜，就在這時，你兒子進來告訴你他擦破了腿，此時你停下手中的工作，將菜譜反扣過來，然后找來急救書按照書中的內容給你兒子貼上創口貼，貼完后你繼續會去打開菜譜，然后繼續做飯。在這個過程中，你就好比CPU，菜譜就好比程序，而做菜的原料就好比數據。你按照程序指令加工數據，而急救工作好比一個更高優先級的進程，中斷了你當前做飯的工作,然后你將菜譜反扣過來（保護現場）,轉而去處理高優先級的進程，處理完畢后你繼續從剛才的頁讀菜譜(恢復現場)，然后繼續執行做菜這個進程。

在簡單介紹完進程的概念后，我們來轉入內存。

沒有內存抽象的年代

在早些的操作系統中，并沒有引入內存抽象的概念。程序直接訪問和操作的都是物理內存。比如當執行如下指令時:

mov reg1,1000

這條指令會毫無想象力的將物理地址1000中的內容賦值給寄存器。不難想象，這種內存操作方式使得操作系統中存在多進程變得完全不可能，比如MS-DOS，你必須執行完一條指令后才能接著執行下一條。如果是多進程的話，由于直接操作物理內存地址，當一個進程給內存地址1000賦值后，另一個進程也同樣給內存地址賦值，那么第二個進程對內存的賦值會覆蓋第一個進程所賦的值，這回造成兩條進程同時崩潰。

沒有內存抽象對于內存的管理通常非常簡單，除去操作系統所用的內存之外，全部給用戶程序使用。或是在內存中多留一片區域給驅動程序使用，如圖1所示。

圖1.沒有內存抽象時，對內存的使用

第一種情況操作系統存于RAM中，放在內存的低地址，第二種情況操作系統存在于ROM中，存在內存的高地址，一般老式的手機操作系統是這么設計的。

如果這種情況下，想要操作系統可以執行多進程的話，唯一的解決方案就是和硬盤搞交換，當一個進程執行到一定程度時，整個存入硬盤，轉而執行其它進程，到需要執行這個進程時，再從硬盤中取回內存，只要同一時間內存中只有一個進程就行，這也就是所謂的交換（Swapping）技術。但這種技術由于還是直接操作物理內存，依然有可能引起進程的崩潰。

所以，通常來說，這種內存操作往往只存在于一些洗衣機，微波爐的芯片中，因為不可能有第二個進程去征用內存。

內存抽象

在現代的操作系統中，同一時間運行多個進程是再正常不過的了。為了解決直接操作內存帶來的各種問題，引入的地址空間(Address Space),這允許每個進程擁有自己的地址。這還需要硬件上存在兩個寄存器，基址寄存器(base register)和界址寄存器(limit register),第一個寄存器保存進程的開始地址，第二個寄存器保存上界，防止內存溢出。在內存抽象的情況下，當執行

mov reg1,20

這時，實際操作的物理地址并不是20，而是根據基址和偏移量算出實際的物理地址進程操作，此時操作的實際地址可能是:

mov reg1,16245

在這種情況下，任何操作虛擬地址的操作都會被轉換為操作物理地址。而每一個進程所擁有的內存地址是完全不同的，因此也使得多進程成為可能。

但此時還有一個問題，通常來說，內存大小不可能容納下所有并發執行的進程。因此，交換(Swapping)技術應運而生。這個交換和前面所講的交換大同小異,只是現在講的交換在多進程條件下。交換的基本思想是，將閑置的進程交換出內存，暫存在硬盤中，待執行時再交換回內存，比如下面一個例子，當程序一開始時，只有進程A，逐漸有了進程B和C，此時來了進程D，但內存中沒有足夠的空間給進程D，因此將進程B交換出內存，分給進程D。如圖2所示。

圖2.交換技術

通過圖2，我們還發現一個問題，進程D和C之間的空間由于太小無法另任何進程使用，這也就是所謂的外部碎片。一種方法是通過緊湊技術(Memory Compaction)解決，通過移動進程在內存中的地址，使得這些外部碎片空間被填滿。還有一些討巧的方法，比如內存整理軟件，原理是申請一塊超大的內存，將所有進程置換出內存，然后再釋放這塊內存，從而使得重新加載進程，使得外部碎片被消除。這也是為什么運行完內存整理會狂讀硬盤的原因。另外，使用緊湊技術會非常消耗CPU資源，一個2G的CPU沒10ns可以處理4byte,因此多一個2G的內存進行一次緊湊可能需要好幾秒的CPU時間。

上面的理論都是基于進程所占的內存空間是固定的這個假設，但實際情況下，進程往往會動態增長，因此創建進程時分配的內存就是個問題了，如果分配多了，會產生內部碎片，浪費了內存，而分配少了會造成內存溢出。一個解決方法是在進程創建的時候，比進程實際需要的多分配一點內存空間用于進程的增長。一種是直接多分配一點內存空間用于進程在內存中的增長，另一種是將增長區分為數據段和棧（用于存放返回地址和局部變量）,如圖3所示。

圖3.創建進程時預留空間用于增長

當預留的空間不夠滿足增長時，操作系統首先會看相鄰的內存是否空閑，如果空閑則自動分配，如果不空閑，就將整個進程移到足夠容納增長的空間內存中，如果不存在這樣的內存空間，則會將閑置的進程置換出去。

當允許進程動態增長時，操作系統必須對內存進行更有效的管理，操作系統使用如下兩種方法之一來得知內存的使用情況，分別為1)位圖(bitmap) 2)鏈表

使用位圖，將內存劃為多個大小相等的塊，比如一個32K的內存1K一塊可以劃為32塊，則需要32位（4字節）來表示其使用情況，使用位圖將已經使用的塊標為1，未使用的標為0.而使用鏈表，則將內存按使用或未使用分為多個段進行連接，這個概念如圖4所示。

圖4.位圖和鏈表表示內存的使用情況

使用鏈表中的P表示進程，從0-2是進程，H表示空閑，從3-4表示是空閑。

使用位圖表示內存簡單明了，但一個問題是當分配內存時必須在內存中搜索大量的連續0的空間，這是十分消耗資源的操作。相比之下，使用鏈表進行此操作將會更勝一籌。還有一些操作系統會使用雙向鏈表，因為當進程銷毀時，鄰接的往往是空內存或是另外的進程。使用雙向鏈表使得鏈表之間的融合變得更加容易。

還有，當利用鏈表管理內存的情況下，創建進程時分配什么樣的空閑空間也是個問題。通常情況下有如下幾種算法來對進程創建時的空間進行分配。

• 臨近適應算法(Next fit)---從當前位置開始，搜索第一個能滿足進程要求的內存空間
• 最佳適應算法(Best fit)---搜索整個鏈表，找到能滿足進程要求最小內存的內存空間
• 最大適應算法(Wrost fit)---找到當前內存中最大的空閑空間
• 首次適應算法(First fit) ---從鏈表的第一個開始，找到第一個能滿足進程要求的內存空間

虛擬內存(Virtual Memory)

虛擬內存是現代操作系統普遍使用的一種技術。前面所講的抽象滿足了多進程的要求，但很多情況下，現有內存無法滿足僅僅一個大進程的內存要求(比如很多游戲，都是10G+的級別)。在早期的操作系統曾使用覆蓋(overlays)來解決這個問題，將一個程序分為多個塊，基本思想是先將塊0加入內存，塊0執行完后，將塊1加入內存。依次往復，這個解決方案最大的問題是需要程序員去程序進行分塊，這是一個費時費力讓人痛苦不堪的過程。后來這個解決方案的修正版就是虛擬內存。

虛擬內存的基本思想是，每個進程有用獨立的邏輯地址空間，內存被分為大小相等的多個塊,稱為頁(Page).每個頁都是一段連續的地址。對于進程來看,邏輯上貌似有很多內存空間，其中一部分對應物理內存上的一塊(稱為頁框，通常頁和頁框大小相等)，還有一些沒加載在內存中的對應在硬盤上，如圖5所示。

圖5.虛擬內存和物理內存以及磁盤的映射關系

由圖5可以看出，虛擬內存實際上可以比物理內存大。當訪問虛擬內存時，會訪問MMU（內存管理單元）去匹配對應的物理地址（比如圖5的0，1，2），而如果虛擬內存的頁并不存在于物理內存中（如圖5的3,4），會產生缺頁中斷，從磁盤中取得缺的頁放入內存，如果內存已滿，還會根據某種算法將磁盤中的頁換出。

而虛擬內存和物理內存的匹配是通過頁表實現，頁表存在MMU中，頁表中每個項通常為32位，即4byte,除了存儲虛擬地址和頁框地址之外，還會存儲一些標志位，比如是否缺頁，是否修改過，寫保護等。可以把MMU想象成一個接收虛擬地址項返回物理地址的方法。

因為頁表中每個條目是4字節，現在的32位操作系統虛擬地址空間會是2的32次方，即使每頁分為4K，也需要2的20次方*4字節=4M的空間，為每個進程建立一個4M的頁表并不明智。因此在頁表的概念上進行推廣，產生二級頁表,二級頁表每個對應4M的虛擬地址，而一級頁表去索引這些二級頁表，因此32位的系統需要1024個二級頁表，雖然頁表條目沒有減少，但內存中可以僅僅存放需要使用的二級頁表和一級頁表，大大減少了內存的使用。

頁面替換算法

因為在計算機系統中，讀取少量數據硬盤通常需要幾毫秒，而內存中僅僅需要幾納秒。一條CPU指令也通常是幾納秒，如果在執行CPU指令時，產生幾次缺頁中斷，那性能可想而知，因此盡量減少從硬盤的讀取無疑是大大的提升了性能。而前面知道，物理內存是極其有限的，當虛擬內存所求的頁不在物理內存中時，將需要將物理內存中的頁替換出去，選擇哪些頁替換出去就顯得尤為重要，如果算法不好將未來需要使用的頁替換出去，則以后使用時還需要替換進來，這無疑是降低效率的，讓我們來看幾種頁面替換算法。