全面介绍Windows内存管理机制及C++内存分配实例教学文稿.doc





《全面介绍Windows内存管理机制及C++内存分配实例教学文稿.doc》由会员分享,可在线阅读,更多相关《全面介绍Windows内存管理机制及C++内存分配实例教学文稿.doc(130页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、Good is good, but better carries it.精益求精,善益求善。全面介绍Windows内存管理机制及C+内存分配实例-全面介绍Windows内存管理机制及C+内存分配实例(一):进程空间在编程中,很多Windows或C+的内存函数不知道有什么区别,更别谈有效使用;根本的原因是,没有清楚的理解操作系统的内存管理机制,本文企图通过简单的总结描述,结合实例来阐明这个机制。本文目的:对Windows内存管理机制了解清楚,有效的利用C+内存函数管理和使用内存。本文内容:本文一共有六节,由于篇幅较多,故按节发表。其他章节请看本人博客的Windows内存管理及C+内存分配实例(二
2、)(三)(四)(五)和(六)。1.进程地址空间1.1地址空间32|64位的系统|CPU操作系统运行在硬件CPU上,32位操作系统运行于32位CPU上,64位操作系统运行于64位CPU上;目前没有真正的64位CPU。32位CPU一次只能操作32位二进制数;位数多CPU设计越复杂,软件设计越简单。软件的进程运行于32位系统上,其寻址位也是32位,能表示的空间是232=4G,范围从0x000000000xFFFFFFFF。NULL指针分区范围:0x000000000x0000FFFF作用:保护内存非法访问例子:分配内存时,如果由于某种原因分配不成功,则返回空指针0x00000000;当用户继续使用比
3、如改写数据时,系统将因为发生访问违规而退出。那么,为什么需要那么大的区域呢,一个地址值不就行了吗?我在想,是不是因为不让8或16位的程序运行于32位的系统上呢?!因为NULL分区刚好范围是16的进程空间。独享用户分区范围:0x000100000x7FFEFFFF作用:进程只能读取或访问这个范围的虚拟地址;超越这个范围的行为都会产生违规退出。例子:程序的二进制代码中所用的地址大部分将在这个范围,所有exe和dll文件都加载到这个。每个进程将近2G的空间是独享的。注意:如果在boot.ini上设置了/3G,这个区域的范围从2G扩大为3G:0x000100000xBFFEFFFF。共享内核分区范围:
4、0x800000000xFFFFFFFF作用:这个空间是供操作系统内核代码、设备驱动程序、设备I/O高速缓存、非页面内存池的分配、进程目表和页表等。例子:这段地址各进程是可以共享的。注意:如果在boot.ini上设置了/3G,这个区域的范围从2G缩小为1G:0xC00000000xFFFFFFFF。通过以上分析,可以知道,如果系统有n个进程,它所需的虚拟空间是:2G*n+2G(内核只需2G的共享空间)。1.2地址映射区域区域指的是上述地址空间中的一片连续地址。区域的大小必须是粒度(64k)的整数倍,不是的话系统自动处理成整数倍。不同CPU粒度大小是不一样的,大部分都是64K。区域的状态有:空闲
5、、私有、映射、映像。在你的应用程序中,申请空间的过程称作保留(预订),可以用VirtualAlloc;删除空间的过程为释放,可以用VirtualFree。在程序里预订了地址空间以后,你还不可以存取数据,因为你还没有付钱,没有真实的RAM和它关联。这时候的区域状态是私有;默认情况下,区域状态是空闲;当exe或DLL文件被映射进了进程空间后,区域状态变成映像;当一般数据文件被映射进了进程空间后,区域状态变成映射。物理存储器Windows各系列支持的内存上限是不一样的,从2G到64G不等。理论上32位CPU,硬件上只能支持4G内存的寻址;能支持超过4G的内存只能靠其他技术来弥补。顺便提一下,Wind
6、ows个人版只能支持最大2G内存,Intel使用AddressWindowsExtension(AWE)技术使得寻址范围为236=64G。当然,也得操作系统配合。内存分配的最小单位是4K或8K,一般来说,根据CPU不同而不同,后面你可以看到可以通过系统函数得到区域粒度和页面粒度。页文件页文件是存在硬盘上的系统文件,它的大小可以在系统属性里面设置,它相当于物理内存,所以称为虚拟内存。事实上,它的大小是影响系统快慢的关键所在,如果物理内存不多的情况下。每页的大小和上述所说内存分配的最小单位是一样的,通常是4K或8K。访问属性物理页面的访问属性指的是对页面进行的具体操作:可读、可写、可执行。CPU一
7、般不支持可执行,它认为可读就是可执行。但是,操作系统提供这个可执行的权限。PAGE_NOACCESSPAGE_READONLYPAGE_READWRITEPAGE_EXECUTEPAGE_EXECUTE_READPAGE_EXECUTE_READWRITE这6个属性很好理解,第一个是拒绝所有操作,最后一个是接受收有操作;PAGE_WRITECOPYPAGE_EXECUTE_WRITECOPY这两个属性在运行同一个程序的多个实例时非常有用;它使得程序可以共享代码段和数据段。一般情况下,多个进程只读或执行页面,如果要写的话,将会Copy页面到新的页面。通过映射exe文件时设置这两个属性可以达到这个
8、目的。PAGE_NOCACHEPAGE_WRITECOMBINE这两个是开发设备驱动的时候需要的。PAGE_GUARD当往页面写入一个字节时,应用程序会收到堆栈溢出通知,在线程堆栈时有用。映射过程进程地址空间的地址是虚拟地址,也就是说,当取到指令时,需要把虚拟地址转化为物理地址才能够存取数据。这个工作通过页目和页表进行。从图中可以看出,页目大小为4K,其中每一项(32位)保存一个页表的物理地址;每个页表大小为4K,其中每一项(32位)保存一个物理页的物理地址,一共有1024个页表。利用这4K+4K*1K=4.4M的空间可以表示进程的1024*1024*(一页4K)=4G的地址空间。进程空间中的
9、32位地址如下:高10位用来找到1024个页目项中的一项,取出页表的物理地址后,利用中10位来得到页表项的值,根据这个值得到物理页的地址,由于一页有4K大小,利用低12位得到单元地址,这样就可以访问这个内存单元了。每个进程都有自己的一个页目和页表,那么,刚开始进程是怎么找到页目所在的物理页呢?答案是CPU的CR3寄存器会保存当前进程的页目物理地址。当进程被创建时,同时需要创建页目和页表,一共需要4.4M。在进程的空间中,0xC03000000xC0300FFF是用来保存页目的4k空间。0xC00000000xC03FFFFF是用来保存页表的4M空间。也就是说程序里面访问这些地址你是可以读取页目
10、和页表的具体值的(要工作在内核方式下)。有一点我不明白的是,页表的空间包含了页目的空间!至于说,页目和页表是保存在物理内存还是页文件中,我觉得,页目比较常用,应该在物理内存的概率大点,页表需要时再从页文件导入物理内存中。页目项和页表项是一个32位的值,当页目项第0位为1时,表明页表已经在物理内存中;当页表项第0位为1时,表明访问的数据已经在内存中。还有很多数据是否已经被改变,是否可读写等标志。另外,当页目项第7位为1时,表明这是一个4M的页面,这值已经是物理页地址,用虚拟地址的低22位作为偏移量。还有很多:数据是否已经被改变、是否可读写等标志。1.3一个例子编写生成软件程序exe软件描述如下:
11、Main()1:定义全局变量2:处理函数逻辑(Load所需DLL库,调用方法处理逻辑)3:定义并实现各种方法(方法含有局部变量)4:程序结束将程序编译,生成exe文件,附带所需的DLL库。exe文件格式exe文件有自己的格式,有若干节(section):.text用来放二进制代码(exe或dll);.data用来放各种全局数据。.text指令1:movea,b指令2:adda,b.data数据1:a=2数据2:b=1这些地址都是虚拟地址,也就是进程的地址空间。运行exe程序建立进程:运行这个exe程序时,系统会创建一个进程,建立进程控制块PCB,生成进程页目和页表,放到PCB中。数据对齐:数据
12、的内存地址除以数据的大小,余数为0时说明数据是对齐的。现在的编译器编译时就考虑数据对齐的问题,生成exe文件后,数据基本上是对齐的,CPU运行时,寄存器有标志标识CPU是否能够自动对齐数据,如果遇到不能对齐的情况,或者通过两次访问内存,或者通知操作系统处理。要注意的是,如果数据没有对齐,CPU处理的效率是很低的。文件映射:系统不会将整个exe文件和所有的DLL文件装载进物理内存中,同时它也不会装载进页面文件中。相反,它会建立文件映射,也就是利用exe本身当作页面文件。系统将部分二进制代码装载进内存,分配页面给它。假设分配了一个页面,物理地址为0x0232FFF1。其中装载的一个指令虚拟地址为0
13、x40001001=01000000000000000001000000000001。一个页面有4K,系统会将指令保存在低12位0x0001的地址处。同时,系统根据高10位0x0100找到页目项,如果没有关联的页表,系统会生成一个页表,分配一个物理页;然后,根据中10位0x0001找到表项,将物理地址0x0232FFF1存进去。执行过程:执行时,当系统拿到一个虚拟地址,就根据页目和页表找到数据的地址,根据页目上的值可以判断页表是在页文件中还是在内存中;如果在页文件中,会将页面导入内存,更新页目项。读取页表项的值后,可以判断数据页文件中还是在物理内存中;如果在页文件中,会导入到内存中,更新页表项
14、。最终,拿到了数据。在分配物理页的过程中,系统会根据内存分配的状况适当淘汰暂时不用的页面,如果页面内容改变了(通过页表项的标志位),保存到页文件中,系统会维护内存与页文件的对应关系。由于将exe文件当作内存映射文件,当需要改变数据,如更改全局变量的值时,利用Copy-On-Write的机制,重新生成页文件,将结果保存在这个页文件中,原来的页文件还是需要被其他进程实例使用的。在清楚了指令和数据是如何导入内存,如何找到它们的情况下,剩下的就是CPU不断的取指令、运行、保存数据的过程了,当进程结束后,系统会清空之前的各种结构、释放相关的物理内存和删除页文件。(二):内存状态查询2.内存状态查询函数2
15、.1系统信息Windows提供API可以查询系统内存的一些属性,有时候我们需要获取一些页面大小、分配粒度等属性,在分配内存时用的上。请看以下C+程序:SYSTEM_INFOsysInfo;GetSystemInfo(&sysInfo);cout机器属性:endl;cout页大小=sysInfo.dwPageSizeendl;cout分配粒度=sysInfo.dwAllocationGranularityendl;cout用户区最小值=sysInfo.lpMinimumApplicationAddressendl;cout用户区最大值=sysInfo.lpMaximumApplicationAd
16、dressendlendl;结果如下:可以看出,页面大小是4K,区域分配粒度是64K,进程用户区是0x000100000x7FFEFFFF。2.2内存状态内存状态可以获取总内存和可用内存,包括页文件和物理内存。请看以下C+程序:MEMORYSTATUSmemStatus;GlobalMemoryStatus(&memStatus);cout内存初始状态:endl;cout内存繁忙程度=memStatus.dwMemoryLoadendl;cout总物理内存=memStatus.dwTotalPhysendl;cout可用物理内存=memStatus.dwAvailPhysendl;cout总页
17、文件=memStatus.dwTotalPageFileendl;cout可用页文件=memStatus.dwAvailPageFileendl;cout总进程空间=memStatus.dwTotalVirtualendl;cout可用进程空间=memStatus.dwAvailVirtualendlendl;结果如下:可以看出,总物理内存是1G,可用物理内存是510兆,总页文件是2.5G,这个是包含物理内存的页文件;可用页文件是1.9G。这里还标识了总进程空间,还有可用的进程空间,程序只用了22兆的内存空间。这里说的都是大约数。内存繁忙程序是标识当前系统内存管理的繁忙程序,从0到100,其实
18、用处不大。在函数里面静态分配一些内存后,看看究竟发生什么charstat65536;MEMORYSTATUSmemStatus1;GlobalMemoryStatus(&memStatus1);cout静态分配空间:endl;printf(指针地址=%xn,stat);cout减少物理内存=memStatus.dwAvailPhys-memStatus1.dwAvailPhysendl;cout减少可用页文件=memStatus.dwAvailPageFile-memStatus1.dwAvailPageFileendl;cout减少可用进程空间=memStatus.dwAvailVirtua
19、l-memStatus1.dwAvailVirtualendlendl;结果如下:可以看出,物理内存、可用页文件和进程空间都没有损耗。因为局部变量是分配在线程堆栈里面的,每个线程系统都会建立一个默认1M大小的堆栈给线程函数调用使用。如果分配超过1M,就会出现堆栈溢出。在函数里面动态分配300M的内存后,看看究竟发生什么char*dynamic=newchar300*1024*1024;MEMORYSTATUSmemStatus2;GlobalMemoryStatus(&memStatus2);cout动态分配空间:endl;printf(指针地址=%xn,dynamic);cout减少物理内存
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 全面 介绍 Windows 内存 管理机制 C+ 分配 实例 教学 文稿

限制150内