手机网站如何建立,wordpress注册不了,油管代理网页,网站建设的发展前一篇我们看到了CoreCLR中对Object的定义#xff0c;这一篇我们将会看CoreCLR中对new的定义和处理new对于.Net程序员们来说同样是耳熟能详的关键词#xff0c;我们每天都会用到new#xff0c;然而new究竟是什么#xff1f; 因为篇幅限制和避免难度跳的太高#xff0c;这一… 前一篇我们看到了CoreCLR中对Object的定义这一篇我们将会看CoreCLR中对new的定义和处理new对于.Net程序员们来说同样是耳熟能详的关键词我们每天都会用到new然而new究竟是什么 因为篇幅限制和避免难度跳的太高这一篇将不会详细讲解以下的内容请耐心等待后续的文章 GC如何分配内存JIT如何解析ILJIT如何生成机器码 使用到的名词和缩写 以下的内容将会使用到一些名词和缩写如果碰到看不懂的可以到这里来对照 BasicBlock: 在同一个分支(Branch)的一群指令使用双向链表连接 GenTree: 语句树节点类型以GT开头 Importation: 从BasicBlock生成GenTree的过程 Lowering: 具体化语句树让语句树的各个节点可以明确的转换到机器码 SSA: Static Single Assignment R2R: Ready To Run Phases: JIT编译IL到机器码经过的各个阶段 JIT: Just In Time CEE: CLR Execute Engine ee: Execute Engine EH: Exception Handling Cor: CoreCLR comp: Compiler fg: FlowGraph imp: Import LDLOCA: Load Local Variable gt: Generate hlp: Help Ftn: Function MP: Multi Process CER: Constrained Execution Regions TLS: Thread Local Storage .Net中的三种new 请看图中的代码和生成的IL我们可以看到尽管同样是new却生成了三种不同的IL代码 对class的newIL指令是newobj对array的newIL指令是newarr对struct的new因为myStruct已经在本地变量里面了new的时候仅仅是调用ldloca加载然后调用构造函数 我们先来看newobj和newarr这两个指令在coreclr中是怎么定义的 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/opcode.def#L153 OPDEF(CEE_NEWOBJ, newobj, VarPop, PushRef, InlineMethod, IObjModel, 1, 0xFF, 0x73, CALL) OPDEF(CEE_NEWARR, newarr, PopI, PushRef, InlineType, IObjModel, 1, 0xFF, 0x8D, NEXT) 我们可以看到这两个指令的定义名称分别是CEE_NEWOBJ和CEE_NEWARR请记住这两个名称 第一种new(对class的new)生成了什么机器码 接下来我们将看看coreclr是如何把CEE_NEWOBJ指令变为机器码的 在讲解之前请先大概了解JIT的工作流程JIT编译按函数为单位当调用函数时会自动触发JIT编译 把函数的IL转换为BasicBlock(基本代码块)从BasicBlock(基本代码块)生成GenTree(语句树)对GenTree(语句树)进行Morph(变形)对GenTree(语句树)进行Lowering(具体化)根据GenTree(语句树)生成机器码 下面的代码虽然进过努力的提取但仍然比较长请耐心阅读 我们从JIT的入口函数开始看这个函数会被EE(运行引擎)调用 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/corjit.h#L350源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/ee_il_dll.cpp#L279注: 按微软文档中说CILJit是32位上的实现PreJit是64位上的实现但实际我找不到PreJit在哪里 CorJitResult CILJit::compileMethod( ICorJitInfo* compHnd, CORINFO_METHOD_INFO* methodInfo, unsigned flags, BYTE** entryAddress, ULONG* nativeSizeOfCode) { // 省略部分代码...... assert(methodInfo-ILCode); result jitNativeCode(methodHandle, methodInfo-scope, compHnd, methodInfo, methodCodePtr, nativeSizeOfCode, jitFlags, nullptr); // 省略部分代码...... return CorJitResult(result); } jitNativeCode是一个负责使用JIT编译单个函数的静态函数会在内部为编译的函数创建单独的Compiler实例 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/compiler.cpp#L6075 Compiler::compCompile是Compiler类提供的入口函数作用同样是编译函数 注意这个函数有7个参数等一会还会有一个同名但只有3个参数的函数 这个函数主要调用了Compiler::compCompileHelper函数 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/compiler.cpp#L4693 让我们继续看Compiler::compCompileHelper源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/compiler.cpp#L5294 现在到了3个参数的compCompile这个函数被微软认为是JIT最被感兴趣的入口函数 你可以额外阅读一下微软的JIT介绍文档 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/compiler.cpp#L4078 到这里你应该大概知道JIT在总体上做了什么事情 接下来我们来看Compiler::fgImport函数这个函数负责把BasicBlock(基本代码块)转换到GenTree(语句树)源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/flowgraph.cpp#L6663 void Compiler::fgImport() { // 省略部分代码...... impImport(fgFirstBB); // 省略部分代码......} 再看Compiler::impImport源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/importer.cpp#L9207 再看Compiler::impImportBlock源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/importer.cpp#L15321 在接下来的Compiler::impImportBlockCode函数里面我们终于可以看到对CEE_NEWOBJ指令的处理了 这个函数有5000多行推荐直接搜索case CEE_NEWOBJ来看以下的部分 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/importer.cpp#L9207 请记住上面代码中新建的两个GenTree(语句树)节点 节点GT_ALLOCOBJ用于分配内存节点GT_CALL用于调用构造函数 在上面的代码我们可以看到在生成GT_ALLOCOBJ类型的节点时还传入了一个newHelper参数这个newHelper正是分配内存函数的一个标识(索引值)在CoreCLR中有很多HelperFunc(帮助函数)供JIT生成的代码调用 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jitinterface.cpp#L5894 看CEEInfo::getNewHelperStatic源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jitinterface.cpp#L5941 到这里我们可以知道新建的两个节点带有以下的信息 GT_ALLOCOBJ节点分配内存的帮助函数标识默认是CORINFO_HELP_NEWFAST GT_CALL节点构造函数的句柄 在使用fgImport生成了GenTree(语句树)以后还不能直接用这个树来生成机器代码需要经过很多步的变换 其中的一步变换会把GT_ALLOCOBJ节点转换为GT_CALL节点因为分配内存实际上是一个对JIT专用的帮助函数的调用 这个变换在ObjectAllocator中实现ObjectAllocator是JIT编译过程中的一个阶段(Phase)源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/objectalloc.cpp#L27 MorphAllocObjNodes用于查找所有节点如果是GT_ALLOCOBJ则进行转换 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/objectalloc.cpp#L63 MorphAllocObjNodeIntoHelperCall的定义 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/objectalloc.cpp#L152 fgMorphIntoHelperCall的定义 这个函数转换GT_ALLOCOBJ节点到GT_CALL节点并且获取指向分配内存的函数的指针 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/morph.cpp#L61 到这里我们可以知道新建的两个节点变成了这样 GT_CALL节点 (调用帮助函数)分配内存的帮助函数的句柄 GT_CALL节点 (调用Managed函数)构造函数的句柄 接下来JIT还会对GenTree(语句树)做出大量处理这里省略说明接下来我们来看机器码的生成 函数CodeGen::genCallInstruction负责把GT_CALL节点转换为汇编 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/codegenxarch.cpp#L5934 我们来看下compGetHelperFtn究竟把CORINFO_HELP_NEWFAST转换到了什么函数compGetHelperFtn的定义 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/compiler.hpp#L1907 getHelperFtn的定义 这里我们可以看到获取了hlpDynamicFuncTable这个函数表中的函数 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jitinterface.cpp#L10369 hlpDynamicFuncTable函数表使用了jithelpers.h中的定义其中CORINFO_HELP_NEWFAST对应的函数如下 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/jithelpers.h#L78 JITHELPER(CORINFO_HELP_NEWFAST, JIT_New, CORINFO_HELP_SIG_REG_ONLY) 可以看到对应了JIT_New这个就是JIT生成的代码调用分配内存的函数了JIT_New的定义如下 需要注意的是函数表中的JIT_New在满足一定条件时会被替换为更快的实现但作用和JIT_New是一样的这一块将在后面提及 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jithelpers.cpp#L2908 总结:JIT从CEE_NEWOBJ生成了两段代码一段是调用JIT_New函数分配内存的代码一段是调用构造函数的代码 第二种new(对array的new)生成了什么机器码 我们来看一下CEE_NEWARR指令是怎样处理的因为前面已经花了很大篇幅介绍对CEE_NEWOBJ的处理这里仅列出不同的部分 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/importer.cpp#L13334 我们可以看到CEE_NEWARR直接生成了GT_CALL节点不像CEE_NEWOBJ需要进一步的转换getNewArrHelper返回了调用的帮助函数我们来看一下getNewArrHelper源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jitinterface.cpp#L6035 再看getNewArrHelperStatic我们可以看到一般情况下会返回CORINFO_HELP_NEWARR_1_OBJ源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jitinterface.cpp#L6060 CORINFO_HELP_NEWARR_1_OBJ对应的函数如下 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/jithelpers.h#L86 DYNAMICJITHELPER(CORINFO_HELP_NEWARR_1_OBJ, JIT_NewArr1,CORINFO_HELP_SIG_REG_ONLY) 可以看到对应了JIT_NewArr1这个包装给JIT调用的帮助函数 和JIT_New一样在满足一定条件时会被替换为更快的实现 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jithelpers.cpp#L3303 总结:JIT从CEE_NEWARR只生成了一段代码就是调用JIT_NewArr1函数的代码 第三种new(对struct的new)生成了什么机器码 这种new会在栈(stack)分配内存所以不需要调用任何分配内存的函数 在一开始的例子中myStruct在编译时就已经定义为一个本地变量对本地变量的需要的内存会在函数刚进入的时候一并分配 这里我们先来看本地变量所需要的内存是怎么计算的 先看Compiler::lvaAssignVirtualFrameOffsetsToLocals源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/lclvars.cpp#L4863 /***************************************************************************** * lvaAssignVirtualFrameOffsetsToLocals() : Assign virtual stack offsets to * locals, temps, and anything else. These will all be negative offsets * (stack grows down) relative to the virtual 0/return address */void Compiler::lvaAssignVirtualFrameOffsetsToLocals() { // 省略部分代码...... for (cur 0; alloc_order[cur]; cur) { // 省略部分代码...... for (lclNum 0, varDsc lvaTable; lclNum lvaCount; lclNum, varDsc) { // 省略部分代码...... // Reserve the stack space for this variable stkOffs lvaAllocLocalAndSetVirtualOffset(lclNum, lvaLclSize(lclNum), stkOffs); } } } 再看Compiler::lvaAllocLocalAndSetVirtualOffset源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/lclvars.cpp#L5537 int Compiler::lvaAllocLocalAndSetVirtualOffset(unsigned lclNum, unsigned size, int stkOffs) { // 省略部分代码...... /* Reserve space on the stack by bumping the frame size */ lvaIncrementFrameSize(size); stkOffs - size; lvaTable[lclNum].lvStkOffs stkOffs; // 省略部分代码...... return stkOffs; } 再看Compiler::lvaIncrementFrameSize我们可以看到最终会加到compLclFrameSize这个变量中这个变量就是当前函数总共需要在栈(Stack)分配的内存大小 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/lclvars.cpp#L3528 inline void Compiler::lvaIncrementFrameSize(unsigned size) { if (size MAX_FrameSize || compLclFrameSize size MAX_FrameSize) { BADCODE(Frame size overflow); } compLclFrameSize size; } 现在来看生成机器码的代码在栈分配内存的代码会在CodeGen::genFnProlog生成 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/codegencommon.cpp#L8140 void CodeGen::genFnProlog() { // 省略部分代码...... // ARM64和其他平台的调用时机不一样但是参数一样 genAllocLclFrame(compiler-compLclFrameSize, initReg, initRegZeroed, intRegState.rsCalleeRegArgMaskLiveIn); } 再看CodeGen::genAllocLclFrame这里就是分配栈内存的代码了简单的rsp(esp)减去了frameSize源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/codegencommon.cpp#L5846 /*----------------------------------------------------------------------------- * * Probe the stack and allocate the local stack frame: subtract from SP. * On ARM64, this only does the probing; allocating the frame is done when callee-saved registers are saved. */void CodeGen::genAllocLclFrame(unsigned frameSize, regNumber initReg, bool* pInitRegZeroed, regMaskTP maskArgRegsLiveIn) { // 省略部分代码...... // sub esp, frameSize 6 inst_RV_IV(INS_sub, REG_SPBASE, frameSize, EA_PTRSIZE); } 总结:JIT对struct的new会生成统一在栈分配内存的代码所以你在IL中看不到new struct的指令 调用构造函数的代码会从后面的call指令生成 第一种new(对class的new)做了什么 从上面的分析我们可以知道第一种new先调用JIT_New分配内存然后调用构造函数 在上面JIT_New的源代码中可以看到JIT_New内部调用了AllocateObject 先看AllocateObject函数 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/gchelpers.cpp#L931 再看Alloc函数总结: 第一种new做的事情主要有 调用JIT_New从GCHeap中申请一块内存设置类型信息(MethodTable)同步块索引默认为0不需要设置 调用构造函数 第二种new(对array的new)做了什么 第二种new只调用了JIT_NewArr1从上面JIT_NewArr1的源代码可以看到 如果元素的类型是基元类型(int, double等)则会调用FastAllocatePrimitiveArray否则会调用AllocateArrayEx 先看FastAllocatePrimitiveArray函数 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/gchelpers.cpp#L563 再看AllocateArrayEx函数这个函数比起上面的函数多出了对多维数组的处理JIT_NewArr1调用AllocateArrayEx时传了3个参数剩下2个参数是可选参数 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/gchelpers.cpp#L282 总结:第二种new做的事情主要有 调用JIT_NewArr1从GCHeap中申请一块内存设置类型信息(MethodTable)设置数组长度(m_NumComponents)不会调用构造函数所以所有内容都会为0所有成员都会为默认值 第三种new(对struct的new)做了什么 对struct的new不会从GCHeap申请内存也不会设置类型信息(MethodTable)所以可以直接进入总结 总结:第三种new做的事情主要有 在进入函数时统一从栈(Stack)分配内存分配的内存不会包含同步块索引(SyncBlock)和类型信息(MethodTable) 调用构造函数 验证第一种new(对class的new) 打开VS反汇编和内存窗口让我们来看看第一种new实际做了什么事情 第一种new的反汇编结果如下一共有两个call 00007FF919570B53 mov rcx,7FF9194161A0h // 设置第一个参数(指向MethodTable的指针)00007FF919570B5D call 00007FF97905E350 // 调用分配内存的函数默认是JIT_New00007FF919570B62 mov qword ptr [rbp38h],rax // 把地址设置到临时变量(rbp38)00007FF919570B66 mov r8,37BFC73068h 00007FF919570B70 mov r8,qword ptr [r8] // 设置第三个参数(hello)00007FF919570B73 mov rcx,qword ptr [rbp38h] // 设置第一个参数(this)00007FF919570B77 mov edx,12345678h // 设置第二个参数(0x12345678)00007FF919570B7C call 00007FF9195700B8 // 调用构造函数00007FF919570B81 mov rcx,qword ptr [rbp38h] 00007FF919570B85 mov qword ptr [rbp50h],rcx // 把临时变量复制到myClass变量中 第一个call是分配内存使用的帮助函数默认调用JIT_New但是这里实际调用的不是JIT_New而是JIT_TrialAllocSFastMP_InlineGetThread函数这是一个优化版本允许从TLS(Thread Local Storage)中快速分配内存 我们来看一下JIT_TrialAllocSFastMP_InlineGetThread函数的定义 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/amd64/JitHelpers_InlineGetThread.asm#L59 ; IN: rcx: MethodTable*; OUT: rax: new objectLEAF_ENTRY JIT_TrialAllocSFastMP_InlineGetThread, _TEXT mov edx, [rcx OFFSET__MethodTable__m_BaseSize] // 从MethodTable获取需要分配的内存大小放到edx ; m_BaseSize is guaranteed to be a multiple of 8. PATCHABLE_INLINE_GETTHREAD r11, JIT_TrialAllocSFastMP_InlineGetThread__PatchTLSOffset mov r10, [r11 OFFSET__Thread__m_alloc_context__alloc_limit] // 获取从TLS分配内存的限制地址放到r10 mov rax, [r11 OFFSET__Thread__m_alloc_context__alloc_ptr] // 获取从TLS分配内存的当前地址放到rax add rdx, rax // 地址 需要分配的内存大小放到rdx cmp rdx, r10 // 判断是否可以从TLS分配内存 ja AllocFailed // if (rdx r10) mov [r11 OFFSET__Thread__m_alloc_context__alloc_ptr], rdx // 设置新的当前地址 mov [rax], rcx // 给刚刚分配到的内存设置MethodTableifdef _DEBUG call DEBUG_TrialAllocSetAppDomain_NoScratchArea endif ; _DEBUG ret // 分配成功返回 AllocFailed: jmp JIT_NEW // 分配失败调用默认的JIT_New函数LEAF_END JIT_TrialAllocSFastMP_InlineGetThread, _TEXT 可以看到做的事情和JIT_New相同但不是从堆而是从TLS中分配内存 第二个call调用构造函数call的地址和下面的地址不一致可能是因为中间有一层包装目前还未解明包装中的处理 最后一个call调用的是JIT_WriteBarrier 验证第二种new(对array的new) 反汇编可以看到第二种new只有一个call 00007FF919570B93 mov rcx,7FF9195B4CFAh // 设置第一个参数(指向MethodTable的指针)00007FF919570B9D mov edx,378h // 设置第二个参数(数组的大小)00007FF919570BA2 call 00007FF97905E440 // 调用分配内存的函数默认是JIT_NewArr100007FF919570BA7 mov qword ptr [rbp30h],rax // 设置到临时变量(rbp30)00007FF919570BAB mov rcx,qword ptr [rbp30h] 00007FF919570BAF mov qword ptr [rbp48h],rcx // 把临时变量复制到myArray变量中 call实际调用的是JIT_NewArr1VC_MP_InlineGetThread这个函数 和JIT_TrialAllocSFastMP_InlineGetThread一样同样是从TLS(Thread Local Storage)中快速分配内存的函数 源代码: https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/amd64/JitHelpers_InlineGetThread.asm#L207具体代码这里就不再分析有兴趣的可以去阅读上面的源代码 验证第三种new(对struct的new) 对struct的new会在函数进入的时候从栈分配内存这里是减少rsp寄存器(栈顶)的值 00007FF919570B22 push rsi // 保存原rsi00007FF919570B23 sub rsp,60h // 从栈分配内存00007FF919570B27 mov rbp,rsp // 复制值到rbp00007FF919570B2A mov rsi,rcx // 保存原rcx到rsi00007FF919570B2D lea rdi,[rbp28h] // rdi rbp28有28个字节需要清零00007FF919570B31 mov ecx,0Eh // rcx 14 (计数)00007FF919570B36 xor eax,eax // eax 000007FF919570B38 rep stos dword ptr [rdi] // 把eax的值(short)设置到rdi直到rcx为0总共清空14*228个字节00007FF919570B3A mov rcx,rsi // 恢复原rcx 因为分配的内存已经在栈里面后面只需要直接调构造函数 00007FF919570BBD lea rcx,[rbp40h] // 第一个参数 (this)00007FF919570BC1 mov edx,55667788h // 第二个参数 (0x55667788)00007FF919570BC6 call 00007FF9195700A0 // 调用构造函数 构造函数的反编译 中间有一个call 00007FF97942E260调用的是JIT_DbgIsJustMyCode 在函数结束时会自动释放从栈分配的内存在最后会让rsp rbp 0x60这样rsp就恢复原值了 参考 http://stackoverflow.com/questions/1255803/does-the-net-clr-jit-compile-every-method-every-timehttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/gchelpers.hhttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/gchelpers.cpp#L986https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jithelpers.cpp#L2908https://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jitinterface.cpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/jitinterfacegen.cpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/vm/amd64/JitHelpers_InlineGetThread.asmhttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/gc/gcinterface.h#L230https://github.com/dotnet/coreclr/blob/release/1.1.0/src/gc/gc.hhttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/gc/gc.cpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/opcode.def#L153https://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/readytorunhelpers.h#L46https://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/readytorun.h#L236https://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/corinfo.h##L1147https://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/corjit.h#L350https://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/ee_il_dll.cpp#L279https://github.com/dotnet/coreclr/blob/release/1.1.0/src/inc/jithelpers.hhttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/compiler.hpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/compiler.hhttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/compiler.cpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/flowgraph.cpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/importer.cpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/gentree.cpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/objectalloc.cpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/morph.cpphttps://github.com/dotnet/coreclr/blob/release/1.1.0/src/jit/codegenxarch.cpp#L8404https://github.com/dotnet/coreclr/blob/release/1.1.0/Documentation/botr/ryujit-overview.mdhttps://github.com/dotnet/coreclr/blob/master/Documentation/building/viewing-jit-dumps.mdhttps://github.com/dotnet/coreclr/blob/master/Documentation/building/linux-instructions.mdhttps://en.wikipedia.org/wiki/Basic_blockhttps://en.wikipedia.org/wiki/Control_flow_graphhttps://en.wikipedia.org/wiki/Static_single_assignment_formhttps://msdn.microsoft.com/en-us/library/windows/hardware/ff561499(vvs.85).aspxhttps://msdn.microsoft.com/en-us/library/ms228973(vvs.110).aspxhttps://msdn.microsoft.com/en-us/library/system.runtime.constrainedexecution.criticalfinalizerobject(vvs.110).aspxhttps://msdn.microsoft.com/en-us/library/system.runtime.interopservices.safehandle(vvs.110).aspxhttps://msdn.microsoft.com/en-us/library/system.runtime.interopservices.criticalhandle(vvs.110).aspxhttps://dotnet.myget.org/feed/dotnet-core/package/nuget/runtime.win7-x64.Microsoft.NETCore.Runtime.CoreCLRhttp://www.codemachine.com/article_x64deepdive.html 这一篇相对前一篇多了很多c和汇编代码也在表面上涉及到了JIT你们可能会说看不懂 这是正常的我也不是完全看懂这篇提到的所有处理 欢迎大神们勘误也欢迎小白们提问 接下来我会重点分析GC分配内存的算法敬请期待 原文地址http://www.cnblogs.com/zkweb/p/6266117.html.NET社区新闻深度好文微信中搜索dotNET跨平台或扫描二维码关注
