前言
之前一直以为 64
位进程很难出现内存分配异常,因为 64
位进程的虚拟内存空间非常大(总共 64
位,目前只用了 48
位,也就是 256TB
,用户态可以使用一半,也就是 128TB
)。没想到,前一阵子居然遇到了 vs2022
( vs
终于有了 64
位的版本)分配内存失败的情况。分析到最后是因为分配 MEM_COMMIT
类型的内存失败导致的异常。一起来看看吧。
说明: 本文很早就写了草稿,一直没时间整理发布,Finally~
vs2022 卡死了
前一阵子,我在使用 vs2022
编辑代码的时候,不知道做了什么操作导致 vs2022
卡住了。过了一段时间后,procdump
自动运行起来了(因为我把 procdump
设置为了 JIT
调试器。当有进程崩溃的时候,procdump
会自动执行转储操作),等了好一会儿才退出。查看 d:\dumps\
目录下的转储文件,真是不看不知道,一看吓一跳,对应的转储文件居然有将近 20GB
。
看来,vs2022
应该是遇到了内存方面的异常。
查看调用栈
使用 windbg
打开对应的转储文件,执行 k
查看调用栈。如下图:
可以很明显的看到是在调用 new()
分配内存失败后抛出了异常。再多查看几个栈帧,可以发现是由 vector
的 _Emplace_reallocate()
函数触发的内存分配。vs2022
是 64
位的进程,虚拟内存空间可以说是大的离谱。居然内存分配会失败!有点意思,那到底分配了多大内存呢?
分配了多大内存?
查看栈帧 0a
和 0b
的反汇编代码,如下图:
从上图可知,new()
的参数 rcx
来自栈帧 0a
中的 rax
,rax
又来自 rcx+0x27
。rcx
来自栈帧 0b
中的 rax
,rax
是 vcpkg!std::_Get_size_of_n<16>()
的返回值,vcpkg!std::_Get_size_of_n<16>()
的参数 rcx
来自 rax
,而这个 rax
保存到栈上 rsp+0x78
的位置。可以先拿到 rsp+0x78
处的值,然后一步步推导出传递给 new()
的参数。
在开始之前,先了解一下 vcpkg!std::_Get_size_of_n<size_t>()
的逻辑。vcpkg!std::_Get_size_of_n<size_t>()
是一个模板函数,模板参数是元素类型的大小,这里是 0n16
。该函数的实现很简单,就是返回 _Count * _Ty_size
(当然还有一些界限检查,下面是精简后的代码)。
1 | template <size_t _Ty_size> |
可以通过查看栈帧 0b
rsp+0x78
位置的值得到要分配的元素个数,然后乘以 0n16
就可以得到最终传递给 new()
的值。
计算后得知,本次分配的空间大约为 923MB
。
注意: 虽然分配的内存空间不是超级大,但是本次尝试分配的元素个数是
0x039bc719
,通过.formats 0x039bc719
可以查看对应的十进制数是60540697
,也就是大约6
千万个对象!
说实话,分析到这里的时候,我是有点儿没底气的。vs2022
可是 64
位的进程啊!没想到只分配大概 923MB
就失败了!带着这个疑问,继续查看当前进程的地址空间情况。
查看空闲空间
可以使用 !address -summary
看一下内存使用情况,如下图:
可以发现最大的空闲空间大概有 119.96TB
这么大。
说明: 既可以通过上面的
Largest Region by Usage
查看最大的空闲空间,还可以通过!address -f:Free -c:".if(%3 > 0x80000000) {.echo %1 %2 %3}"
显示出大于0x80000000
的空闲段,如下图:顺便说一句,第一次执行的时候是真的慢!
既然有足够大的空闲空间,为什么分配内存还会失败呢?看到这里我更疑惑了,同时心里有了另外一个疑问—— 在 x64
进程中,用户态代码到底可以分配多大内存?
测试内存分配
于是我写了一段使用 malloc
分配内存的测试代码。如下:
1 | int main() |
经过几次调整后发现,大概分配 20GB
的时候就失败了。
当使用 malloc()
分配大块内存时,会调用 ntdll!NtAllocateVirtualMemory()
进行分配。使用 windbg
运行程序,当执行到 auto p = malloc(size);
这一行的时候,执行 bp ntdll!NtAllocateVirtualMemory
设置好断点。然后执行 g
让程序继续运行,很快就中断下来了。执行 gu
跳出当前函数,使用 r
命令查看寄存器,主要关注 rax
,因为它保存了函数的返回值。发现 rax
的值是 00000000c000012d
。由 ntdll!NtAllocateVirtualMemory()
的函数原型可知,返回值是 NTSTATUS
类型的。
1 | NTSTATUS NtAllocateVirtualMemory( |
查看官方文档可知,0xc000012d
的意义是 STATUS_COMMITMENT_LIMIT
。
根据 Description
列的描述可知,增大页面文件的大小可能会有帮助。看到这里的时候,我突然想起来,好像 malloc()
在调用ntdll!NtAllocateVirtualMemory()
的时候,传递的 AllocationType
应该是包含 MEM_COMMIT
标志的(因为可以直接对返回的地址空间进行读写操作了)。而分配这种类型的内存,windows
会检查是否有足够的内存(物理内存+页文件)支撑,如果剩余的物理内存+页文件(会被系统中的所有进程共同使用)的大小不能满足本次分配,那么会报错。
如果把 MEM_COMMIT
换成 MEM_RESERVE
,能分配多大的内存呢?
测试 MEM_RESERVE 最大分配尺寸
于是我又写了一段测试代码,直接调用 VirtualAlloc()
进行内存分配。测试代码如下:
1 |
|
运行结果如下:
当分配类型是 MEM_RESERVE
的时候,一次性最多可以分配大概 126 TB
的虚拟内存。基本符合之前的认知。
注意: 每次运行结果不完全一致,不过相差不多。
测试 MEM_COMMIT 最大分配尺寸
为了更好的展示不同情况下分配 MEM_COMMIT
的结果,我又添加如下测试代码:
1 | void TestMaxCommitMemory() |
我分别在不同系统内存占用的情况下运行了三次,三次运行结果如下:
当系统内存相对充裕的时候,运行结果如下:
当系统内存被消耗了一部分的时候,运行结果如下:
当使用 TestLimit64 -m 2048 -c 10
分配 20GB
的 MEM_COMMIT
内存后,运行结果如下:
画外音: 当我尝试模拟系统内存吃紧的时候,突然想起来
Testlimit
就是用来测试各种资源极限的。-m
模拟的是分配MEM_COMMIT
类型内存的,-r
模拟的是分配MEM_RESERVER
类型内存的。-c
是分配数量,如果不指定,则无限分配。
现在还剩下两个问题待证实:
- 明确
malloc()
调用ntdll!NtAllocateVirtualMemory()
传递的AllocationType
参数。 - 确定分配失败时,剩余物理内存+页文件的大小是否足够大。
明确 AllocationType
使用 k 3
显示 3
个调用栈帧。栈帧 01
会调用 ntdll!NtAllocateVirtualMemory()
,所以栈帧 01
会传递参数给ntdll!NtAllocateVirtualMemory()
。使用 ub 00007ffe30492762 L1a
查看相关调用代码,可以发现 AllocationType
保存在 rsp+0x20
的位置,Protect
保存在 rsp+0x28
的位置,前四个参数分别由 rcx, rdx, r8, r9
进行传递。
由此,可以确定之前的理解是正确的。 malloc()
调用 ntdll!NtAllocateVirtualMemory()
时,AllocationType
的值是 MEM_COMMIT
。
剩余的内存是否足够大
因为转储文件只包含当前进程的信息,没有系统级的转储文件,不好确认系统中的其它进程的内存使用情况。但是转储文件的大小已经达到了 18.3GB
,本次尝试分配的大小是 923MB
,加上 18.3GB
,大概是 19GB
。
通过 .time
命令,可以发现系统已经运行了接近 2
天,当前进程已经运行了大概 18.5
个小时。由系统开机时间可以推算,当时应该有不少进程在运行(我的系统上,chrome
和 firefox
基本是常开状态)。
而且在 vs2022
无响应的时候,整个系统确实有些卡顿。以上种种迹象表明,系统当时的内存吃紧。这时候出现内存分配异常,确实合情合理。
彩蛋
前几天,客户的程序也遇到了一个类似的问题。她机器上内存紧张的时候,执行程序中的一个功能需要分配 196MB
的内存,由于物理内存不足,失败了。因为我之前已经调查过类似的问题了,在调查客户的问题的时候,非常快速而且有信心。我想这就是写文章记录的价值之一吧!
总结
procdump
真是事后调试的好帮手。以管理员权限运行procdump -i -ma d:\dumps\
即可安装。-i
表示安装(如果要卸载,可以使用-u
参数)。-ma
表示执行完整转储,d:\dumps\
表示.dmp
文件保存的位置。
- 相较于
32
位进程的4GB
(2
的32
次方)虚拟内存空间而言,64
位进程的虚拟内存空间超级大,目前是256TB
(总共64
位,目前只用了48
位),内核态和用户态平均分,用户态可以使用一半,也就是128TB
。
- 如果使用
malloc()
或者new()
(内部会调用malloc()
)分配的内存大小超出堆阈值,那么内部会使用NtAllocateVirtualMemory()
分配内存,而且AllocationType
的值是MEM_COMMIT
。分配MEM_COMMIT
类型的内存是受物理内存+分页文件大小限制的。
参考资料
NTSTATUS Values