一：背景

1. 講故事

前些天有位朋友找到我，說他的程序幾天內(nèi)存就要爆一次，不知道咋回事，找不出原因，讓我?guī)兔匆幌拢@種問題分析dump是最簡單粗暴了，拿到dump后接下來就是一頓分析。

二：WinDbg 分析

0:037> !address -summary --- Usage Summary ---------------- RgnCount ----------- Total Size -------- %ofBusy %ofTotal <unknown> 866 53577000 ( 1.302 GB) 69.38% 65.11% Image 2244 16ee2000 ( 366.883 MB) 19.09% 17.91% Heap 222 8adc000 ( 138.859 MB) 7.23% 6.78% Free 460 7e14000 ( 126.078 MB) 6.16% Stack 255 5150000 ( 81.312 MB) 4.23% 3.97% TEB 85 db000 ( 876.000 kB) 0.04% 0.04% Other 20 79000 ( 484.000 kB) 0.02% 0.02% PEB 1 3000 ( 12.000 kB) 0.00% 0.00% ... --- State Summary ---------------- RgnCount ----------- Total Size -------- %ofBusy %ofTotal MEM_COMMIT 2900 64906000 ( 1.571 GB) 83.72% 78.57% MEM_RESERVE 793 138d6000 ( 312.836 MB) 16.28% 15.28% MEM_FREE 460 7e14000 ( 126.078 MB) 6.16% ...

從卦中可以明顯的看出，這又是一例經(jīng)典的32bit程序受到了2G的內(nèi)存限制，按往期經(jīng)驗(yàn)來說解決辦法比較簡單，改成大地址或者x64即可。

哈哈，既然要分享這篇，自然就不是這么簡單的事情，這需要我們排查這個溢出是不是程序的bug導(dǎo)致的，如果是那還得繼續(xù)找原因。

2. 是程序bug導(dǎo)致的嗎

要想搞清楚這個問題，需要去分析各處的內(nèi)存占用，比如托管堆，可以用 !eeheap -gc 觀察。

0:037> !eeheap -gc
Number of GC Heaps: 1
generation 0 starts at 0x49fd10a8
generation 1 starts at 0x49fd1000
generation 2 starts at 0x03381000
ephemeral segment allocation context: none
 segment     begin  allocated      size
03380000  03381000  0437ff88  0xffef88(16773000)
23e60000  23e61000  24e5ff88  0xffef88(16773000)
0b510000  0b511000  0c50ff88  0xffef88(16773000)
...
7be20000  7be21000  7cbbdb60  0xd9cb60(14273376)
49fd0000  49fd1000  4afcfe08  0xffee08(16772616)
Large object heap starts at 0x04381000
 segment     begin  allocated      size
04380000  04381000  04a67b50  0x6e6b50(7236432)
Total Size:              Size: 0x39738ad4 (963873492) bytes.
------------------------------
GC Heap Size:    Size: 0x39738ad4 (963873492) bytes.

從卦中可以看到，托管堆占用963M，并且產(chǎn)生了很多的16M的segment，這就表明當(dāng)前的托管堆吃掉了內(nèi)存，接下來的問題是為什么托管堆吃了那么多的內(nèi)存呢？那就只能用 !dumpheap -stat 去觀察下托管堆的對象布局咯。

0:037> !dumpheap -stat
Statistics:
      MT    Count    TotalSize Class Name
...
717c8b4c   264594     11642136 System.Threading.ExecutionContext
717cd044   265930     13034088 System.Collections.Hashtable+bucket[]
717ccff4   265854     13824408 System.Collections.Hashtable
71761c34   268005     17152320 System.Threading.OverlappedData
70d73c10   264469     26446900 System.Net.Sockets.OverlappedAsyncResult
717cdd04   280225    293649193 System.Byte[]
013a9f98   269886    540566904      Free
Total 3880354 objects

從卦中可以看到當(dāng)前托管堆有 26.8w 的 OverlappedData 對象，這是一個非常明顯的異常信號，熟悉這塊的朋友應(yīng)該知道，這個東西常常和異步打交道，也就表示當(dāng)前程序可能有高達(dá) 26.8w 的異步請求可能沒有得到響應(yīng)，要想找到這個答案，就需要對 OverlappedData 進(jìn)行穿刺。

3. OverlappedData 穿刺檢查

對 OverlappedData 穿刺的目的就是要活檢內(nèi)部的 AsyncCallback 回調(diào)函數(shù)，看看到底是良性還是惡性的，相關(guān)命令如下：

0:037> !dumpheap -stat
...
34f38ac4 71761c34       64         
34f39088 71761c34       64   
...
0:037> !mdt 34f39088
34f39088 (System.Threading.OverlappedData)
    m_asyncResult:33e8aafc (System.Net.Sockets.OverlappedAsyncResult)
    m_iocb:03c077a0 (System.Threading.IOCompletionCallback)
    ...
    m_nativeOverlapped:(System.Threading.NativeOverlapped) VALTYPE (MT=7176dfe0, ADDR=34f390b0)
0:037> !mdt 33e8aafc
33e8aafc (System.Net.Sockets.OverlappedAsyncResult)
    m_AsyncObject:03c71d44 (System.Net.Sockets.Socket)
    m_AsyncState:33e8aaec (xxx)
    m_AsyncCallback:03e8f214 (System.AsyncCallback)
    ...
0:037> !mdt 03e8f214
03e8f214 (System.AsyncCallback)
    _target:03c065a8 (xxx)
    _methodPtr:19432480 (System.IntPtr)
0:037> u 19432480
19432480 e933932102      jmp     1b64b7b8
19432485 5f              pop     edi
...
0:037> !ip2md 1b64b7b8
MethodDesc:   131605ac
Method Name:  xxxDevices.ReceiveCallback(System.IAsyncResult)

卦中的信息量還是蠻大的，可以看到這是一個和 Socket 相關(guān)的異步函數(shù)，并且也成功找到了 xxxDevices.ReceiveCallback 回調(diào)函數(shù)，接下來就是檢查下這個方法附近的業(yè)務(wù)邏輯，由于代碼會涉及到一些隱私，我就多模糊一點(diǎn)，請見諒，截圖如下：

仔細(xì)閱讀這段代碼，他是想用異步的方式一次次的用byte[1024]去丈量一段可能的大數(shù)據(jù)，直到這個 Stream 不能再讀了，所以用了 if (stream.CanRead) 判斷。

對 Socket 編程比較熟悉的朋友相信很快就能發(fā)現(xiàn)問題，判斷 Stream 中的數(shù)據(jù)是否讀完應(yīng)該用 DataAvailable 屬性，而不是 CanRead，比如下面這段正確的代碼：

最后再貼VS中對 CanRead 和 DataAvailable 屬性的解釋。

//
// Summary:
//     Gets a value that indicates whether the System.Net.Sockets.NetworkStream supports
//     reading.
//
// Returns:
//     true if data can be read from the stream; otherwise, false. The default value
//     is true.
public override bool CanRead { get; }

//
// Summary:
//     Gets a value that indicates whether data is available on the System.Net.Sockets.NetworkStream
//     to be read.
//
// Returns:
//     true if data is available on the stream to be read; otherwise, false.
//
public virtual bool DataAvailable { get; }

三：總結(jié)

這個事故非常有意思，一個簡簡單單的 CanRead 誤用就對程序造成了毀滅性的打擊，這也警示大家在用某個屬性某個方法前，一定要先搞清楚它到底是怎么玩的。

總結(jié)

以上是生活随笔為你收集整理的记一次 .NET某道闸收费系统 内存溢出分析的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。