簡介

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

對于進程的簡單介紹

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

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

在簡單介紹完進程的概念后，我們來轉(zhuǎn)入內(nèi)存。

沒有內(nèi)存抽象的年代

在早些的操作系統(tǒng)中，并沒有引入內(nèi)存抽象的概念。程序直接訪問和操作的都是物理內(nèi)存。比如當(dāng)執(zhí)行如下指令時:

mov reg1,1000

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

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

圖1.沒有內(nèi)存抽象時，對內(nèi)存的使用

第一種情況操作系統(tǒng)存于RAM中，放在內(nèi)存的低地址，第二種情況操作系統(tǒng)存在于ROM中，存在內(nèi)存的高地址，一般老式的手機操作系統(tǒng)是這么設(shè)計的。

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

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

內(nèi)存抽象

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

mov reg1,20

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

mov reg1,16245

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

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

圖2.交換技術(shù)

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

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

圖3.創(chuàng)建進程時預(yù)留空間用于增長

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

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

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

圖4.位圖和鏈表表示內(nèi)存的使用情況

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

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

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

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

虛擬內(nèi)存(Virtual Memory)

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

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

圖5.虛擬內(nèi)存和物理內(nèi)存以及磁盤的映射關(guān)系

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

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

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

頁面替換算法

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