.NET CRL程序載入原理大揭秘
.NET這個詞語對我們不陌生吧，而.Net平臺下CLR程序程序怎么載入呢？這個有有些人就步知道了，在這里給大家分析以下原理。與傳統(tǒng)的Win32可執(zhí)行程序中的本機(jī)代碼(Native Code)不同，微軟推出的.Net架構(gòu)中，可執(zhí)行程序的代碼是以類似Java Byte Code的 IL (Intermediate Language)偽代碼形式存在的。在.Net可執(zhí)行程序載入后，IL代碼由CLR (Common Language Runtime)從可執(zhí)行文件中取出， 交由JIT (Just-In-Time)編譯器，根據(jù)相應(yīng)的元數(shù)據(jù)(Metadata)，實時編譯成本機(jī)代碼后執(zhí)行。
因此，一個.NET CRL下的可執(zhí)行程序的啟動過程可以分為三個步驟。
首先，Windows的可執(zhí)行程序載入器(OS Loader)載入 PE (Portable Executable)結(jié)構(gòu)的可執(zhí)行文件映像(PE Image)，將執(zhí)行權(quán)傳遞給CLR的支持庫中的Unmanaged Code。
其次，啟動或使用現(xiàn)有的CLR引擎，建立新的應(yīng)用域(Application Domain)，將配件(Assembly)載入到此應(yīng)用域中。
最后，將執(zhí)行權(quán)從Unmanaged Code傳遞給Managed Code，執(zhí)行配件的代碼。
下面我將詳細(xì)說明以上步驟。
自從Win95發(fā)布以來，可執(zhí)行程序的PE結(jié)構(gòu)就沒有發(fā)生大的改動。此次.Net平臺發(fā)布，也只是利用了PE結(jié)構(gòu)中現(xiàn)有的預(yù)留空間，以保持PE結(jié)構(gòu)的穩(wěn)定，最大程度保持向后兼容。CLR程序在編譯后，將可執(zhí)行程序入口直接以一個間接跳轉(zhuǎn)指令 ，指向mscoree.lib中的_CorExeMain函數(shù)（DLL將入口指向_CorDllMain函數(shù)）。因此CLR可執(zhí)行程序在被OS Loader載入后，將_CorExeMain函數(shù)處理CLR引擎 ，啟動事宜。此函數(shù)將啟動或使用一個現(xiàn)有的CLR Host來加載IL代碼。常見的CLR Host有ASP.Net、IE、Shell、數(shù)據(jù)庫引擎等等，他們的作用是啟動一個CLR實例，管理在此CLR實例中運(yùn)行的CLR程序。我們接著來看一看一個CLR Host是如何實際運(yùn)作的。
CLR作為一個引擎，在同一臺計算機(jī)上是可以存在多個版本的，不同版本之間可以通過配置良好共存。在 ％windir％\Microsoft.NET\Framework （％windir％表示W(wǎng)indows系統(tǒng)目錄所在位置）目錄下我們可以看到以版本號為目錄名的多個CLR版本， 如％windir％\Microsoft.NET\Framework\v1.0.3705等等，也可以在注冊表的
- HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\.NETFramework\policy\v1.0
鍵下查看詳細(xì)的版本兼容性.Name是Build號,Value是兼容的Build號. 而每一個CLR版本又分為Server和Workstation兩類運(yùn)行庫, 我們等會講創(chuàng)建.NET CLR時會詳細(xì)談到. CLR Host在啟動CLR之前,必須通過一個startup shim的庫進(jìn)行操作, 實際上就是mscoree.dll,他提供了版本無關(guān)的操作函數(shù),以及啟動CLR所需 的支持,如CorBindToRuntimeEx函數(shù). CLR Host通過shim的支持庫,將CLR引擎載入到進(jìn)程中.具體函數(shù)如下
- STDAPI CorBindToRuntimeEx(LPCWSTR pwszVersion,
- LPCWSTR pwszBuildFlavor, DWORD startupFlags,
- REFCLSID rclsid, REFIID riid, LPVOID FAR *ppv);
參數(shù)pwszVersion指定要載入的CLR版本號,注意必須在前面帶一個小寫的"v", 如"v1.0.3705",可以通過查閱前面提到的注冊表鍵,獲取當(dāng)前系統(tǒng)安裝的不同CLR 版本情況,或指定固定的CLR版本.也可以遞NULL給這個參數(shù),系統(tǒng)將自動選擇最新版本的CLR載入. 參數(shù)pwszBuildFlavor則指定載入的CLR類型,"srv"和"wks". 前者適用于多處理器的計算機(jī),能夠利用多CPU提高并行性能.對單CPU系統(tǒng)而言,無論指定哪種類型都會載入"wks",傳遞NULL也是如此. 參數(shù)startupFlags是一個組合參數(shù).由多個標(biāo)志位組成. STARTUP_CONCURRENT_GC標(biāo)志指定是否使用并發(fā)的GC(Garbage Collection) 機(jī)制,使用并發(fā)GC能夠提高系統(tǒng)的用戶界面相應(yīng)效率,適合窗口界面使用較多的程序. 但并發(fā)GC會因為無謂的線程上下文(Thread Context)切換損失效率.
以下三個參數(shù)用于指定配件載入優(yōu)化策略.我們等會詳細(xì)討論.
- STARTUP_LOADER_OPTIMIZATION_SINGLE_DOMAIN = 0x1 << 1,
- STARTUP_LOADER_OPTIMIZATION_MULTI_DOMAIN = 0x2 << 1,
- STARTUP_LOADER_OPTIMIZATION_MULTI_DOMAIN_HOST = 0x3 << 1,
接著的三個參數(shù)用于獲取ICorRuntimeHost接口.
實際調(diào)用實例如下.
- CComPtr<ICorRuntimeHost> spHost;
- CHECK(CorBindToRuntimeEx(NULL, L"wks",
- STARTUP_LOADER_OPTIMIZATION_SINGLE_DOMAIN | STARTUP_CONCURRENT_GC,
- CLSID_CorRuntimeHost, IID_ICorRuntimeHost, (void **)&spHost));
這行代碼載入最高版本CLR的wks類型運(yùn)行庫,為單應(yīng)用域進(jìn)行優(yōu)化并使用并發(fā)GC機(jī)制. 前面提到了配件載入優(yōu)化策略,要理解這個概念,我們必須先了解應(yīng)用域的概念. 傳統(tǒng)Win程序中,資源的分配管理單位是進(jìn)程,操作系統(tǒng)以進(jìn)程邊界將應(yīng)用程序?qū)嵗綦x開, 單個進(jìn)程的崩潰不會對其他進(jìn)程產(chǎn)生直接影響,進(jìn)程也不能直接使用其他進(jìn)程的資源. 進(jìn)程很好,但使用進(jìn)程的代價太大,為此Win32引入了線程的概念.同一進(jìn)程中的線程能夠共享資源,線程管理和切換的代價也遠(yuǎn)遠(yuǎn)小于進(jìn)程.但因為在同一進(jìn)程中,線程的崩潰會直接影響到其他線程的運(yùn)行,也無法約束線程間數(shù)據(jù)的直接訪問等等. 為此,CLR Application Domain應(yīng)用域的概念.應(yīng)用域是介于進(jìn)程和線程之間的一種邏輯上的概念.他既有線程輕巧,管理切換快捷的優(yōu)點,也有進(jìn)程在穩(wěn)定性方面的優(yōu)點,單個應(yīng)用域的崩潰不會直接影響到同一進(jìn)程中的其他應(yīng)用域,應(yīng)用域也無法直接訪問同一進(jìn)程中的其他應(yīng)用域的資源,這方面和進(jìn)程完全相同. 而.NET CLR的管理就是完全面向應(yīng)用域一級.CLR不能卸載(Unload)某個類型或配件, 必須以應(yīng)用域為單位啟動/停止代碼,獲取/釋放資源.
CLR在執(zhí)行一個配件時,會新建一個應(yīng)用域,將此配件放入新的應(yīng)用域.如果多個應(yīng)用域同時使用到一個配件,就要涉及到前面提到的配件載入優(yōu)化策略了.最簡單的方法是使用
STARTUP_LOADER_OPTIMIZATION_SINGLE_DOMAIN標(biāo)志,每個應(yīng)用域擁有一份獨立的配件的鏡像,這樣速度最快,管理最方便,但占用內(nèi)存較多.相對的是所有應(yīng)用域共享一份配件的鏡像,(使用STARTUP_LOADER_OPTIMIZATION_MULTI_DOMAIN標(biāo)志) 這樣節(jié)約內(nèi)存,但在此配件中存在靜態(tài)變量等數(shù)據(jù)時,因為要保證每個應(yīng)用域有獨立的數(shù) 據(jù), 所以會一定程度上影響效率.折中的方案是使用 (使用STARTUP_LOADER_OPTIMIZATION_MULTI_DOMAIN_HOST標(biāo)志) 此時,只有那些有Strong Name的配件才會被多個應(yīng)用域共享.
這里又涉及到一個概念Strong Name.他是一個配件的身份證明,他由配件的 名字/版本/culture以及數(shù)字簽名等組成.在配件發(fā)布時用以區(qū)別不同版本. 也在安全/版本控制等方面起到重要作用,以后有機(jī)會會專門講解.暫且跳過. 獲取了ICorRuntimeHost接口的指針后,我們可以以此指針取得當(dāng)前/缺省應(yīng)用域,
并可枚舉CLR引擎實例中所有的應(yīng)用域.
【編輯推薦】
