做了這么多年.NET相關(guān)的東西我對.NET Framework的情感其實(shí)挺復(fù)雜。說復(fù)雜不是因?yàn)樗y用而是因?yàn)樗昂瘛绷恕竦胶芏嘤昧撕脦啄甑娜似鋵?shí)只碰到了最表面那一層。前陣子有朋友問我.NET Framework到底是個(gè)什么服務(wù)器上裝個(gè)4.8是不是就完事了我當(dāng)時(shí)愣了一下因?yàn)檫@個(gè)問題看似基礎(chǔ)真想講清楚居然能講一下午。這篇文章我想換個(gè)角度不寫那種什么是.NET Framework、有哪些版本、怎么安裝的入門文檔而是把自己這么多年在生產(chǎn)環(huán)境里摸爬滾打的理解整理出來從CLR運(yùn)行時(shí)到底干了什么到GC內(nèi)存回收的坑再到程序集加載為什么會打架、線上故障怎么定位。適合兩類人看一類是寫過幾年.NET但一直停留在會用框架層面的開發(fā)者另一類是需要接手老舊Framework項(xiàng)目、被各種詭異問題折磨的維護(hù)者?？赐昴阒辽倌苊靼啄切﹫?bào)錯(cuò)、卡頓、內(nèi)存暴漲的背后到底是哪一層機(jī)制在起作用。1. 先搞清楚CLR和Framework誰是誰1.1 你寫的C#到底經(jīng)歷了什么從源碼到機(jī)器碼的完整鏈路很多朋友寫了好幾年C#卻說不清自己寫的代碼是怎么跑起來的。其實(shí)這條鏈路不復(fù)雜C#源碼先被編譯器比如csc.exe編譯成IL中間語言同時(shí)生成一堆元數(shù)據(jù)打包成dll或exe程序集程序運(yùn)行時(shí)CLR公共語言運(yùn)行時(shí)加載這個(gè)程序集把IL逐塊編譯成當(dāng)前CPU架構(gòu)能執(zhí)行的機(jī)器碼這個(gè)過程叫JIT即時(shí)編譯。關(guān)鍵點(diǎn)在于JIT是按需編譯的。你的程序啟動時(shí)CLR只編譯那些真正被調(diào)用的方法而不是把整個(gè)程序集一次性翻譯完。這就帶來一個(gè)很實(shí)際的影響——程序第一次調(diào)用某個(gè)功能會慢往往不是代碼寫得差而是JIT還沒來得及編譯。我見過有人為了微秒級性能優(yōu)化去改代碼結(jié)構(gòu)結(jié)果問題出在冷啟動階段的JIT開銷上方向完全偏了。還有一個(gè)容易被忽視的點(diǎn)IL本身不是某個(gè)CPU特有的。同一份IL在x86、x64、ARM上都能跑只要目標(biāo)機(jī)器裝了對應(yīng)架構(gòu)的CLR。這也是為什么.NET程序能做二進(jìn)制移植——你把編譯好的dll復(fù)制到另一臺裝有相同版本Framework的機(jī)器上一般就能直接跑。1.2 運(yùn)行時(shí)和基礎(chǔ)類庫的分工別再把兩者混為一談CLR和BCL基礎(chǔ)類庫經(jīng)常被混著說成Framework但它倆是完全不同的東西。CLR負(fù)責(zé)的是運(yùn)行時(shí)層面的活兒內(nèi)存管理、垃圾回收、異常處理、線程調(diào)度、類型安全檢查、安全邊界BCL則是你代碼里天天using的那一堆命名空間System.IO、System.Net、System.Collections、System.Xml這些都是現(xiàn)成的類型和方法封裝了常見的功能。類比一下CLR是操作系統(tǒng)BCL是預(yù)裝軟件。操作系統(tǒng)管著CPU、內(nèi)存、進(jìn)程這些底層資源預(yù)裝軟件給你提供現(xiàn)成的工具。你調(diào)用File.ReadAllText()實(shí)際上先觸發(fā)BCL的代碼再由BCL調(diào)用Windows文件系統(tǒng)API這中間的過程由CLR幫著管理內(nèi)存和資源釋放。為什么這個(gè)區(qū)分重要因?yàn)楹芏嘈阅軉栴}和部署問題本質(zhì)上出在CLR層卻被誤判成代碼寫得不對或者框架版本問題。比如你發(fā)現(xiàn)程序內(nèi)存不斷上漲第一反應(yīng)不該是查BCL里哪個(gè)API有泄漏絕大多數(shù)APIs本身沒有泄漏而是要先看GC的托管堆行為是否正常、是不是有大對象一直無法回收。這個(gè)思路轉(zhuǎn)過來排查效率會高很多。2. GC垃圾回收那些與內(nèi)存有關(guān)的現(xiàn)象和誤區(qū)2.1 分代回收、根對象與代際晉升的完整邏輯.NET里的GC不是簡單地定時(shí)掃一遍內(nèi)存而是一套相當(dāng)精巧的分代回收機(jī)制。它的理論基礎(chǔ)是一個(gè)統(tǒng)計(jì)規(guī)律絕大多數(shù)對象在創(chuàng)建后不久就不再被使用活的時(shí)間越長繼續(xù)存活的可能性越大。托管堆被邏輯分成三代第0代、第1代、第2代。新對象總是先進(jìn)第0代內(nèi)存緊張時(shí)GC先回收第0代活過一輪回收的對象晉升到第1代再活過一輪進(jìn)入第2代。這樣設(shè)計(jì)的目的是讓GC每次只掃描很小的一部分堆而不是整個(gè)托管堆從頭翻到尾。實(shí)際開發(fā)里有個(gè)現(xiàn)象說了很多遍還是有人踩你以為把對象設(shè)成null它就會被馬上回收。錯(cuò)了。設(shè)null只是去掉一個(gè)引用能不能回收取決于對象是否還有活的引用路徑。只要GC的根線程棧、靜態(tài)字段、寄存器等 static references還能順著引用鏈找到它這個(gè)對象就算沒變量引用了一樣不會被回收。動態(tài)引用在棧上、靜態(tài)引用在方法表里GC就是沿著這些根去檢查可達(dá)性的。大對象堆LOH就更特殊大于85000字節(jié)的對象直接進(jìn)大對象堆而且默認(rèn)情況下不會壓縮。這意味著大對象被回收后內(nèi)存空間中間會留下空洞新的大對象可能因?yàn)檎也坏竭B續(xù)空間而觸發(fā)頻繁的GC甚至造成內(nèi)存碎片化。2.2 我在生產(chǎn)環(huán)境里遇到的兩個(gè)內(nèi)存異常案例案例一事件訂閱導(dǎo)致對象無法回收。有個(gè)內(nèi)部系統(tǒng)跑幾天后內(nèi)存穩(wěn)定上漲查了半天代碼沒發(fā)現(xiàn)明顯的集合無限增長。后來轉(zhuǎn)儲內(nèi)存才發(fā)現(xiàn)某個(gè)業(yè)務(wù)對象被一個(gè)靜態(tài)事件反復(fù)訂閱事件源作為GC根一直引用著這些業(yè)務(wù)對象導(dǎo)致它們明明不再被使用卻永遠(yuǎn)無法晉升不了回收。解決辦法很簡單不再需要時(shí)顯式移除事件訂閱或者用弱事件模式。這件事給我的啟發(fā)是排查內(nèi)存問題第一件事不是猜內(nèi)存泄漏而是把轉(zhuǎn)儲文件拉出來看GC根里到底引用了什么。案例二大對象堆碎片化。某個(gè)圖像處理服務(wù)要高頻生成中等大小的字節(jié)數(shù)組大小剛好卡在85000字節(jié)邊緣上下浮動。運(yùn)行時(shí)間越長內(nèi)存碎片越多GC觸發(fā)越來越頻繁CPU飆高。定位后把設(shè)計(jì)改成復(fù)用固定大小緩沖區(qū)問題立刻緩解了。所以對已知的高頻大對象分配真的要想辦法復(fù)用別指望GC幫你收拾。注意托管內(nèi)存回收能自動幫你管理生命周期但還能被引用到的無用對象恰恰是GC管不了的這是絕大多數(shù)所謂托管內(nèi)存泄漏的真相。3. 程序集加載與依賴解析項(xiàng)目引用為什么會打架3.1 探測路徑、GAC與并排執(zhí)行的完整流程在.NET Framework里程序集分兩種私有程序集和共享程序集。私有程序集就是應(yīng)用程序目錄bin下的dll自己用自己帶共享程序集裝在GAC全局程序集緩存里可以被多個(gè)應(yīng)用同時(shí)使用。程序集加載時(shí)CLR有一套固定的探測順序首先檢查GAC如果GAC里能找到匹配版本號的強(qiáng)命名程序集直接用否則再去應(yīng)用程序基目錄、子目錄、私有目錄里找。這個(gè)順序反過來就容易踩坑——你以為把新版本dll復(fù)制到bin就生效了如果GAC里有同名舊版本CLR壓根不會去bin里找。GAC和私有目錄的版本策略差異引出并排執(zhí)行side-by-side的概念不同版本的同一個(gè)程序集可以共存誰引用哪個(gè)版本CLR給誰加載哪個(gè)版本互不干擾。理論上是這樣實(shí)際上經(jīng)常出問題因?yàn)槿颗渲梦募锏慕壎ㄖ囟ㄏ騜indingRedirect來協(xié)調(diào)一不小心就配錯(cuò)。3.2 一個(gè)由配置文件引發(fā)的綁定失敗排查過程某次我給一個(gè)老項(xiàng)目升級第三方庫把Json序列化庫從版本6升到版本11。編譯、部署都成功程序跑起來也沒報(bào)錯(cuò)但某個(gè)模塊一運(yùn)行就拋System.IO.FileLoadException提示無法加載文件或程序集...及其依賴項(xiàng)。找到的程序集清單定義與程序集引用不匹配。排查思路是這樣的先打開程序集綁定日志功能在注冊表里啟用FUSION日志看CLR到底在加載哪個(gè)版本、失敗原因是什么。日志顯示A模塊編譯時(shí)引用的是版本6而運(yùn)行目錄下只有版本11CLR默認(rèn)不會自動用高版本替代低版本所以要給配置文件加上綁定重定向把所有老版本請求統(tǒng)一指到版本11。加完后運(yùn)行問題解決了。但這個(gè)案例真正值得記住的是升級第三方庫時(shí)不光要看編譯有沒有通過還要檢查所有引用該庫的程序集版本請求。Visual Studio的自動生成綁定重定向功能往往能自動處理但老項(xiàng)目如果沒開這個(gè)選項(xiàng)升級后遲早要撞上這個(gè)坑。提示綁定重定向的核心是把一個(gè)區(qū)間版本的請求映射到一個(gè)具體版本寫法很簡單關(guān)鍵是版本號范圍要覆蓋所有調(diào)用方實(shí)際請求過的版本少一個(gè)都會在運(yùn)行時(shí)露餡。4. 版本選擇與部署兼容Framework真不是越高越好4.1 不同版本之間的實(shí)際差異別只看裝個(gè)4.8最穩(wěn)很多人理解.NET Framework的版本停留在版本號越大越新這種層面。其實(shí)這個(gè)理解太粗了這里面的歷史變化比想象中復(fù)雜。2.0和3.5是兩代重要的分水嶺。3.5其實(shí)是在2.0的CLR基礎(chǔ)上加了一堆類庫的補(bǔ)充WCF、WPF、LINQ這些東西是3.5時(shí)代加入的運(yùn)行時(shí)本身變化沒那么大。4.0則是一個(gè)關(guān)鍵轉(zhuǎn)折點(diǎn)從4.0開始CLR由新版本獨(dú)立承載和之前的2.0版本運(yùn)行時(shí)不再兼容。換句話說在.NET Framework世界里2.0/3.5時(shí)期其實(shí)是CLR 2.04.0到4.8都是CLR 4.0這一條線上的迭代以.NET Framework 4.x為主體的產(chǎn)品在運(yùn)行時(shí)層面上共享同一套現(xiàn)代實(shí)現(xiàn)。4.5、4.6、4.7、4.8對開發(fā)者來說最大變化集中在類庫擴(kuò)充、新API引入、對Windows新特性的適配上。但有個(gè)問題實(shí)際部署時(shí)很關(guān)鍵4.5及以后版本是對4.0的原地升級裝4.8會替代掉4.0~4.5的運(yùn)行時(shí)環(huán)境。所以你別想著我裝了4.8那我能不能還跑4.0的老程序——能跑但它實(shí)際跑在4.8的運(yùn)行時(shí)上這算兼容設(shè)計(jì)但嚴(yán)格說不是沙盒式并排多版本對立。另外始終存在一個(gè)版本分布的現(xiàn)實(shí)問題Windows 7時(shí)代的機(jī)器很多只預(yù)裝3.5甚至更老版本如果你的目標(biāo)用戶是這類環(huán)境把框架版本定太高等于把用戶擋在門外。4.2 目標(biāo)版本定錯(cuò)了后面會有多麻煩接手過一個(gè)老項(xiàng)目原目標(biāo)框架是.NET Framework 3.5。因?yàn)橄胗靡恍┊惒叫绿匦詧F(tuán)隊(duì)決定升級到4.6.2?？粗皇歉膫€(gè)下拉框?qū)嶋H上引發(fā)了一長串連鎖問題某些API在4.x里已標(biāo)記過時(shí)編譯警告變了一些老庫引用的依賴版本在4.6.2的運(yùn)行時(shí)上加載方式不同某個(gè)加密算法在新版本里默認(rèn)策略直接改了導(dǎo)致與其他系統(tǒng)的對接突然失敗。最難受的是行為層面的變化——編譯全過、運(yùn)行也能跑只是某些邊界場景的輸出不一樣了。這種情況下光靠編譯器和測試還不一定能發(fā)現(xiàn)問題必須系統(tǒng)性地對照變更文檔把涉及安全、網(wǎng)絡(luò)、并發(fā)的API逐一審視。所以我的建議是項(xiàng)目啟動時(shí)定目標(biāo)框架要慎重夠用就行升級框架版本之前一定要做個(gè)完整的兼容性評估把依賴庫的版本、所用API的棄用狀態(tài)、目標(biāo)部署環(huán)境都過一遍別讓升級變成重構(gòu)。5. 運(yùn)行時(shí)的性能調(diào)優(yōu)與故障排查真正值錢的能力5.1 用內(nèi)存轉(zhuǎn)儲和事件追蹤找出性能瓶頸Framework程序性能出問題通常集中在四個(gè)層面CPU持續(xù)占用高、GC頻繁停頓、內(nèi)存持續(xù)上漲、線程池饑餓。盲猜是沒有意義的我一貫的做法是先把證據(jù)抓出來。CPU問題我會先掛上事件追蹤工具抓一份進(jìn)程的跟蹤記錄看重哪幾個(gè)方法在熱點(diǎn)里。如果是高CPU是由GC引起的能看到GC的CPU時(shí)間占比異常高比如超過30%甚至50%這時(shí)候真正的瓶頸不是代碼邏輯而是內(nèi)存分配壓力太大——對象分配太快、大對象太多、回收次數(shù)太頻繁每一樣都直接推高CPU。內(nèi)存問題我一般用內(nèi)存轉(zhuǎn)儲分析工具。打開轉(zhuǎn)儲后重點(diǎn)看三件事托管堆上有多少對象、哪些類型的實(shí)例數(shù)量異常大、GC根里有沒有意外引用。曾經(jīng)排查過一個(gè)在線接口內(nèi)存上漲的問題轉(zhuǎn)儲后發(fā)現(xiàn)一個(gè)緩存字典里放了海量不再使用但未移除的項(xiàng)而根引用鏈?zhǔn)菑撵o態(tài)屬性發(fā)起的直接解釋了為什么GC一直回收不掉。這種問題光靠代碼審查很難抓但看轉(zhuǎn)儲就一目了然。這套排查流程里最核心的一個(gè)原則性能調(diào)優(yōu)不是靠感覺調(diào)整參數(shù)而是先明確瓶頸在哪一層——是代碼算法問題、是內(nèi)存分配問題、是線程調(diào)度問題還是外部依賴延遲問題。層沒找準(zhǔn)一切優(yōu)化都是碰運(yùn)氣。5.2 配置文件里那些容易被忽略的開關(guān)有些關(guān)鍵配置就像汽車的隱藏功能你不知道它的存在就會覺得車子很難開。對于.NET Framework服務(wù)端程序以下幾個(gè)開關(guān)值得認(rèn)真對待gcServer把它設(shè)為true開啟服務(wù)器垃圾回收模式。這個(gè)模式下GC為每個(gè)邏輯CPU分配獨(dú)立的托管堆和線程并發(fā)回收的效率會更高。對于真正的高吞吐服務(wù)開啟后GC停頓明顯減少。代價(jià)是內(nèi)存占用會變多所以內(nèi)存緊張的小機(jī)器反而別盲目開。gcConcurrent后臺GC開關(guān)默認(rèn)是啟用的。它允許回收在第0代和第1代發(fā)生時(shí)讓程序線程繼續(xù)執(zhí)行降低因?yàn)镚C產(chǎn)生的停頓感。如果你的程序?qū)ρ舆t特別敏感這個(gè)默認(rèn)值一般是對的別隨手關(guān)掉。另外還要注意線程池最低線程數(shù)的問題。在某些突發(fā)流量場景下線程池創(chuàng)建新線程的速度跟不上請求到達(dá)的速度會出現(xiàn)請求排長隊(duì)但CPU閑置的尷尬狀態(tài)。通過配置文件或者代碼設(shè)置ThreadPool.SetMinThreads讓線程池一開始就保留足夠的線程往往比在代碼層面加各種隊(duì)列機(jī)制來得更直接。這些開關(guān)本身不復(fù)雜真正復(fù)雜的是判斷該不該開。判斷依據(jù)還是上面說的先定位瓶頸再決定調(diào)什么。5.3 我踩過的一個(gè)真實(shí)線上故障一個(gè)開關(guān)引發(fā)的連鎖反應(yīng)有次為一個(gè)服務(wù)開啟gcServer時(shí)順手把gcConcurrent設(shè)成了false。第二天線上就收到告警請求延遲飆升部分請求超時(shí)。當(dāng)時(shí)第一反應(yīng)是代碼發(fā)布有問題回滾再發(fā)布延遲依舊。拉抓的GC日志看每次完整回收持續(xù)了數(shù)秒級別的時(shí)間期間所有線程都被掛起大量請求堆在管道里。罪魁禍?zhǔn)拙褪顷P(guān)掉了后臺GC——在Server GC模式下關(guān)掉后臺回收第2代回收變成了完全阻塞式大堆回收一來整個(gè)服務(wù)像被按住了暫停鍵。恢復(fù)配置后問題立刻消失。這個(gè)踩坑過程讓我深刻體會到一件事每個(gè)配置選項(xiàng)都是針對特定場景設(shè)計(jì)的不是默認(rèn)值就一定適合你但更不是非默認(rèn)值就代表更好。修改任何運(yùn)行時(shí)級別的配置之前先理解它的機(jī)制和代價(jià)最好先在一臺機(jī)器上壓測驗(yàn)證再上生產(chǎn)。6. 認(rèn)清Framework的邊界才知道什么時(shí)候該換聊了這么多機(jī)制和坑回到一個(gè)繞不開的話題既然.NET Framework有這么多歷史和版本復(fù)雜性為什么還要用它什么時(shí)候應(yīng)該考慮換到更現(xiàn)代的平臺上我的判斷標(biāo)準(zhǔn)很樸素看你的應(yīng)用形態(tài)和生態(tài)依賴。如果是一個(gè)穩(wěn)定的Windows服務(wù)器端應(yīng)用跑了好幾年沒大問題團(tuán)隊(duì)也習(xí)慣這套部署方式那沒必要硬遷。Framework在Windows環(huán)境下的成熟度尤其是對老設(shè)備的兼容、對大量已經(jīng)驗(yàn)證過的第三方庫的覆蓋依然是它的護(hù)城河。但如果是要做長期演進(jìn)的新項(xiàng)目尤其是需要跨平臺、容器化部署、云原生方向的應(yīng)用那從一開始就應(yīng)該把目光放到新版.NET體系上。Framework的優(yōu)勢在于穩(wěn)定、成熟、生態(tài)齊全劣勢也很明顯平臺綁定、版本割裂、開發(fā)體驗(yàn)不如新體系順暢。這兩者之間沒有絕對誰更優(yōu)只看你的約束條件是什么。我是這么做的老項(xiàng)目能跑就讓它穩(wěn)定地跑不折騰遷移新項(xiàng)目一律按新平臺規(guī)劃。把Framework當(dāng)成一個(gè)需要理解、尊重其運(yùn)行機(jī)制的老朋友而不是一個(gè)需要堅(jiān)持維護(hù)的歷史包袱。理解透了它照樣能給你提供穩(wěn)如老狗的生產(chǎn)力。寫到這里想起一個(gè)朋友說過的話你懂不懂.NET Framework不在于能不能寫出Hello World而在于程序出問題時(shí)你能不能說出底層在哪一層。這些年帶過不少團(tuán)隊(duì)成員發(fā)現(xiàn)凡是能把JIT、GC、程序集加載、CLR線程調(diào)度這些底層機(jī)制講清楚的人寫出來的代碼風(fēng)格都更克制、更保守——因?yàn)樗麄冎赖讓用坎讲僮鞫加写鷥r(jià)。這大概就是深入學(xué)習(xí)一套運(yùn)行時(shí)的額外紅利你會懂得敬畏每一行代碼背后發(fā)生的事不再盲目地堆對象、無腦地加線程、隨意地改開關(guān)。如果你正在維護(hù)一個(gè)老Framework項(xiàng)目我建議你花點(diǎn)時(shí)間把上面幾個(gè)機(jī)制逐個(gè)吃透先用工具把你的程序抓到內(nèi)存轉(zhuǎn)儲里看一遍再用事件追蹤看看GC占比最后把所有配置文件里的開關(guān)都過一遍。相信我當(dāng)你能回答CLR為什么會這樣加載我的dllGC憑什么決定回收哪些對象線上卡頓到底卡在哪一層這些問題時(shí)你再也不會被Framework的坑絆倒反而會覺得這是一套相當(dāng)優(yōu)雅、值得深挖的運(yùn)行系統(tǒng)。