.Net CLR R2R编译的原理简析

前言
躺平了好一段时间了,都懒得动了。本文均为个人理解所述,如有疏漏,请指正。

楔子
金庸武侠天龙八部里面,少林寺至高无上的镇寺之宝,武林人士梦寐以求的内功秘笈易筋经被阿朱偷了,但是少林寺也没有大张旗鼓的派出高手去寻找,为啥?
这种少林寺至高无上的内功秘笈,一般的江湖人士根本看不懂。除非内功深厚的高手。
来看看.Net里面看不懂的内功秘笈R2R原理。

概念:
R2R编译实质上就是把方法运行的结果存储在二进制的动态链接库里面,在调用这个方法的时候,直接从动态链接库里面获取到方法的结果。而不需要经过RyuJit繁琐的编译,提升程序的性能。是一种AOT的预编译形式。

编译
dotnet publish -c Release -r win-x64 -p:PublishReadyToRun=true

整体过程:
当CLI命令里面标记了PublishReadyToRun,Rosyln重新编译生成的动态链接里面会生成Native Header,里面保存了当前模块的方法的运行结果。此后在CLR加载它的时候,CLR会查找动态链接库里的Native Header是否存在,如果存在,则在调用方的时候,直接获取到此方法的结果。
由于过程过于复杂此处只是提纲:

CLI(PublishReadyToRun:true)->Rosyln(Native Header) -> CLR (Get NH)  

预编译存储结构

typedef struct _IMAGE_RUNTIME_FUNCTION_ENTRY {     DWORD BeginAddress;     DWORD EndAddress;     union {         DWORD UnwindInfoAddress;         DWORD UnwindData;     } DUMMYUNIONNAME; } _IMAGE_RUNTIME_FUNCTION_ENTRY, *_PIMAGE_RUNTIME_FUNCTION_ENTRY;  

构成方式:
动态链接库里面会分配一段内存空间,称之为Nativie Header。里面存储了包括如下内容:
1.编译器标识符(CompilerIdentifier)
2.导入方法段(ImportSections)
3.运行时方法(RuntimeFunctions)
4.方法入口点(MethodDefEntryPoints)
5.异常信息(ExceptionInfo)
6.调试信息(DebugInfo)
7.延迟方法加载调用快(DelayLoadMethodCallThunks)
等等总共高达18项信息,由于这些东西过于复杂此处只列出其中的前面几个。构成了Native Header。

加载R2R
CLR在进行一个模块加载的时候,它会初始化R2R,如果判断此模块有Native Header,那么把里面的18项信息加入到内存当中。代码如下(过于复杂,省略了大部分)

