美文网首页C/C++知识点程序员
编程:编译 50 字节代码耗费 4G 内存

编程:编译 50 字节代码耗费 4G 内存

作者: Python编程导师 | 来源:发表于2018-12-25 15:24 被阅读617次

Valve 工程师 Bruce Dawson 写了一个大小仅为50字节的程序,成功使 Visual Studio 的 C++ 编译器申请了 4GB 内存,并最终造成卡死状态。通过分析编译过程中内存的分配使用情况,Bruce 试图弄清造成这种状况的原因,并已将该问题提交给 VC++ 团队。

想用宏和内联汇编做些邪恶的事情(仅仅试着做一些怪异的测试,目的无关紧要),我决定写个程序让Vistual Studio的C++编译器分配4GB的内存,然后处于卡死状态。

写个50字节的代码就可以了。

一开始我可能没注意到我的机子并没有4GB的空闲内存,疯狂的数据分页,需要找到4GB的内存,使得我的笔记本在几分钟内都毫无反应。如果你的机子有超过4GB的空闲内存,使用ETW做内存分析倒是个很好的测试,看看你可以复现我的结果吗?

我简化了代码,只留下的最基本的精华部分,只是觉得这样很好玩:

void test()

{

    __asm { add eax

    __asm { add eax

}

这是编译器的输出:

error C2414: illegal number of operands

error C2414: illegal number of operands

error C2400: inline assembler syntax error in ‘opcode’; found ‘end of file’

fatal error C1060: compiler is out of heap space

有兴趣学习交流c/c++的小伙伴可以加群:941636044

我是在Windows 64位上运行的,编译器是32位的大型地址进程,所以堆空间耗尽意味着分配大约4GB的内存空间。我连续进行多次编译,可以看出每次4GB的内存使用量都在飙升。

我很好奇,到底是哪部分编译程序在分配这些内存。我使用cl.exe编译器,用etwheap.bat记录了所有的堆空间和VirtualAlloc 分配 ,并再次编译了源文件。事实证明我本应该使用wprui’s VAlloc Usage选项去获取追踪。仅仅只有几MB是从堆上分配的,大部分都是使用VirtualAlloc来分配的,如图所示:

有兴趣学习交流c/c++的小伙伴可以加群:941636044

接下来,为了完成调查,我查看了所有的调用栈。我们可以看到内联汇编程序的语法分析器正在使用它自己的VirtualHeap分配大量的Asm Tokens。VirtualHeap::Create 预留内存空间,VirtualHeap::HeapExtend提交内存。再深入研究下(没有显示)发现内存空间预留在512KB的内存块,被提交在32KB的内存块。

有兴趣学习交流c/c++的小伙伴可以加群:941636044

还有一些细节,不是很清楚,像为什么VirtualHeap::HeapExtend调用 VirtualHeap::Create,但是却没有源代码,难以得知。

所以我们不再探究了,我像往常一样将把这个问题提交给VC++团队。如果他们解决了这个问题,我并不惊讶,这也算不上是一个严重的问题。第一次遇到这个问题时,因为我的机子没有4GB的空闲内存,所以才注意到它。

编译器是32位进程也是件好事儿,要不然它还会继续消耗内存,将远远超过4GB。条件限制万岁!

这些测试都是在VC++ 2010 的调试版本上进行的,我没试过其他版本。

Linux 变体

还有一个很类似的问题(链接器在一个很简单的程序上消耗了大量内存,详情见 栈溢出)。

Windows 糟透了?

我预料到有人会说Windows太烂了,这就是为什么当遇到这个问题时,我的笔记本几分钟内都毫无反应。但是如果在Linux和OSX系统上分配(或写入)4GB的内存,并不会引发严重的系统延迟问题,但其实这说明不了什么。我的笔记本只有8GB的内存,大部分都在被使用,想获取到空闲的4GB内存的唯一可能的办法就是把大量的数据写到磁盘上。笔记本的硬盘相当慢,如果我是在工作机子上(32GB的内存,20GB可用)或者当笔记本上只有很少的程序在运行时(5GB空闲内存),做同样的测试,4GB内存的分配和释放不到5秒中就可以完成。

Reddit的讨论链接在这儿

额外补充

很奇怪,怎么会有一些博客文章比其他人的更受欢迎…

有人在复现这个问题时遇到了困难,这个bug只能确定在VS2010 SP1 出现,并且test函数放在源文件的最后。

这显然不是一个严重的bug—代码也有缺陷,编译器有给出了警告并且指出问题所在,也没出现什么大问题。但是它的确是一个失败的词法分析程序。尤其是,内存不足会阻止VC++去报告一些括号不匹配的问题—假如你在test函数之后再添加一个函数,词法分析完成后,额外的警告就会显示出来了。

编译错误代码时给出出错的信息提示是很重要的,这也是Clang的显式设计目标之一

伯乐在线补充:昨天我们发微博发布这条简讯后,@棉花糖啊棉花糖o_o成功在 Visual Studio SP1 中复现这个 Bug 了。见下图或查看原图

有兴趣学习交流c/c++的小伙伴可以加群:941636044

注:本文转载自:http://blog.jobbole.com/46106/#article-comment,仅供大家阅读,希望大家有所         收获!

相关文章

  • 编程:编译 50 字节代码耗费 4G 内存

    Valve 工程师 Bruce Dawson 写了一个大小仅为50字节的程序,成功使 Visual Studio ...

  • 01-JVM原理

    通过编译器将源代码编译称为字节码文件(包含程序运行各类信息的数据文件),字节码文件被类加载器加载到内存中,在内存中...

  • 四、JVM系列(类加载机制)

    前言 当编译器把Java源代码编译成字节码之后,虚拟机便可以把字节码读取进JVM内存,从而解析、运行等整个过程。最...

  • spring aop源码实现分析

    AOP就是面向切面编程,我们可以从几个层面来实现AOP。 在编译器修改源代码,在运行期字节码加载前修改字节码或字节...

  • 基础篇:JVM运行时内存布局

    1 JVM的内存区域布局 java代码的执行步骤有三点java源码文件->编译器->字节码文件字节码文件->JVM...

  • 海量数据处理之面试题

    给定a、b两个文件,各存放50亿个url,每个url各占64字节,内存限制是4G,让你找出a、b文件共同的url?...

  • 阿里算法面试题--两个大文件中找出共同记录

    1.题目 给定a、b两个文件,各存放50亿个url,每个url各占64字节,内存限制是4G,让你找出a、b文件共同...

  • Native APP、WEB APP与Hybrid APP的区别

    1)Native APP:Native Code编程,代码编译之后以2进制或者字节码的形式运行在OS上,直接调用O...

  • spark题09

    1.给定a、b两个文件,各存放50亿个url,每个url各占64字节,内存限制是4G,让你找出a、b文件共同的ur...

  • 常见的海量数据处理方法

    1. 给定a、b两个文件,各存放50亿个url,每个url各占64字节,内存限制是4G,让你找出a、b文件共同的u...

网友评论

    本文标题:编程:编译 50 字节代码耗费 4G 内存

    本文链接:https://www.haomeiwen.com/subject/wqrflqtx.html