前言
躺平了好一段时间了,都懒得动了。本文均为个人理解所述,如有疏漏,请指正。
楔子
金庸武侠天龙八部里面,少林寺至高无上的镇寺之宝,武林人士梦寐以求的内功秘笈易筋经被阿朱偷了,但是少林寺也没有大张旗鼓的派出高手去寻找,为啥?
这种少林寺至高无上的内功秘笈,一般的江湖人士根本看不懂。除非内功深厚的高手。
来看看.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。欢迎大家一起讨论。