堆栈与托管堆

这是雨痕的的文章，原文在这里。

关于 CLR 内存管理模式，各种书籍和网络文章各执一词，十分混乱。大多数时候也只是泛泛提到 "托管堆" 和 "堆栈" 而已，其实际过程非常复杂。鉴于没有一个统一的说法，我也不能保证本文的准确性。

当 CLR 创建执行线程时，会依据 mainfest 中的 ".stackreserve 0x00100000" 指令为当前线程分配 1MB 的调用堆栈(Call Stack)内存。调用堆栈不同于托管堆(Managed Heap)，它不负责保存托管引用对象，只是用来维护方法调用次序，执行 IL 指令。而当我们使用 call、callvirt 等指令调用一个方法时，CLR 会在调用堆栈中分配一个称之为堆栈帧(Stack Frame) 的内存块用于执行目标方法代码。下图就是一个堆栈帧的内存示意图。

如图所示，每个堆栈帧中包含三块内存：参数表 (Argument Table) 用于存储方法参数，内部变量表 (Local Variable Table) 存储方法局部变量(.locals init)，而 计算堆栈 (Evaluation Stack) 则是 IL 代码执行区域。执行 IL 指令前，相关指令数据(Data)或其地址(Address)被压入计算堆栈，然后执行指令并弹出计算结果，执行下一个指令时继续重复这样的动作，直到方法调用结束。这三部分内存共同构成了一个方法的内存执行环境，需要注意的是其大小单位并不是 byte，而是 slot。每个 slot 可以存储一个托管单元(对象)，我们可以在方法体中使用 .maxstack 指令控制当前方法计算堆栈的大小。

.method private hidebysig static void Test1(int32& x) cil managed
{
  .maxstack 8
}

回到方法调用流程，当我们使用 call 等指令调用一个方法时，CLR 为目标方法在调用堆栈上新分配一个堆栈帧，并将方法参数从当前方法的计算堆栈弹出压入目标方法的参数表中，接着执行流程跳转到目标方法。当执行 .locals init 指令时，会在其内部变量表中创建相应的内部变量，然后使用目标方法的计算堆栈完成 IL 指令执行。当目标方法 IL 指令结束时，其返回值(如果有)会被弹出(pop)并压入(push)最初调用者的计算堆栈中，ret 指令将控制权返回给调用者，目标方法堆栈帧被抛弃，所占用内存被释放。

相关概念

栈(Stack)和堆(Heap)不同，它是一种线性结构，而堆是一种链式结构。栈按照先进后出 (LIFO - Last In First Out) 的原理工作，通过一个指针来维护内存占用。当我们释放一段内存时，只要将指针回复到某个起始位置即可，因此它的执行效率非常高。而托管堆(Managed Heap)是动态分配的内存区域，由 GC 进行管理，每个进程中的所有线程共享一个托管堆。

.NET CLR 和 Java VM 都是一种被称之为堆栈式虚拟机(Stack-Base VM)的技术，它的执行机制和我们所熟悉的 80x86 执行方式有所不同，它并没有寄存器的概念，他们的指令集(Instruction Set) 都是采用堆栈进行运算，首先将数据(Data)压入栈，然后进行操作。此处的堆栈就是我们上面所说的计算堆栈(Evaluation Stack)。