|
前言
Linux支持很多硬件運行平台,常用的有:Intel X86,Alpha,Sparc等。對不能夠通用的一些功能,Linux必須依據硬件平台的特點來具體實現。本文的目的是簡要探討Linux在X86保護模式上如何實現虛擬內存管理功能。為簡化和方便敘述,本文做如下限定:X86處理器為80486和其的處理器,X86工作在保護模式,不採用物理內存擴展(使用32bits物理地址),不使用擴展頁(頁大小為4K)。凡是與限定模式無關的內容,本文都盡量略過。Linux的虛擬內存管理中與硬件平台無關的內容在本文中也被略過。本文所援引的Linux內核源代碼版本為Linux
2.2.5。
X86的分段和分頁機制
I. X86的分段機制和相應系統結構
X86的分段機制就是將X86的線性地址空間分成許多小空間--段(segment),利用這些段來存儲(記錄)代碼和數據,通過對段的保護來提供一種對數據或代碼的保護。根據每個段的作用和存儲內容的不同,X86將段分為三類進程段(代碼段、數據段和堆棧段)和兩類系統段:任務狀態段(TSS,Task-State
Segment)和LDT段(由GDT不是通過段描述符和段選擇符來訪問,所以X86沒有認為存在一個GDT段;同理,也不存在IDT段)。
在分段機制,X86使用了如下幾種主要數據結構:
﹒ 全局描述符表(GDT,Global Describtor Table):存放系統用的段描述符和各項任務共用的段描述符,可以是上述的任何一類段的段描述符,最大表長64KB;
﹒ 局部描述符表(LDT,Local Describtor Table):存放某個任務專用的各段的段描述符,只能是三類進程段的段描述符和調用門描述符,最大表長4GB;
﹒ 段描述符(Segment Describtor):64bits,用來描述一個段的基地址(該地址是線性地址),該段的類型,對該段操作的限制;
﹒ 門描述符(Gate Describtor):64bits,一種特殊的描述符,為處不同特權級的系統調用或程序的調用或訪問提供保護;分為四類:調用門描述符(Call
Gate Describtor)、中斷門描述符(Interrupt Gate Describtor)、陷阱門描述符(Trap Gate Describtor)、任務門描述符(Task
Gate Describtor);
﹒ 段選擇符(Segment Selector):16bits,用在GDT或LDT中索引相應的段描述符;
﹒ 中斷描述表(IDT,Interrupt Describer Table):存放門描述符,只能是中斷門描述符,陷阱門描述符和任務門描述符,最大表長64KB;
同時,X86提供了如下幾個用支持分段機制的寄存器:
﹒ 全局描述符表寄存器(GDTR,GDT Register):48bits,32bits為GDT的基地址(線性地址),16bits為GDT的表長;GDTR的初始值為:基地址0,表長0xFFFF;
﹒ 局部描述符表寄存器(LDTR,LDT Register):80bits,16bits為LDT段選擇符,64bits為該LDT段的段描述符;
﹒ 中斷描述符表寄存器(IDTR,IDT Register):48bits,32bits為IDT的基地址(線性地址),16bits為IDT的表長;IDTR的初始值為:基地址0,表長0xFFFF;
﹒ 任務寄存器(TR,Task Register):80bits,16bits為任務狀態段選擇符,64bits為該任務狀態段的段描述符;
﹒ 六個段寄存器(Segment Register):分為可見部分和隱藏部分,可見部分為段選擇符,隱藏部分為段描述符;六個段寄存器分別為CS、SS、DS、ES、FS、GS;關這些段寄存器的作用參見[1]中3.4.2
'Segment Register';
86工作在保護模式時,進程使用的48bits邏輯地址(Logical address)。邏輯地址的高16bits為段選擇符,低32bits是段內的偏移量。通過段選擇符在GDT或LDT中索引相應的段描述符(得到該段的基地址),再加上偏移量得到邏輯地址對應的線性地址(Linear
Address)。如果沒有採用分葉管理,線性地址是直接映射物理地址(Physical Address),是可以直接用線性地址訪問內存;否則,還要通過X86的分頁轉換,將線性地址轉換為物理地址。
以上是對X86分段相關內容的簡要描述,對各數據結構、寄存器的細節和邏輯地址轉換為線性地址的細節,請查閱 [1]。
II. X86的分頁機制和相應系統結構
32bits的線性地址空間可以直接映射到物理地址空間,也可以間接映射到許多小塊的物理空間(磁盤存儲空間)上。這種間接映射方式就是分頁機制。X86可用頁大小為4KB、2MB和4MB(2MB和4MB只能在Pentium和Pentium
Pro處理器中使用,本文中限定採用4KB頁)。
在分頁機制,X86使用了四種數據結構:
﹒ 頁目錄項(PDE,Page Directory Entry):32bits結構,高20bits為頁表基地址(物理地址),以4KB為遞增單位,低12bits為頁表屬性,具體換算參見面初始化部分;
﹒ 頁目錄(Page directory):存儲頁目錄項,位一頁中,總共可容納1024個頁目錄項;
﹒ 頁表項(PTE,Page Table Entry):32bits結構,高20bits為頁基地址(物理地址),低12bits為頁屬性;
﹒ 頁表(Page table):存儲頁表項,位一頁中,總共可容納1024個頁表項;
﹒ 頁(Page):4KB的連續地址空間;
為了實現分頁機制和提高地址轉換的效率,X86提供和使用了如下的硬件結構:
﹒ 頁標志位(PG,Page):該標志位為1,說明採用頁機制;實際就是控制寄存器CR0的第31bit;
﹒ 頁緩存/快表(TLBs,Translation Lookaside Buffers):存儲最近使用的PDE和PTE,以提高地址轉換的效率;
﹒ 頁目錄基地址寄存器(PDBR,Page Directory Base Register):用存儲頁目錄的基地址(物理地址),實際就是控制寄存器CR3;
為了實現將線性地址映射到物理地址,X86將32bits線性地址解釋為三部分:第31bit到第22bit為頁目錄中的偏移,用索引頁目錄項(得到對應頁表的基地址);第21bit到第12bit為頁表中的偏移,用索引頁表項(得到對應頁的基地址);第11bit到第0bit為頁中的偏移。這樣,通過兩級索引和頁中的偏移量,最能正確得到線性地址對應的物理地址。
關分頁機制的詳細描述和作用,請查閱參考文檔[1]。
LINUX的分段策略
Linux在X86上採用最低限度的分段機制,其目的是為了避開復雜的分段機制,提高Linux在其他不支持分段機制的硬件平台的可移植性,同時又充分利用X86的分段機制來隔離用戶代碼和內核代碼。因此,在Linux上,邏輯地址和線性地址具有相同的值。
由X86的GDT最大表長為64KB,每個段描述符為8B,所以GDT最多能夠容納8192個段描述符。每產生一個進程,Linux為該進程在GDT中創建兩個描述符:LDT段描述符和TSS描述符,除去Linux在GDT中保留的前12項,GDT實際最多能容納4090個進程。Linux的內核自身有獨立的代碼段和數據段,其對應的段描述符分別存儲在GDT中的第2項和第3項。每個進程也有獨立的代碼段和數據段,對應的段描述符存儲在它自己的LDT中。有關LinuxGDT表項和DLT表項分布情況參見附表1,附表2所示。
在Linux中,每個用戶進程都可以訪問4GB的線性地址空間。其中0x0~0xBFFFFFFF的3GB空間為用戶態空間,用戶態進程可以直接訪問。從0xC0000000~0x3FFFFFFF的1GB空間為內核態空間,存放內核訪問的代碼和數據,用戶態進程不能直接訪問。當用戶進程通過中斷或系統調用訪問內核態空間時,會觸發X86的特權級轉換(從特權級3切換到特權級0),即從用戶態切換到內核態。
LINUX的分頁策略
標準Linux的分頁是三級頁表結構,除了X86支持的頁目錄和頁,還有一級被稱為中間頁目錄。因此,線性地址在轉換為物理地址的過程中,線性地址就被解釋為四個部分(不是X86所認識的三個部分),增加了頁中間目錄中的索引。當運行在X86平台上時,Linux通過將中間頁目錄最大的頁目錄項個數定義為1,並提供一組相關的宏(這些宏將中間頁目錄用頁目錄來替換)將三級頁面結構分解過程完美的轉換為X86使用的二級頁面分解。這樣,無需改動內核中頁面解釋的主要代碼(這些代碼都是認為線性地址由四個部分組成)。關這些宏定義參見Linux源碼"/include/asm/pgtable.h","/include/asm/page.h"。
內核態虛擬空間從3GB到3GB+4MB的一段(對應進程頁目錄第768項指引的頁表),被映射到物理地址0x0~0x3FFFFF(4MB)。因此,進程處內核態時,只要通過訪問3GB到3GB+4MB就可訪問物理內存的低4MB空間。所有進程從3GB到4GB的線性空間都是一樣的,由同樣的頁目錄項,同樣的頁表,映射到相同的物理內存段。Linux以這種方式讓內核態進程共享代碼和數據。
Linux分段分頁初始化
無論Linux系統如何被引導,經過zImage(參見arch/i386/boot/bootsect.s)或經過LILO,最都會跳轉執行arch/i386/boot/setup.s(被裝載到SETUPSEG,物理地址
0x90200),setup.s從BIOS中獲取計算機系統的硬件參數(如硬盤參數),放到內存參數區(臨時寄放),同時做一些初步的狀態檢查,為進入保護模式做準備。關引導過程和setup.s的具體執行參見[2]。
保護模式下的內核初始化模塊從物理地址0x100000開始執行,該地址開始的代碼和數據結構都對應在arch/i386/kernel/head.s中,參見附表3。初始化模塊主要功能是對相關寄存器IDT,GDT,頁目錄及頁表等進行初始化。下面,忽略head.s執行流程的細節,概要闡述head.s主要的初始化功能。
1. 部分寄存器的初始化:將段寄存器DS、ES、GS和FS用__KERNEL_DS(0x18,include/asm-i386/segment.h)來初始化(通過前面對段寄存器的描述和段選擇符的介紹可知道,其作用是將定位到GDT中的第三項(內核數據段),並設置對該段的操作特限級為0);置位CR0的PG位,並根據CPU的型號選擇置位AM,
WP, NE 和 MP;用0x101000初始化CR3(頁目錄swapper_pg_dir的地址);置ESP高32bits為__KERNEL_DS(0x18),低32bits為init_user_stack+8192;LDTR初始化為0。
2. 有關IDT的初始化:這只是臨時初始化IDT,進一步的操作在start_kernel中進行;用表示IDT的變量(idt_table[
])在arch/i386/kenel/traps.c中定義,變量類型(desc_struct)定義在include/asm-i386/desc.h。IDT共有IDT_ENTRIES(256)個中斷描述符,屬性字均為0x8E00,每個中斷描述符都指向同一個中斷服務程序ignore_init。Ignore_int的功能僅僅是輸出消息int_msg("unknown
interrupt")。而IDTR的值為通過命令lidt idt_descr實現。通過在head.s中查看idt_descr的值可以計算得知,IDT的基地址為idt_table的地址,表長IDT_ENTRIES*8-1(0x7FF)。
3. 有關GDT的初始化:GDT共有GDT_ENTRIES個段描述符。GDT_ENTRIES的計算公式為:12+2*NR_TASKS。其中12表示前面提到的Linux在GDT中保留的12項,NR_TASKS(512)指系統設定容納的進程數,定義在include/linux/tasks.h。GDT在head.s直接分配存儲單元(標號為gdt_table)。初始化的GDT如附表1所示。GDTR的值通過命令lgdt
gdt_descr實現。通過在head.s中查看gdt_descr的值可以計算得知,GDT的基地址為gdt_table的地址,表長GDT_ENTRIES*8-1(0x205F)。
4. 頁目錄的初始化:頁目錄由變量swapper_pg_dir表示,共有1024個頁目錄項。其第0項和第768項均指向pg0(第0頁),初始化值為0x00102007(根據其高20bits的值0x102換算:0x102*4KB=0x102000,第0頁緊跟頁目錄,物理地址為0x102000),由此可知,Linux
4GB空間中的虛擬地址0x0和0xBFFFFFFF(3GB)均由pg0映射(物理地址0x0~0x3FFFFF(4MB));其他頁目錄項初始值為0x0;
5. pg0的初始化:第n項對應第n頁,屬性為0x007;即第n項的初始化值的高20bits值為n,底12bits值為0x007;由此可見pg0映射了物理空間的低4MB空間;
6. 初始化empty_zero_page:該頁的前2KB空間用來存儲setup.s保存在內存參數區的來自BIOS的系統硬件參數;2KB空間作為命令行緩沖區;
head.s進行完初始化調用start_kernel(init/main.c)繼續各方面的初始化,主要是調用各方面函數初始化內核的數據結構,下面對與X86系統相關的調用函數簡述其(與本文相關的)功能。
1. setup_arch() (arch/i386/kernel/setup.c);設置內核可用物理地址范圍(memory_start~memory_end);設置init_task.mm的范圍;調用request_region(kernel/resource.c)申請I/O空間,參見附表4。
2. paging_init() (arch/i386/mm/init.c);取消虛擬地址0x0對物理地址的低端4MB空間的映射;根據物理地址的實際大小初始化所有的頁表。
3. trap_init() (arch/i386/kernel/traps.c);在IDT中設置各種入口地址,如異常事件處理程序入口,系統調用入口,調用門等。其中,trap0~trap17為各種錯誤入口(溢出,0除,頁錯誤等,錯誤處理函數定義在arch/i386/kernel/entry.s);trap18~trap47保留;設置系統調用(INT
0x80)的入口為system_call(arch/i386/kernel/entry.s);在GDT中設置0號進程的TSS段描述符和LDT段描述符。
4. init_IRQ() (arch/i386/kernel/irq.c);初始化IDT 中0x20~0xff項。
5. time_init() (arch/i386/kernel/time.c);讀取實時時間,重新設置時鐘中斷irq0的中斷服務程序入口。
6. mem_init() (arch/i386/mm/init.c);初始化empty_zero_page;標記已被佔用的頁。
Linux進程和分段分頁
每當啟動一個新的進程,Linux都為其創建一個進程控制塊(task_struct,include/linux/sched.h)。task_struct中最重要的與存儲有關的成員為mm(mm_struct*
mm,include/linux/sched.h)和tss(thread_struct tss,include/asm-i386/processor.h)。在創建過程中,系統所涉及的(與分段分頁相關)功能包括:
1. 每個進程(根據需要)建立新頁目錄(mm成員pgd_t * pgd),並將其地址置入寄存器CR3中;相關代碼:
new_page_tables(mm/memory.c);//創建和初始化新頁目錄
SET_PAGE_DIR(include/asm-i386/pgtable.h);//設置頁目錄基地址寄存器
2. 在GDT中添加進程對應的TSS項和LDT項,其佔用的GDT項號分別記錄在tss成員tr(unsigned long tr)和ldt(unsigned
long ldt)中;相關代碼:
_LDT / _TSS(include/asm-i386/desc.h);//換算LDT / TSS對應的GDT項號
set_ldt_desc / set_tss_desc (arch/i386/kernel/traps.c);//在GDT中添加LDT
/ TSS描述符
3. 創建該進程的LDT(mm成員void * segments);相關代碼:
copy_segments(arch/i386/kernel/process.c);//創建進程的LDT並初始化LDT
Linux採用"按需調頁"的原則來分配內存頁面,從而避免頁表過多佔用存儲空間。創建一個進程時頁面分配的情況大致是這樣的:進程控制塊(1頁);內存態堆棧(1頁);頁目錄(1頁);頁表(需要的n頁)。在進程以執行的執行中,再根據需要逐漸分配更多的內存頁面。
附表
附表1 Linux的GDT表項分布
附表2 Linux的LDT表項分布

附表3,head.s在物理內存中的映射

附表4,設備申請I/O空間
參考資料
1. "Inter Architecture Software Developer's Manual Volume 3: System
Programming", http://developer.intel.com/design/pentiumii/manuals/243192.htm
2. "Linux操作系統及實驗教程",李善平 鄭扣根編,機械工業出版社
3. "Linux 內核源代碼分析",Scott Maxwell,馮銳 邢飛 劉隆國 陸麗娜譯,機械工業出版社
4. "Linux 系統分析與高級編程技術",周巍鬆等編,機械工業出版社
|