Linux内存管理之二:Linux在X86上的虚拟内存管理
本文档来自网络,并稍有改动。
前言
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. "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 系统分析与高级编程技术",周巍松等编著,机械工业出版社
Linux内存管理(二)的更多相关文章
-
Linux内存描述之内存节点node–Linux内存管理(二)
日期 内核版本 架构 作者 GitHub CSDN 2016-06-14 Linux-4.7 X86 & arm gatieme LinuxDeviceDrivers Linux内存管理 #1 ...
-
高端内存映射之kmap_atomic固定映射--Linux内存管理(二十一)
1 固定映射 1.1 数据结构 linux高端内存中的临时内存区为固定内存区的一部分, 对于固定内存在linux内核中有下面描述 x86 arm arm64 arch/x86/include/asm/ ...
-
高端内存映射之kmap持久内核映射--Linux内存管理(二十)
1 高端内存与内核映射 尽管vmalloc函数族可用于从高端内存域向内核映射页帧(这些在内核空间中通常是无法直接看到的), 但这并不是这些函数的实际用途. 重要的是强调以下事实 : 内核提供了其他函数 ...
-
启动期间的内存管理之bootmem_init初始化内存管理–Linux内存管理(十二)
1. 启动过程中的内存初始化 首先我们来看看start_kernel是如何初始化系统的, start_kerne定义在init/main.c?v=4.7, line 479 其代码很复杂, 我们只截取 ...
-
浅谈Linux内存管理机制
经常遇到一些刚接触Linux的新手会问内存占用怎么那么多?在Linux中经常发现空闲内存很少,似乎所有的内存都被系统占用了,表面感觉是内存不够用了,其实不然.这是Linux内存管理的一个优秀特性,在这 ...
-
linux内存管理
一.Linux 进程在内存中的数据结构 一个可执行程序在存储(没有调入内存)时分为代码段,数据段,未初始化数据段三部分: 1) 代码段:存放CPU执行的机器指令.通常代码区是共享的,即其它执行程 ...
-
Linux内存管理原理
本文以32位机器为准,串讲一些内存管理的知识点. 1. 虚拟地址.物理地址.逻辑地址.线性地址 虚拟地址又叫线性地址.linux没有采用分段机制,所以逻辑地址和虚拟地址(线性地址)(在用户态,内核态逻 ...
-
了解linux内存管理机制(转)
今天了解了下linux内存管理机制,在这里记录下,原文在这里http://ixdba.blog.51cto.com/2895551/541355 根据自己的理解画了张图: 下面是转载的内容: 一 物理 ...
-
Linux内存管理原理【转】
转自:http://www.cnblogs.com/zhaoyl/p/3695517.html 本文以32位机器为准,串讲一些内存管理的知识点. 1. 虚拟地址.物理地址.逻辑地址.线性地址 虚拟地址 ...
随机推荐
-
React Native知识9-ScrollView组件
一个包装了平台的ScrollView(滚动视图)的组件,同时还集成了触摸锁定的“响应者”系统. 记住ScrollView必须有一个确定的高度才能正常工作,因为它实际上所做的就是将一系列不确定高度的子组 ...
-
推荐一个iOS关于颜色的库-Wonderful
Wonderful 这个库主要是与UIColor息息相连的,其中一共包含四个子文件,UIColor+Wonderful,UIColor+Separate,SXColorGradientView,SXM ...
-
Spring 运用 pointcut 和 advisor 对特定的方法进行切面编程
上一个例子演示了对特定的bean中的所有的方法进行面向切面编程,包括了 before , after , after throwing, around 几种形式: 如果想对一个bean中的特定方法进行 ...
- openStack telemetry/ceilometry 云平台资源监控度量
-
The model used to open the store is incompatible with the one used to create the store
说什么数据不兼容,,,,这时删除模拟器的应用,,,重新启动测试.
-
分页复用代码【Page类、JSP显示页面】
前言 为了复用,记载一些以前写过的工具类.方法 page类 import java.util.List; /** * Created by ozc on 2017/3/1. */ public cla ...
-
CSS3 calc实现滚动条出现页面不跳动
什么是calc()? calc()从字面我们可以把他理解为一个函数function.其实calc是英文单词calculate(计算)的缩写,是css3的一个新增的功能,用来指定元素的长度.比如说,你可 ...
-
使用mysqlhelper可以连接mysql
已经验证OK通过. 参考地址: https://www.oschina.net/code/snippet_579976_48967 https://files.cnblogs.com/files/mo ...
-
2018-2019-2-20175225 实验二《Java开发环境的熟悉》实验报告
姓名:张元瑞 学号:20175225 班级:1752 实验课程:JAVA程序设计 实验名称:Java面向对象程序设计 实验时间:2019.4.16 指导老师:娄嘉鹏 实验内容 测试点一 - " ...
-
window.open打开新窗口 参数
1,基本描述 oNewWindow = window.open( sURL , sName , sFeatures, bReplace) window.open在打开一个窗口(其url为sURL)后, ...