內(nèi)存的分配和回收
內(nèi)存的分配是為進(jìn)入系統(tǒng)準(zhǔn)備運(yùn)行的程序分配內(nèi)存空間,內(nèi)存的回收是當(dāng)程序運(yùn)行完成后回收所占用的空間,系統(tǒng)為了完成這個功能,必須跟蹤記錄內(nèi)存空間的使用情況,按照一定的算法為進(jìn)程分配和回收空間。
分配存儲方案的因素:
存儲空間的描述結(jié)構(gòu):系統(tǒng)采用某種數(shù)據(jù)結(jié)構(gòu)登記當(dāng)前的內(nèi)存使用情況以及空閑區(qū)的分布情況,供存儲分配使用。每次分配回收要修改這些數(shù)據(jù)。
分配的策略:確定安裝內(nèi)存的分配和回收算法,好的算法既能滿足進(jìn)程運(yùn)行需要,又能充分利用內(nèi)存空間。
存儲地址變換
用戶編程的時候無法預(yù)知確定程序在內(nèi)存的位置,只能采用邏輯地址編程,程序運(yùn)行的時候把程序的邏輯地址轉(zhuǎn)換為實(shí)際地址,由內(nèi)存管理模塊與硬件的地址變換機(jī)構(gòu)共同完成。
1.符合地址
高級語言編程使用符號名,比如函數(shù)名,變量名語句標(biāo)號來表示操作對象或者轉(zhuǎn)移的地址,高級語言使用的空間是符合地址
2.邏輯地址
編譯程序?qū)⒃创a的語句逐條翻譯為機(jī)器指令,為每個變量分配存儲單元,并利用存儲單元地址替換變量名,這些指令和數(shù)據(jù)順序存放在一起,從0開始編排地址,形成目標(biāo)代碼,目標(biāo)代碼所占據(jù)的地址范圍稱為邏輯地址空間,范圍0~n-1,n是目標(biāo)代碼長度,邏輯地址空間的地址稱為邏輯地址或者相對地址。
3.物理地址
物理內(nèi)存由一系列的內(nèi)存單元組成,這些內(nèi)存單元從0開始按字節(jié)編址,稱為內(nèi)存地址,當(dāng)目標(biāo)程序加載到內(nèi)存里時候,所占據(jù)的實(shí)際內(nèi)存空間就是它的物理存儲空間,物理空間不會從0開始,因?yàn)閮?nèi)存的低端地址通常被操作系統(tǒng)占據(jù),對比下圖可以理解。邏輯地址空間i的地址是96,真正的物理內(nèi)存空間時1120.
現(xiàn)在程序地址的變換采用的是動態(tài)變換,程序裝入內(nèi)存的是不進(jìn)行變換,在執(zhí)行過程遇到邏輯地址,地址變換機(jī)構(gòu)進(jìn)行地址轉(zhuǎn)換,然后再執(zhí)行指令,特點(diǎn)是程序在內(nèi)存中可移動,可共享。
內(nèi)存保護(hù)
1.雖然內(nèi)存的容量不斷提高,對應(yīng)用來說還是不足,擴(kuò)充存儲器空間的基本思想是借用外來存儲空間擴(kuò)展內(nèi)存空間,方法是先讓程序的部分代碼進(jìn)入內(nèi)存,其他放在外存,需要的時候再調(diào)入內(nèi)存。實(shí)現(xiàn)方式有三種
1.覆蓋技術(shù)
將程序分為幾個模塊,重要的先進(jìn)入內(nèi)存,不重要的等需要的時候再進(jìn)入,不重要的共享一些內(nèi)存空間,用的時候覆蓋掉某個暫時不用的塊。缺點(diǎn)是編程的時候必須對程序進(jìn)行模塊劃分,復(fù)雜。不好
2.交換技術(shù)
多個程序并發(fā)執(zhí)行的時候,往往有些程序因?yàn)榈却硞€事件暫時不能運(yùn)行,如果將暫時不執(zhí)行的程序放入外存,和覆蓋不一樣的是交換技術(shù)是以進(jìn)程為單位的,優(yōu)點(diǎn)是增加了程序并發(fā)的程序數(shù)目,對程序結(jié)構(gòu)沒有要求,缺點(diǎn)是對整個進(jìn)程換入換出操作浪費(fèi)很多時間。
3.虛擬存儲器
以上兩種內(nèi)存擴(kuò)充技術(shù)都不是虛擬存儲技術(shù),在編程人眼中,看到的還是實(shí)際內(nèi)存的大小,虛擬存儲技術(shù)原理是將程序的部分代碼調(diào)入內(nèi)存,其余駐留在外存,需要時候調(diào)入,程序的代碼的換入換出完全由系統(tǒng)完成,用戶看到的是一個比實(shí)際內(nèi)存大得多的內(nèi)存。
程序局部性原理
實(shí)驗(yàn)證明,程序運(yùn)行的過程中,CPU不是隨機(jī)的訪問整個程序或者數(shù)據(jù)范圍,而是在一個時間段內(nèi)只集中訪問程序或數(shù)據(jù)范圍,這種特性稱為局部性原理,局部性原理表明在進(jìn)程運(yùn)行的某個較短的時間內(nèi)進(jìn)程地址空間只有部分是活動的,其余處于不活動狀態(tài),可能長時間不會用到比如初始化和終止代碼,也可能根本不會用到,比如錯誤處理代碼。它們完全沒有必要在內(nèi)存駐留,只有當(dāng)需要的時候在被調(diào)入內(nèi)存,可見局部性使得虛擬存儲成為可能。
虛擬存儲器原理
利用外存模擬內(nèi)存,在外存開辟一個大的存儲空間,叫做交換區(qū),進(jìn)程啟動后部分代碼進(jìn)入內(nèi)存,其余的留在外存交換區(qū),需要時候調(diào)入,和覆蓋不一樣的是覆蓋是用戶有意識的進(jìn)行,看到的內(nèi)存大小還是原來內(nèi)存大小,虛擬存儲技術(shù)里,內(nèi)存和交換空間之間的交換完全是系統(tǒng)動態(tài)完成,應(yīng)用程序不會發(fā)覺,進(jìn)程看到的是一個比實(shí)際內(nèi)存大得多的虛擬內(nèi)存。與交換技術(shù)不同的是交換是以進(jìn)程為單位,進(jìn)程映像大小受實(shí)際內(nèi)存的限制,虛擬存儲進(jìn)程的邏輯空間可以超越實(shí)際內(nèi)存容量的限制。
讀寫硬盤速度慢,訪問虛擬存儲器速度比訪問真正的內(nèi)存慢,以時間換空間,虛擬存儲器大小也受到地址寄存器位數(shù)限制。32位計(jì)算機(jī),可訪問內(nèi)存的上限是4GB。
虛擬存儲器的實(shí)現(xiàn)技術(shù)
有虛擬頁和虛擬段存儲
下面介紹虛擬頁存儲
VM系統(tǒng)將虛擬存儲器劃分為虛擬頁,固定大小處理數(shù)據(jù),類似的物理存儲器也分割為物理頁,大小一樣。
MMU利用頁表實(shí)現(xiàn)對虛擬內(nèi)存的管理,CPU里面的虛擬基址寄存器指向當(dāng)前的頁表,n位虛擬地址包含兩個部分,一個是p為的虛擬地址偏移,一個是n-p位的虛擬頁號,MMU利用虛擬頁號選擇適當(dāng)?shù)捻摫眄?xiàng),比如VPN0對應(yīng)PTE0,依次類推,如果沒有發(fā)生缺頁異常,就可以根據(jù)根據(jù)PTE里面的物理頁號和虛擬偏移量組合得到的物理地址。因?yàn)槲锢眄摰拇笮『吞摂M頁一樣,所以偏移量也正好相當(dāng)。
頁表命中過程
處理器生成一個虛擬的地址,傳送給MMUMMU生成PTE地址,并從高速緩存或者主存請求得到它高速緩存或者主存向MMU返回PTEMMU構(gòu)造物理地址,并把它發(fā)送給主存或者高速緩沖高速緩存或者主存把返回請求的數(shù)據(jù)返回給處理器
頁表不命中過程
處理器生成一個虛擬的地址,傳送給MMUMMU生成PTE地址,并從高速緩存或者主存請求得到它高速緩存或者主存向MMU返回PTE因?yàn)镻TE的有效位是0,觸發(fā)異常,進(jìn)行異常處理缺頁處理程序從主存確定一個要犧牲的頁,如果這個頁被修改了,就把它重寫回磁盤。缺頁處理程序頁面調(diào)入新的頁面,并更新PTE缺頁處理程序返回原來的進(jìn)程,再次執(zhí)行導(dǎo)致缺頁的命令,CPU將原來的虛擬頁再次發(fā)給MMU,因?yàn)檫@次已經(jīng)緩存了所以不會產(chǎn)生異常。進(jìn)程地址空間管理
地址空間映射
文件映射:進(jìn)程的靜態(tài)鏡像以可執(zhí)行文件的形式駐留在硬盤,在創(chuàng)建進(jìn)程的時候要構(gòu)造地址空間,方法是用可執(zhí)行文件的相應(yīng)的部分內(nèi)容構(gòu)建虛存區(qū),映像不是被調(diào)入虛存區(qū),而是在映像文件和虛存區(qū)之間建立地址映射這就是文件映射。建立映射的時候text區(qū)和data區(qū)被映射到磁盤上的可執(zhí)行文件,stack區(qū)無須映射,BSS和heap為匿名映射不和任何實(shí)際文件建立對應(yīng)的映射,BSS和heap的映射對象是一個抽象的“零頁“文件,映射到零頁文件的區(qū)將全是0.上述圖非虛存區(qū)是不可用的,唯一的例外是棧,棧的空間會隨著程序執(zhí)行動態(tài)的增長,棧大小低于上限(通常是8M)是可以增長的,超出會棧溢出造成程序終止。
頁表映射:
頁表映像:文件映像只是將文件里面的映像映射到額虛存空間,進(jìn)入物理內(nèi)存的映像則是通過也表來映射的,建立了頁表映射的地址空間是進(jìn)程實(shí)際占用的可以直接訪問的部分,就是圖中提到的已經(jīng)分配的。內(nèi)核里有一個獨(dú)立的內(nèi)核頁表,用來映射內(nèi)核空間到物理存儲的低1G空間,進(jìn)程運(yùn)行在用戶空間的時候使用進(jìn)程頁表,陷入內(nèi)核使用內(nèi)核頁表。