CLR 分配本地内存池的位置

本文关键字：位置 内存 分配 CLR | 更新日期: 2023-09-27 18:37:04

ECMA-335，I.12.3.2.4声明如下：

每个方法状态的一部分是本地内存池。可以使用 localloc 指令从本地内存池显式分配内存。本地内存池中的所有内存在方法退出时回收，这是回收本地内存池内存的唯一方法（没有提供用于释放在此方法调用期间分配的本地内存的指令）。本地内存池用于分配在编译时未知类型或大小的对象，程序员不希望在托管堆中分配这些对象。由于在方法的生存期内无法收缩本地内存池，因此语言实现不能将本地内存池用于常规用途内存分配。

CLR 将此内存池分配到何处？是托管堆、线程堆栈等吗？

CLR 分配本地内存池的位置

这一切都是故意模糊的，因为它是 CLI 规范不想确定的强大实现细节。 它从 MSDN 关于 Opcodes.Localloc 的文章的裂缝中窥视：

如果没有足够的内存为请求提供服务，则会引发 StackOverflowException。

获得 SOE 的方法只有一种：它需要从堆栈中分配。

C#语言对它的分配位置不那么害羞，它使用stackalloc关键字。 示例程序：

class Program {
    static unsafe void Main(string[] args) {
        int* p = stackalloc int[42];
    }
}

生成此 IL：

.method private hidebysig static void  Main(string[] args) cil managed
{
  .entrypoint
  // Code size       9 (0x9)
  .maxstack  8
  IL_0000:  ldc.i4.s   42
  IL_0002:  conv.u
  IL_0003:  ldc.i4.4
  IL_0004:  mul.ovf.un
  IL_0005:  localloc                   // <=== Here
  IL_0007:  pop
  IL_0008:  ret
} // end of method Program::Main

它在运行时生成此机器代码：

02E42620  push        ebp  
02E42621  mov         ebp,esp  
02E42623  sub         esp,8  
02E42626  mov         dword ptr [ebp-4],esp  
02E42629  mov         dword ptr [ebp-8],6A029823h  
02E42630  mov         eax,esp  
02E42632  test        dword ptr [esp],esp  
02E42635  sub         eax,0A8h                       // <=== Here
02E4263A  mov         esp,eax  
02E4263C  mov         dword ptr [ebp-4],esp  
02E4263F  cmp         dword ptr [ebp-8],6A029823h  
02E42646  je          02E4264D  
02E42648  call        730CA5C0  
02E4264D  lea         esp,[ebp]  
02E42650  pop         ebp  
02E42651  ret

sub eax,0A8h指令从 ESP 寄存器（堆栈指针）中减去 0xa8 = 168 = 42x4 字节，mov esp,eax指令调整堆栈指针。 所以是的，这绝对来自堆栈。

相关文章：