对 精致码农大佬 说的 Task.Run 会存在 内存泄漏 的思考
一:背景
1. 講故事
這段時(shí)間項(xiàng)目延期,加班比較厲害,博客就稍微停了停,不過還是得持續(xù)的技術(shù)輸出呀!園子里最近挺熱鬧的,精致碼農(nóng)大佬分享了三篇文章:
為什么要小心使用 Task.Run ? [https://www.cnblogs.com/willick/p/14078259.html]
小心使用 Task.Run 續(xù)篇 ? ? ?[https://www.cnblogs.com/willick/p/14100973.html]
小心使用 Task.Run 終篇解惑 ?[https://mp.weixin.qq.com/s/IMPgSsxTW0LGArfPP7rQXw]
核心代碼如下:
class?Program{static?void?Main(string[]?args){Test();Console.ReadLine();}static?void?Test(){var?myClass?=?new?MyClass();myClass.Foo();}}public?class?MyClass{private?int?_id?=?10;public?Task?Foo(){return?Task.Run(()?=>{Console.WriteLine($"Task.Run?is?executing?with?ID?{_id}");});}}大意是:Test() 方法執(zhí)行完之后, myClass 本該銷毀,結(jié)果發(fā)現(xiàn) Foo() 方法引用了 _id ,導(dǎo)致 GC 放棄了對(duì) myClass 的回收,從而導(dǎo)致內(nèi)存泄漏。
如果我的理解有誤,請(qǐng)大家?guī)兔χ刚?#xff0c;挺有意思,評(píng)論區(qū)也是熱鬧非凡,總體看下來(lái)發(fā)現(xiàn)還是有很多朋友對(duì) 閉包, 內(nèi)存泄漏,GC 等概念的認(rèn)知比較模糊,同樣作為技術(shù)博主,得要蹭點(diǎn)熱度????????????,這篇我準(zhǔn)備從這三個(gè)方面闡述下我的認(rèn)知,然后大家再回頭看一下 精致 大佬的文章。
二:對(duì)閉包的認(rèn)知
1. 什么是閉包
我最早接觸閉包的概念是在 js 中,關(guān)于閉包的概念,懂得人自然懂,不懂的人得要撓會(huì)頭,我準(zhǔn)備不從概念而從代碼入手,幫你梳理下,先看核心代碼:
public?class?MyClass{private?int?_id?=?10;public?Task?Foo(){return?Task.Run(()?=>{Console.WriteLine($"Task.Run?is?executing?with?ID?{_id}");});}}我發(fā)現(xiàn)很多人迷惑就迷惑在 Task.Run 委托中的 _id,因?yàn)樗玫氖?MyClass 中的 _id,貌似實(shí)現(xiàn)了時(shí)空穿越,其實(shí)仔細(xì)想想很簡(jiǎn)單哈, Task.Run 委托中要拿 MyClass._id,就必須把 MyClass 自身的 this 指針作為參數(shù) 傳遞給委托,既然有了這個(gè)this,啥值還拿不出來(lái)哈???遺憾的是 Run 不接受任何 object 參數(shù),所以偽代碼如下:
public?Task?Foo(){return?Task.Run((obj)?=>{var?self?=?obj?as?MyClass;Console.WriteLine($"Task.Run?is?executing?with?ID?{self._id}");},this);}上面的代碼我相信大家都看的很清楚了,有些朋友要說(shuō)了,空口無(wú)憑,憑什么你說(shuō)的就是對(duì)的???沒關(guān)系,我從 windbg 讓你眼見為實(shí)就好啦。。。
2. 使用 windbg 驗(yàn)證
想驗(yàn)證其實(shí)很簡(jiǎn)單,用 windbg 在這條語(yǔ)句 Console.WriteLine($"Task.Run is executing with ID {_id}"); ?上放一個(gè)斷點(diǎn),命中之后看一下這個(gè)方法的參數(shù)列表就好了。
這句代碼在我文件的第 35 行,使用命令 ?!bpmd Program.cs:35 設(shè)置斷點(diǎn)。
0:000>?!bpmd?Program.cs:35 0:000>?g JITTED?ConsoleApp4!ConsoleApp4.MyClass.<Foo>b__1_0() Setting?breakpoint:?bp?00007FF83B2C4480?[ConsoleApp4.MyClass.<Foo>b__1_0()] Breakpoint?0?hit 00007ff8`3b2c4480?55??????????????push????rbp上面的 <Foo>b__1_0() 方法就是所謂的委托方法,接下來(lái)可以用 !clrstack -p 查看這個(gè)方法的參數(shù)列表。
0:009>?!clrstack?-p OS?Thread?Id:?0x964c?(9)Child?SP???????????????IP?Call?Site 000000BF6DB7EF58?00007ff83b2c4480?ConsoleApp4.MyClass.b__1_0()?[E:\net5\ConsoleApp1\ConsoleApp4\Program.cs?@?34]PARAMETERS:this?(<CLR?reg>)?=?0x0000025c26f8ac60可以看到,這個(gè)方法有一個(gè)參數(shù) this, 地址是: 0x0000025c26f8ac60,接下來(lái)可以用 !do 0x0000025c26f8ac60 試著打印一下,看看到底是什么?
0:009>?!do?0x0000025c26f8ac60 Name:????????ConsoleApp4.MyClass MethodTable:?00007ff83b383548 EEClass:?????00007ff83b3926b8 Size:????????24(0x18)?bytes File:????????E:\net5\ConsoleApp1\ConsoleApp4\bin\Debug\netcoreapp3.1\ConsoleApp4.dll Fields:MT????Field???Offset?????????????????Type?VT?????Attr????????????Value?Name 00007ff83b28b1f0??4000001????????8?????????System.Int32??1?instance???????????????10?_id觀察上面輸出,哈哈,果然不出所料,0x0000025c26f8ac60 就是 ConsoleApp4.MyClass,現(xiàn)在對(duì)閉包是不是已經(jīng)有了新的認(rèn)識(shí)啦???
二:對(duì)內(nèi)存泄漏的認(rèn)識(shí)
1. 何為內(nèi)存泄漏
英文中有一個(gè)詞組叫做 Out of Control,對(duì),就是失去控制了,要想釋放只能 自殺式襲擊 了, 比如說(shuō):kill 進(jìn)程,關(guān)機(jī)器。
好了,再回到這個(gè)例子上來(lái),代碼如下:
static?void?Test(){var?myClass?=?new?MyClass();myClass.Foo();}當(dāng) Test 方法執(zhí)行完成之后,myClass 的棧上引用地址肯定會(huì)被抹掉的, 有意思的是此時(shí) Task.Run 中的委托方法肯定還沒有得到線程調(diào)度,我又發(fā)現(xiàn)很多人在這一塊想不通了,以為 內(nèi)存泄漏 了。對(duì)吧 ????????????
如果你明白了上一節(jié)我所說(shuō)的,那就很好理解啦,哎,很長(zhǎng)時(shí)間沒有畫圖分析了,破例了。
可以很清晰的看出,當(dāng)執(zhí)行完 myClass.Foo(); 語(yǔ)句后,此時(shí)有兩個(gè)地方引用了 堆上的 MyClass,當(dāng) Test 方法執(zhí)行完后, A 引用 會(huì)被抹掉,但此時(shí) 還有 B 引用 存在,所以這時(shí)你不管怎么 GC,堆上的 MyClass 肯定不會(huì)被回收,如果說(shuō)這種情況也算 內(nèi)存泄漏 的話...
還是那句話,空口無(wú)憑,我得拿出證據(jù)來(lái),上 windbg 說(shuō)話。
2. 使用 windbg 查找 B 引用
要想驗(yàn)證 B 引用的存在,思路很簡(jiǎn)單,讓匿名委托方法得不到退出,然后到 托管堆 找一下 MyClass 到底還在被誰(shuí)引用 即可,接下來(lái)稍微修改一下代碼。
class?Program{static?void?Main(string[]?args){Test();Console.WriteLine("主線程全部執(zhí)行完畢!");Console.ReadLine();??}static?void?Test(){var?myClass?=?new?MyClass();myClass.Foo();}}public?class?MyClass{private?int?_id?=?10;public?Task?Foo(){return?Task.Run(()?=>{Console.WriteLine($"Task.Run?is?executing?with?ID?{_id}");Thread.Sleep(int.MaxValue);???//故意不讓方法退出});}}用 !dumpheap -stat -type MyClass 查看堆上的 MyClass 實(shí)例,然后用 !gcroot 查看它的引用鏈即可,
0:000>?!dumpheap?-stat?-type?MyClass Statistics:MT????Count????TotalSize?Class?Name 00007ff839d23548????????1???????????24?ConsoleApp4.MyClass Total?1?objects 0:000>?!DumpHeap?/d?-mt?00007ff839d23548Address???????????????MT?????Size 00000284e248ac90?00007ff839d23548???????24????? 0:000>?!gcroot?00000284e248ac90 Thread?4eb0:0000009CD68FED60?00007FF839C646A6?ConsoleApp4.MyClass.<Foo>b__1_0()?[E:\net5\ConsoleApp1\ConsoleApp4\Program.cs?@?39]rbp+10:?0000009cd68feda0->??00000284E248AC90?ConsoleApp4.MyClass果然不出所料,MyClass 的引用正在 <Foo>b__1_0() 方法中,這也就驗(yàn)證了 B 引用 的存在。
三:對(duì)GC的認(rèn)知
除了大對(duì)象堆,小對(duì)象主要還是采用 三代機(jī)制 的老方法,沒啥好說(shuō)的,不過有一點(diǎn)要注意了,GC 也不會(huì)動(dòng)不動(dòng)就出來(lái)回收的,畢竟工作站模式的GC 在 64 bit 機(jī)器上默認(rèn)有 256M 的內(nèi)存大小,這 256 M 會(huì)分配給 0代 + 1代,說(shuō)小也不小,如下圖:
其實(shí)我想表達(dá)的意思是,即使當(dāng)前有 A,B 兩個(gè)引用,實(shí)際上 99 % 的情況下都會(huì)在同一代中被回收,比如說(shuō):第 0 代。
現(xiàn)在都過了十多分鐘了,可以看下 MyClass 的地址 (00000284e248ac90) 當(dāng)前有沒有被送到 第 1 代?用 !eeheap -gc 把托管堆的 地址段 打出來(lái)。
0:000>?!eeheap?-gc Number?of?GC?Heaps:?1 generation?0?starts?at?0x00000284E2481030 generation?1?starts?at?0x00000284E2481018 generation?2?starts?at?0x00000284E2481000可以看到,即使過了十多分鐘,當(dāng)前 MyClass(00000284e248ac90) ?還是在 0 代堆上。
三:總結(jié)
好了,這三個(gè)概念:閉包, 內(nèi)存泄漏,GC ?差不多就介紹完了,不知道可否解開了大家的疑團(tuán),最后感謝 精致大佬 的精彩博文。
總結(jié)
以上是生活随笔為你收集整理的对 精致码农大佬 说的 Task.Run 会存在 内存泄漏 的思考的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 2020武汉dotNET俱乐部分享交流会
- 下一篇: GraphQL:从头开始