PTR_ReadyToRunInfo ReadyToRunInfo::Initialize(Module * pModule, AllocMemTracker *pamTracker) {     // 此处省略一百万行代码     return new (pMemory) ReadyToRunInfo(pModule, pModule->GetLoaderAllocator(), pLayout, pHeader, nativeImage, pamTracker); }  ReadyToRunInfo::ReadyToRunInfo(Module * pModule, LoaderAllocator* pLoaderAllocator, PEImageLayout * pLayout, READYTORUN_HEADER * pHeader, NativeImage *pNativeImage, AllocMemTracker *pamTracker)     : m_pModule(pModule),     m_pHeader(pHeader),     m_pNativeImage(pNativeImage),     m_readyToRunCodeDisabled(FALSE),     m_Crst(CrstReadyToRunEntryPointToMethodDescMap),     m_pPersistentInlineTrackingMap(NULL) {     // pHeader就是动态链接库里面的native header,它包含了Signature,MajorVersion,CoreHeader等。     STANDARD_VM_CONTRACT;      if (pNativeImage != NULL)     {         // 此处省略     }     else     {         m_pCompositeInfo = this;         m_component = ReadyToRunCoreInfo(pLayout, &pHeader->CoreHeader);         m_pComposite = &m_component;         m_isComponentAssembly = false;     }      //获取运行时R2R方法的内存虚拟地址和所占的长度,后面用获取到的索引得到R2R方法的入口地址     IMAGE_DATA_DIRECTORY * pRuntimeFunctionsDir = m_pComposite->FindSection(ReadyToRunSectionType::RuntimeFunctions);     if (pRuntimeFunctionsDir != NULL)     {         m_pRuntimeFunctions = (T_RUNTIME_FUNCTION *)m_pComposite->GetLayout()->GetDirectoryData(pRuntimeFunctionsDir);         m_nRuntimeFunctions = pRuntimeFunctionsDir->Size / sizeof(T_RUNTIME_FUNCTION);     }     else     {         m_nRuntimeFunctions = 0;     }      

调用过程:
当你在C#代码里面调用方法的时候,CLR检测当前方法所在的模块是否包含R2R信息,如果包含则获取到R2R信息,通过R2R信息,获取到Native Header里面的RuntimeFunctions和MethodDefEntryPoints。然后通过这两项计算出这个方法在RuntimeFunctions内存块里面的索引,通过这个索引计算出方法在RuntimeFunctions内存块的偏移值,通过偏移值获取属性BeginAddress,也就是方法在二进制动态链接库里面存储的结果。过程比较复杂,下面贴出部分代码。

PCODE MethodDesc::GetPrecompiledR2RCode(PrepareCodeConfig* pConfig) {     STANDARD_VM_CONTRACT;      PCODE pCode = NULL; #ifdef FEATURE_READYTORUN     Module * pModule = GetModule(); //获取被调用的方法所在模块     if (pModule->IsReadyToRun()) //检测此模块思否包含R2R信息     {      //如果包含,则获取到R2R信息,然后获取被调用方法的入口点         pCode = pModule->GetReadyToRunInfo()->GetEntryPoint(this, pConfig, TRUE /* fFixups */);     } }  //获取被调用方法入口点 PCODE ReadyToRunInfo::GetEntryPoint(MethodDesc * pMD, PrepareCodeConfig* pConfig, BOOL fFixups) {     mdToken token = pMD->GetMemberDef();      int rid = RidFromToken(token);//获取被调用方法的MethodDef索引     if (rid == 0)         goto done;      uint offset;     if (pMD->HasClassOrMethodInstantiation())     {     //此处省略一万字     }     else     {      // 这个m_methodDefEntryPoints就是Native Header里面的方法入口点项。通过函数入口点项获取到被调用方法所在运行时方法(RuntimeFunctions)的索引         if (!m_methodDefEntryPoints.TryGetAt(rid - 1, &offset))             goto done;     }      uint id;     offset = m_nativeReader.DecodeUnsigned(offset, &id);      if (id & 1)     {         if (id & 2)         {             uint val;             m_nativeReader.DecodeUnsigned(offset, &val);             offset -= val;         }          if (fFixups)         {             BOOL mayUsePrecompiledNDirectMethods = TRUE;             mayUsePrecompiledNDirectMethods = !pConfig->IsForMulticoreJit();              if (!m_pModule->FixupDelayList(dac_cast<TADDR>(GetImage()->GetBase()) + offset, mayUsePrecompiledNDirectMethods))             {                 pConfig->SetReadyToRunRejectedPrecompiledCode();                 goto done;             }         }          id >>= 2;     }     else     {         id >>= 1;     }      _ASSERTE(id < m_nRuntimeFunctions);  //上面经过了一系列的计算,把这个真正的索引id作为m_pRuntimeFunctions也就是native header项RuntimeFunctions的内存块的索引,然后获取到属性BeginAddress,也就是被调用方法的入口点。     pEntryPoint = dac_cast<TADDR>(GetImage()->GetBase()) + m_pRuntimeFunctions[id].BeginAddress;  这个地方是更新了下被调用方法的入口点     m_pCompositeInfo->SetMethodDescForEntryPointInNativeImage(pEntryPoint, pMD);     return pEntryPoint; } 

以上参考如下:
1.https://github.com/dotnet/runtime/blob/main/src/coreclr/gc/gchandletable.cpp
2.https://github.com/dotnet/runtime/blob/main/src/coreclr/gc/gc.cpp
3.https://github.com/dotnet/runtime/blob/main/src/coreclr/vm/readytoruninfo.cpp
4.https://github.com/dotnet/runtime/blob/main/src/coreclr/vm/prestub.cpp
5.https://github.com/dotnet/runtime/blob/main/src/coreclr/vm/nativeformatreader.h

结尾:
一直认为技术是可以无限制的免费分享和随意攫取,如果你喜欢可以随意转载修改。微信公众号:jianghupt QQ群:676817308。欢迎大家一起讨论。

商匡云商
Logo
注册新帐户
对比商品
  • 合计 (0)
对比
0
购物车