内存管理三

VirtualAlloc 分配的内存是以 4K 为最小单位、连续的内存地址(但映射到真实的内存时它不一定是连续的), 前面说了, 它不适合分配小内存(譬如只有几个字节的变量); 局部的变量在 "栈" 中有程序自动管理, 那么那些全局的小变量怎么办呢? 这就要用到 "堆".
9 q% /+ Q1 L, }1 F2 x$ D5 D! A
+ n! q4 O% a  Q5 x0 r3 Y这样看来, VirtualAlloc 分配的内存既不是 "栈" 也不是 "堆"; VirtualAlloc 分配的内存地址是连续的, "堆" 中内容一般是不连续的, 所以管理 "堆" 比较麻烦, 它是通过双线链表的结构方式管理的; 程序可以拥有若干个 "堆", 每一个 "堆" 都会有一个句柄, 访问 "堆" 中的内容时先要找到这个 "堆", 然后再遍历链表, 这可能就是 "堆" 比 "栈" 慢的根本原因.
% T: Q5 B1 i+ [/ e9 r' K# F--------------------------------------------------------------------------------2 p9 D6 w; y( h$ L0 m7 O, p
0 g$ j% {! l+ M  K8 I/ c
在 "堆" 中分配内存(HeapAlloc)前先要建立 "堆"(HeapCreate), 就像程序有默认的 "栈" 一样, 每一个程序都有一个默认建立的 "堆"(可以用 GetProcessHeap 获取这个 "默认堆" 的句柄), 我们在 Delphi 中用到 "堆" 时, 使用的就是这个 "默认堆". 如果让程序更灵活地拥有多个 "堆", 必须要用到 API 函数.5 J0 g% Y9 L4 k0 Q

, T. P  l1 g& D( e建立 "堆" 时会同时提交真实内存的, 这在申请大内存时会很慢, 所以默认堆也只有 1M, 但 "默认堆" 并没有限制大小, 它会根据需要动态增长.* L- e: ]8 k( e1 K# F

! I+ M; g* v4 S; /; o) X' T有了 "默认堆" 还有必要申请其他的 "堆" 吗? 这只有在多线程中才能体现出来, 和 "栈" 不一样, 程序会给每个线程分配一个 "栈区"; 而 "默认堆" 是进程中的所有线程公用的, 当一个线程使用 "默认堆" 时, 另一个需要使用 "堆" 的线程就要先挂起等待, 也就是它们不能同时使用; 只有通过 API 函数重新建立的私有堆才是互不干涉、最有效率的.5 C" O3 z( E4 r8 u" R& t0 ?
--------------------------------------------------------------------------------; k0 W4 [' r# f1 w& r2 A1 b, A

+ o5 R& A! L. D4 d; d3 _先了解一下 "堆" 相关的函数.) B' j2 a* m( D% K% C) I; M7 g
--------------------------------------------------------------------------------

1. //建立堆; 注意建立时指定的尺寸也是按页大小(PageSize)对齐的, 譬如指定 15k, 实际会分配 16K.
2. HeapCreate(
3.   flOptions: DWORD;     {堆属性选项, 见下表}
4.   dwInitialSize: DWORD; {初始尺寸, 单位是字节; 该大小会被直接提交到实际的内存}
5.   dwMaximumSize: DWORD  {最大尺寸, 如果不限定最大值就设为 0}
6. ): THandle;             {返回堆句柄; 失败返回 0, 但如果参数 flOptions 允许了异常, 失败会返回异常标识}
8. //flOptions 参数可选值:
9. HEAP_NO_SERIALIZE        = 1; {非互斥, 此标记可允许多个线程同时访问此堆}
10. HEAP_GENERATE_EXCEPTIONS = 4; {当建立堆出错时, 此标记可激发一个异常并返回异常标识}
11. HEAP_ZERO_MEMORY         = 8; {把分配的内存初始化为 0}
13. //flOptions 参数指定有 HEAP_GENERATE_EXCEPTIONS 时, 可能返回的异常:
14. STATUS_ACCESS_VIOLATION = DWORD($C0000005); {参数错误}
15. STATUS_NO_MEMORY        = DWORD($C0000017); {内存不足}

复制代码

--------------------------------------------------------------------------------

1. //销毁堆
2. HeapDestroy(
3. hHeap: THandle {堆句柄}
4. ): BOOL;       {}

复制代码

--------------------------------------------------------------------------------

1. //从堆中申请内存
2. HeapAlloc(
3.   hHeap: THandle; {堆句柄}
4.   dwFlags: DWORD; {内存属性选项, 见下表}
5.   dwBytes: DWORD  {申请内存的大小, 单位是字节}
6. ): Pointer;       {返回内存指针; 失败返回 0 或异常, 情况和建立堆是一样}
8. //dwFlags 参数可选值:
9. HEAP_NO_SERIALIZE        = 1; {非互斥, 此标记可允许多个线程同时访问此堆}
10. HEAP_GENERATE_EXCEPTIONS = 4; {当建立堆出错时, 此标记可激发一个异常并返回异常标识}
11. HEAP_ZERO_MEMORY         = 8; {把分配的内存初始化为 0}
13. {能看出这和堆的属性选项是一样的; 如果 dwFlags 参数设为 0, 将使用堆的属性; 如果重新指定将覆盖堆的属性}
14. {另外: 如果堆是默认堆, 也就是堆句柄来自 GetProcessHeap, dwFlags 参数会被忽略}

复制代码

--------------------------------------------------------------------------------

1. //改变堆内存的大小, 也就是重新分配
2. HeapReAlloc(
3.   hHeap: THandle; {句柄}
4.   dwFlags: DWORD; {内存属性选项; 该参数比 HeapAlloc 多出一个选项, 见下表}
5.   lpMem: Pointer; {原内存指针}
6.   dwBytes: DWORD  {新的尺寸}
7. ): Pointer;       {同 HeapAlloc}
9. //dwFlags 参数可选值:
10. HEAP_NO_SERIALIZE          = 1;  {非互斥, 此标记可允许多个线程同时访问此堆}
11. HEAP_GENERATE_EXCEPTIONS   = 4;  {当建立堆出错时, 此标记可激发一个异常并返回异常标识}
12. HEAP_ZERO_MEMORY           = 8;  {把分配的内存初始化为 0}
13. HEAP_REALLOC_IN_PLACE_ONLY = 16; {此标记不允许改变原来的内存位置}

复制代码

--------------------------------------------------------------------------------

1. //获取堆中某块内存的大小
2. HeapSize(
3.   hHeap: THandle; {堆句柄}
4.   dwFlags: DWORD; {内存属性; 可选值是 0 或 HEAP_NO_SERIALIZE, 后者可确保同步访问}
5.   lpMem: Pointer  {内存指针}
6. ): DWORD;         {成功返回字节为单位的大小; 失败返回 $FFFFFFFF}

复制代码

--------------------------------------------------------------------------------

1. //释放堆中指定的内存块
2. HeapFree(
3.   hHeap: THandle; {堆句柄}
4.   dwFlags: DWORD; {内存属性; 可选值是 0 或 HEAP_NO_SERIALIZE}
5.   lpMem: Pointer  {内存指针}
6. ): BOOL;          {}

复制代码

--------------------------------------------------------------------------------

1. //验证堆
2. HeapValidate(
3.   hHeap: THandle; {}
4.   dwFlags: DWORD; {}
5.   lpMem: Pointer  {}
6. ): BOOL;          {}

复制代码

--------------------------------------------------------------------------------

1. //整理堆
2. HeapCompact(
3.   hHeap: THandle; {}
4.   dwFlags: DWORD  {}
5. ): UINT;          {}

复制代码

--------------------------------------------------------------------------------

1. //锁定堆
2. HeapLock(
3.   hHeap: THandle {}
4. ): BOOL;         {}

复制代码

--------------------------------------------------------------------------------

1. //锁定后的解锁
2. HeapUnlock(
3.   hHeap: THandle {}
4. ): BOOL;         {}

复制代码

--------------------------------------------------------------------------------

1. //列举堆中的内存块
2. HeapWalk(
3.   hHeap: THandle;                {}
4.   var lpEntry: TProcessHeapEntry {}
5. ): BOOL;                         {}