-
-
本文背景:
在编程中,很多Windows或C++的内存函数不知道有什么区别,更别谈有效使用;根本的原因是,没有清楚的理解操作系统的内存管理机制,本文企图通过简单的总结描述,结合实例来阐明这个机制。
本文目的:
对Windows内存管理机制了解清楚,有效的利用C++内存函数管理和使用内存。
本文内容:
本文一共有六节,由于篇幅较多,故按节发表。其他章节请看本人博客的Windows内存管理及C++内存分配实例(一)(二)(三)(四)和(六)。
1. 进程地址空间
2. 内存状态查询函数
3. 内存管理机制--虚拟内存 (VM)
4. 内存管理机制--内存映射文件 (Map)
5. 内存管理机制--堆 (Heap)
· 使用场合
堆是进程创建时在进程空间建立的区域,由堆管理器来管理。一个进程可以有很多个堆。进程有一个默认堆为1M,可以动态的扩大。
当程序需要管理很多小对象时,适合用堆;当需要的空间大于1M时,最好用虚拟内存来管理。
堆的优点是,有堆管理器来替它管理,不需管理具体的事情如页面边界
和分配粒度等问题,你可以从调用函数看的出来,比VirtualAlloc的参数少了
不少。
堆的缺点是分配和释放的速度比前几种机制要慢,所以最好不要超过
1M;不像虚拟内存那样随时提交和释放,因为它是由堆管理器决定的。如果
用堆分配1G的空间,需要1分种,而用虚拟内存,则感觉不到任何延迟。
· 默认堆
进程默认堆是供所有线程使用的,每当线程需要从堆中分配释放内存区时,系
统会同步堆,所以访问速度较慢。
它的默认大小是1M,同样的,你可以通过以下链接命令改变其大小:
#pragma comment(linker,"/HEAP:102400000,1024000")
第一个值是堆的保留空间,第二个值是堆开始时提交的物理内存大小。本文将堆改变为100M。
当你在程序中扩大了堆提交的物理内存时,进程运行时,物理内存将减少扩大的数量。但是,默认堆总是可以扩大的,不能限制它的最大值。
当你在程序中扩大了堆保留的空间时,进程运行时,可用进程空间将会减少扩大的数量。
每次你用New操作符分配内存时,进程空间会相应的减少,物理内存也会相应的减少。
一个重要的提示,本文经过测试,如果你需要的内存块大部分都超过512K,那么,建堆时给它的初始大小不应该很大,因为,如果你所需内存块大于512K的话,它不是从堆中分配的,也就是说不用堆中默认的空间,但其仍然属于堆管理。
默认堆的一个用处是系统函数需要利用它运行。比如,Windows2000的字符集是UNICODE的,如果调用ANSI版本的函数,系统需要利用堆来从ANSI到UNICODE的转换,调用UNICODE版本的函数。
· 自建堆
ü 使用场合
保护数据结构:
将不同的数据结构存在不同的堆中,可以防止不同的结构之间由于指针误操作而破坏了它们。
消除内存碎片:
将大小不同的结构保存在一个堆中,会导致碎片的产生,比如释放一个小结构时,大结构也不能利用它。
独享堆的快速:
如果用默认堆的话,线程之间是同步访问,速度慢;如果创建独享堆,则系统可以不需同步,比较快。
第二个快速体现在释放的快速,默认堆中,你只能释放某个内存块,而不能释放整个堆;而独享堆可以一次释放堆,也就是释放了所有的内存块。
ü 开始使用
建立堆:
使用以下API
HANDLE HeapCreate(DWORD 选项,SIZE_T 初始大小,SIZE_T 最大值)
“选项” 取值为0 ,不是以下任意一个
HEAP_NO_SERIALIZE,系统无需同步堆
HEAP_GENERATE_EXCEPTIONS,当创建失败或分配失败时产生异常。
“初始大小”是堆的大小,系统会规整到页面的整数倍,如0~4096的任何数都为4096;但是,进程空间至少要64K。
“最大值”是堆允许的最大值;为0则无限。
使用HEAP_NO_SERIALIZE需确定只有单线程访问这个堆,否则有可能破坏堆;或程序有同步代码来同步堆。
C++程序如下:
pHeap=(char*)GetProcessHeap();
printf("默认堆地址=%x/n",pHeap);
MEMORYSTATUS memStatus2;
GlobalMemoryStatus(&memStatus2);
HANDLE hHeap=HeapCreate(HEAP_NO_SERIALIZE|HEAP_GENERATE_EXCEPTIONS,1024*1024*50,0);
char* pHeap=(char*)hHeap;
printf("新建堆1地址=%x/n",pHeap);
if(hHeap==NULL)
{
cout<<"创建堆失败!"<<endl;
}
MEMORYSTATUS memStatus3;
GlobalMemoryStatus(&memStatus3);
cout<<"建立堆后:"<<endl;
cout<<"减少物理内存="<<memStatus2.dwAvailPhys-memStatus3.dwAvailPhys<<endl;
cout<<"减少可用页文件="<<memStatus2.dwAvailPageFile-memStatus3.dwAvailPageFile<<endl;
cout<<"减少可用进程空间="<<memStatus2.dwAvailVirtual-memStatus3.dwAvailVirtual<<endl<<endl;
HANDLE hHeap2=HeapCreate(HEAP_NO_SERIALIZE|HEAP_GENERATE_EXCEPTIONS,1024*1024*10,0);
char* pHeap2=(char*)hHeap2;
printf("新建堆2地址=%x/n",pHeap2);
结果如下:
当建立堆1时,它分配了50M的物理内存给堆使用;当建立堆2时,堆2的地址是0x04bc 0000=0x019c 0000+50*1024*1024.
分配内存:
使用以下API
PVOID HeapAlloc(HANDLE 堆句柄,DWORD 选项,SIZE_T 字节数)
“选项”可以是,
HEAP_ZERO_MEMORY,所有字节初始化为0
HEAP_NO_SERIALIZE,堆这个内存区独享
HEAP_GENERATE_EXCEPTIONS,产生异常。如果创建堆有了它就不用再设了。异常可能为:STATUS_NO_MEMOR(无足够内存)和STATUS_ACCESS_VIOLATION(堆被破坏,分配失败)。
C++程序如下:
GlobalMemoryStatus(&memStatus3);
PVOID pV=HeapAlloc(hHeap,
HEAP_ZERO_MEMORY|HEAP_NO_SERIALIZE|HEAP_GENERATE_EXCEPTIONS,1024*507);
if(pV==NULL)
{
cout<<"分配堆内存失败!"<<endl;
}
char * pC=(char*)pV;
printf("第一次分配地址=%x/n",pC);
MEMORYSTATUS memStatus4;
GlobalMemoryStatus(&memStatus4);
cout<<"第一次堆分配后:"<<endl;
cout<<"减少物理内存="<<memStatus3.dwAvailPhys-memStatus4.dwAvailPhys<<endl;
cout<<"减少可用页文件="<<memStatus3.dwAvailPageFile-memStatus4.dwAvailPageFile<<endl;
cout<<"减少可用进程空间="<<memStatus3.dwAvailVirtual-memStatus4.dwAvailVirtual<<endl<<endl;
PVOID pV2=HeapAlloc(hHeap,
HEAP_ZERO_MEMORY|HEAP_NO_SERIALIZE|HEAP_GENERATE_EXCEPTIONS,1024*508);
if(pV2==NULL)
{
cout<<"分配堆内存失败!"<<endl;
}
char * pC2=(char*)pV2;
printf("第二次分配地址=%x/n",pC2);
MEMORYSTATUS memStatus5;
GlobalMemoryStatus(&memStatus5);
cout<<"第二次堆分配后:"<<endl;
cout<<"减少物理内存="<<memStatus4.dwAvailPhys-memStatus5.dwAvailPhys<<endl;
cout<<"减少可用页文件="<<memStatus4.dwAvailPageFile-memStatus5.dwAvailPageFile<<endl;
cout<<"减少可用进程空间="<<memStatus4.dwAvailVirtual-memStatus5.dwAvailVirtual<<endl<<endl;
for(int i=0;i<200*1024;i++)
pC2[i]=9;
MEMORYSTATUS memStatus10;
GlobalMemoryStatus(&memStatus10);
cout<<"第二次堆使用一半后:"<<endl;
cout<<"减少物理内存="<<memStatus5.dwAvailPhys-memStatus10.dwAvailPhys<<endl;
cout<<"减少可用页文件="<<memStatus5.dwAvailPageFile-memStatus10.dwAvailPageFile<<endl;
cout<<"减少可用进程空间="
<<memStatus5.dwAvailVirtual-memStatus10.dwAvailVirtual<<endl<<endl;
结果如下:
可以看出,第一次分配507K的地址为0x04ad d650<0x04bc 0000,它是在堆中分配的;第二次分配508K的地址为0x055c 0020>0x04bc 0000,它是在堆外分配的;无论在多大的堆中,只要分配内存块大于507K时,都会在堆外分配,但是,它像在堆中一样,存在堆的链接表中,受堆管理。分配时,系统使用的是虚拟页文件;只有在真正使用时,才会分配物理内存。
至于为什么分配大于507K会在堆外分配而不直接使用堆中的内存,目前仍然不清楚。
改变大小:
PVOID HeapReAlloc(HANDLE 堆句柄,DWORD 选项,PVOID 旧内存块地址,SIZE_T 新内存块大小)
“选项”除了以上三个外,还有HEAP_REALLOC_IN_PLACE_ONLY,指定不能移动原有内存块的地址。
C++程序如下:
GlobalMemoryStatus(&memStatus4);
PVOID pV2New=HeapReAlloc(hHeap,0,pV2,1024*1024*2);
if(pV2New!=NULL)
{
char * pC2New=(char*)pV2New;
printf("改变分配地址=%x/n",pC2New);
cout<<pC2New[0]<<endl;
//cout<<pC2[0]<<endl;出现访问违规
SIZE_T lenNew=HeapSize(hHeap,0,pV2New);
cout<<"改变后大小="<<lenNew<<endl;
}
GlobalMemoryStatus(&memStatus5);
cout<<"改变分配后:"<<endl;
cout<<"减少物理内存="<<memStatus4.dwAvailPhys-memStatus5.dwAvailPhys<<endl;
cout<<"减少可用页文件="<<memStatus4.dwAvailPageFile-memStatus5.dwAvailPageFile<<endl;
cout<<"减少可用进程空间="
<<memStatus4.dwAvailVirtual-memStatus5.dwAvailVirtual<<endl<<endl;
结果如下:
可以看出,新内存块紧接着原来内存块结束的地方开始创建,大小为2M;原来的内存块的内容被销毁和释放,所以新内存块只减少了增加的内存量。一个缺点就是,新内存块居然不保留原来内存的内容!另外,如果采用HEAP_REALLOC_IN_PLACE_ONLY的话,出现Not Enough Quote异常。也就是说,当前内存的状况是,必须移动才可以扩大此内存块。
查询内存:
可以查询堆中一个内存块的大小。