記一次 .NET某企業數字化平臺 崩潰分析

来源:https://www.cnblogs.com/huangxincheng/p/18215055
-Advertisement-
Play Games

一：背景 1. 講故事 前些天群里有一個朋友說他們軟體會偶發崩潰，想分析看看是怎麼回事，所幸的是自己會抓dump文件，有了dump就比較好分析了，接下來我們開始吧。 二：WinDbg 分析 1. 程式為什麼會崩潰 windbg 還是非常強大的，當你雙擊打開的時候會自動幫你定位過去展示崩潰時刻的寄存器 ...


一：背景

1. 講故事

前些天群里有一個朋友說他們軟體會偶發崩潰，想分析看看是怎麼回事，所幸的是自己會抓dump文件，有了dump就比較好分析了，接下來我們開始吧。

二：WinDbg 分析

1. 程式為什麼會崩潰

windbg 還是非常強大的，當你雙擊打開的時候會自動幫你定位過去展示崩潰時刻的寄存器和線程棧上下文，都省了 !analyze -v 命令分析了，輸出如下：


Loading unloaded module list
...............
This dump file has an exception of interest stored in it.
The stored exception information can be accessed via .ecxr.
(1dc.774): Stack overflow - code c00000fd (first/second chance not available)
For analysis of this file, run !analyze -v
000007f8`93111989 837c243000      cmp     dword ptr [rsp+30h],0 ss:0000007b`e7894160=00000000

從卦中可以看到有一個 Stack overflow 異常，說明當前棧溢出了，有點意思。

2. 棧溢出了嗎

如果你想探究下棧溢出也是可以的，用 rsp 比較下 !teb 中的 StackLimit 值。


0:019> r rsp
rsp=0000007be7894130

0:019> !teb
TEB at 000007f6cd664000
    ExceptionList:        0000000000000000
    StackBase:            0000007be7a10000
    StackLimit:           0000007be7891000
    SubSystemTib:         0000000000000000
    FiberData:            0000000000001e00
    ArbitraryUserPointer: 0000000000000000
    Self:                 000007f6cd664000
    EnvironmentPointer:   0000000000000000
    ClientId:             00000000000001dc . 0000000000000774
    RpcHandle:            0000000000000000
    Tls Storage:          0000007be84b5b90
    PEB Address:          000007f6cd7af000
    LastErrorValue:       0
    LastStatusValue:      c0000302
    Count Owned Locks:    0
    HardErrorMode:        0

0:019> !address -f:Stack

        BaseAddress      EndAddress+1        RegionSize     Type       State                 Protect             Usage
--------------------------------------------------------------------------------------------------------------------------
      7b`e7890000       7b`e7891000        0`00001000 MEM_PRIVATE MEM_RESERVE                                    Stack      [~19; 1dc.774]
      7b`e7891000       7b`e7a10000        0`0017f000 MEM_PRIVATE MEM_COMMIT  PAGE_READWRITE                     Stack      [~19; 1dc.774]

從卦中看 PAGE_GUARD 頁已經抹掉了，這就表示當前的 rsp 已經進入到這個 0x3000 大小的 PAGE_GUARD 頁面里去了。

有些朋友可能會有一個疑問，這個異常是怎麼被界定為 StackOverflowException 的呢？ 如果你瞭解哨兵頁就比較簡單了，一旦rsp進了這個哨兵頁，在這裡拋出的異常會被界定為 c00000fd，最後這個異常會被 coreclr 的 MapWin32FaultToCOMPlusException 方法強制轉為托管的 StackOverflowException 異常，這個都是有源碼支撐的。


EXCEPTION_RECORD:  (.exr -1)
ExceptionAddress: 000007f8ed571a90 (coreclr!MetaDataImport::Enum+0x0000000000000030)
   ExceptionCode: c00000fd (Stack overflow)
  ExceptionFlags: 00000001
NumberParameters: 2
   Parameter[0]: 0000000000000001
   Parameter[1]: 0000007be7893f38

DWORD MapWin32FaultToCOMPlusException(EXCEPTION_RECORD *pExceptionRecord)
{
    switch (pExceptionRecord->ExceptionCode)
    {
		...
        case STATUS_STACK_OVERFLOW:
            return (DWORD) kStackOverflowException;
        ....

		default:
            return kSEHException;
    }
}

3. 到底誰給弄溢出了

現在我們定位到的線程就是棧溢出線程，使用 kc 觀察調用棧，輸出如下：


0:019> kc
 # Call Site
00 System_Private_CoreLib!System.Reflection.RuntimeCustomAttributeData.GetCustomAttributeRecords
01 System_Private_CoreLib!System.Reflection.CustomAttribute.AddCustomAttributes
02 System_Private_CoreLib!System.Reflection.CustomAttribute.GetCustomAttributes
03 System_Private_CoreLib!System.Attribute.GetCustomAttributes
...
0c SqlSugar!SqlSugar.MemberExpressionResolve..ctor
0d SqlSugar!SqlSugar.BaseResolve.Start
0e SqlSugar!SqlSugar.BinaryExpressionResolve.Right
0f SqlSugar!SqlSugar.BinaryExpressionResolve.DefaultBinary
10 SqlSugar!SqlSugar.BinaryExpressionResolve.Other
11 SqlSugar!SqlSugar.BinaryExpressionResolve..ctor
12 SqlSugar!SqlSugar.BaseResolve.Start
13 SqlSugar!SqlSugar.BinaryExpressionResolve.Right
14 SqlSugar!SqlSugar.BinaryExpressionResolve.DefaultBinary
15 SqlSugar!SqlSugar.BinaryExpressionResolve.Other
16 SqlSugar!SqlSugar.BinaryExpressionResolve..ctor
17 SqlSugar!SqlSugar.BaseResolve.Start
...

預設的 kc 只能顯示 255 個線程棧，在棧溢出場景下沒辦法完全展開，不管怎麼樣從棧看貌似是 SqlSugar 導致的棧溢出，那它是這次災難的罪魁禍首嗎？

4. SqlSugar 是禍首嗎

要想找到這個答案，需要看下 SqlSugar 是被怎樣的用戶代碼調用的，有兩種辦法，要麼在 k 上設置 StackPtr，要麼設置最大的棧個數 0xffff ，這裡選擇後者。


0:019> kc 0xffff
 # Call Site
....
145b SqlSugar!SqlSugar.ExpressionContext.Resolve
145c SqlSugar!SqlSugar.QueryBuilder.GetExpressionValue
145d SqlSugar!SqlSugar.QueryableProvider<xxx>._Where
145e SqlSugar!SqlSugar.QueryableProvider<xxxx>.Where
145f SqlSugar!SqlSugar.SimpleClient<xxx>.GetListAsync
1460 xxx!xxx.TSqlSugar.xxx<xxx.Entities.Quality.xxxSummaryEntity>.<QueryAsync>d__37.MoveNext
1461 System_Private_CoreLib!System.Runtime.CompilerServices.AsyncMethodBuilderCore.Start<<QueryAsync>d__37>
1462 xxx!xxx.TSqlSugar.BaseRepository<xxx.xxxSummaryEntity>.QueryAsync
1463 xxx!xxxxCalculateService.<xxxnRate>d__26.MoveNext
...

從卦中可以看到有一個 xxxxCalculateService 用戶類調用了 QueryAsync 方法，接下來直接到源碼定位，截圖如下：

這段代碼乍一看貌似沒有問題，但仔細看還是有一些端倪的，對，就是當 diffMonth 很大時， expressionable 就會累計出很多的 And 條件，在QueryAsync的時候底層的 SqlSugar 在拆解 expressionable 的過程中拋出了異常。

5. SqlSugar 真的在拆解中異常了嗎

拆解表達式樹的代碼太難了，我真的看不懂，在這種情況下如何尋找突破口呢？這裡可以逆向的想一想，既然是拆解，自然就會產生很多小段sql，所以直接到 托管堆中看下當前的 string 情況即可。


0:019> !strings
Address            Gen    Length   Value
---------------------------------------
...
0000007bc15a0240   LOH     97005   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
0000007bc15cf850   LOH     97005   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
0000007bc15fee60   LOH     97009   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
0000007bc162e478   LOH     97009   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
0000007bc165da90   LOH     97074   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
0000007bc168d130   LOH     97099   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
0000007bc16bc800   LOH     97099   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
0000007bc16ebed0   LOH     97103   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
0000007bc171b5a8   LOH     97103   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
0000007bc174ac80   LOH     97113   ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...
....
---------------------------------------
39498 strings

從卦中看真厲害，有很多 近10w 左右的 string，拆開 string 看正是And中的表達式樹里的欄位，這裡就不展示了。

三：總結

這次程式崩潰主要是朋友的奇葩寫法導致 SqlSugar 在拆解表達式樹的時候拋了異常，個人覺得底層最好把 遞歸 改成 迴圈 之類的避免棧溢出，看了下SqlSugar版本 File version: 5.1.4.143 還是比較新的，所以先建議朋友換寫法觀察看看。

圖片名稱
您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 使用 TestContainers 進行資料庫集成測試
    在軟體開發過程中，集成測試是至關重要的一環。它確保不同組件之間的協作正常，並驗證系統在整體上的功能和性能。然而，傳統的集成測試往往需要依賴於外部資源，如資料庫、消息隊列等，這給測試環境的搭建和維護帶來了一定的挑戰。 為瞭解決這個問題，我們可以使用 TestContainers 這個強大的開源工具。T ...
  • 誰說爬蟲只能Python？看我用C#快速簡單實現爬蟲開發和演示！
    前言：說到爬蟲，基本上清一色的都知道用Python，但是對於一些沒玩過或者不想玩Python的來說，卻比較頭大一點。所以以下我站在C# 的角度，來寫一個簡單的Demo，用來演示C# 實現的簡單小爬蟲。大家感興趣可以自己拓展出更加豐富的爬蟲功能。 前提：引用包HtmlAgilityPack 先來個爬取 ...
  • QShop商城-快速開始-前端
    自動篩選器是 Excel 中的一個基本但極其有用的功能，它可以讓你根據特定的條件來自動隱藏和顯示你的數據。當有大量的數據需要處理時，這個功能可以幫你快速找到你需要的信息，從未更加有效地分析和處理相關數據。 下麵將介紹如何使用免費.NET Excel庫在Excel中添加、應用和刪除自動篩選器。包含以下 ...
  • 【OpenVINO™】在C#中使用 OpenVINO™ 部署 YOLOv10 模型實現目標
    最近YOLO家族又添新成員：YOLOv10，YOLOv10 提出了一種一致的雙任務方法，用於無nms訓練的YOLOs，它同時帶來了具有競爭力的性能和較低的推理延遲。此外，還介紹了整體效率-精度驅動的模型設計策略,從效率和精度兩個角度對YOLOs的各個組成部分進行了全面優化，大大降低了計算開銷，增強了... ...
  • dot net core使用BackgroundService運行一個後臺服務
    不管是在控制台程式還是asp.net core程式中，我們經常會有用到一個需要長時間運行的後臺任務的需求。通常最直覺的方式是使用Thread實例來新建一個線程，但是這樣需要自行管理線程的啟動和停止。 在.net core中提供了一個繼承自IHostedService的基類BackgroudServi ...
  • C# xml文檔反序列化記事
    可以使用XmlSerializer直接序列化和反序列化xml 反序列化如以下代碼 private T? XmlDeseriallize<T>(string filePath) { XmlSerializer serializer = new XmlSerializer(typeof(T)); usi ...
  • Web Service和Web API理解和使用場景
    Web Service 理解：Web Service 是一種基於網路的服務，它使用標準化的消息傳遞協議，最典型的是基於 SOAP（Simple Object Access Protocol）協議。SOAP 使用 XML 格式封裝數據，定義了消息的結構和傳輸方式，因此它是一個重量級的解決方案。Web ...
  • C# 工廠模式學習
    工廠模式（Factory Pattern）是一種創建型設計模式，它提供了一種創建對象的介面，而不是通過具體類來實例化對象。工廠模式可以將對象的創建過程封裝起來，使代碼更具有靈活性和可擴展性。 工廠模式有幾種常見的實現方式： 簡單工廠模式（Simple Factory Pattern）： 簡單工廠模式 ...
一周排行
    -Advertisement-
    Play Games
  • （開源）都進來！簡單易懂、功能強大的許可權+可視化流程管理系統
    1、預覽地址：http://139.155.137.144:9012 2、qq群:801913255 一、前言 隨著網路的發展，企業對於信息系統數據的保密工作愈發重視，不同身份、角色對於數據的訪問許可權都應該大相徑庭。 列如 1、不同登錄人員對一個數據列表的可見度是不一樣的，如數據列、數據行、數據按鈕 ...
  • 設計模式-C#實現簡單工廠模式
    前言 上一篇文章寫瞭如何使用RabbitMQ做個簡單的發送郵件項目，然後評論也是比較多，也是準備去學習一下如何確保RabbitMQ的消息可靠性，但是由於時間原因，先來說說設計模式中的簡單工廠模式吧！ 在瞭解簡單工廠模式之前，我們要知道C#是一款面向對象的高級程式語言。它有3大特性，封裝、繼承、多態。 ...
  • Nodify學習 一：介紹與使用
    Nodify學習 一：介紹與使用 - 可樂_加冰 - 博客園 (cnblogs.com) Nodify學習 二：添加節點 - 可樂_加冰 - 博客園 (cnblogs.com) 介紹 Nodify是一個WPF基於節點的編輯器控制項，其中包含一系列節點、連接和連接器組件，旨在簡化構建基於節點的工具的過程 ...
  • 使用C#/.NET解析Wiki百科數據實現獲取歷史上的今天
    創建一個webapi項目做測試使用。 創建新控制器，搭建一個基礎框架，包括獲取當天日期、wiki的請求地址等 創建一個Http請求幫助類以及方法，用於獲取指定URL的信息 使用http請求訪問指定url，先運行一下，看看返回的內容。內容如圖右邊所示，實際上是一個Json數據。我們主要解析 大事記 部 ...
  • .NET科普：.NET簡史、.NET Standard以及C#和.NET Framework之間的關係
    最近在不少自媒體上看到有關.NET與C#的資訊與評價，感覺大家對.NET與C#還是不太瞭解，尤其是對2016年6月發佈的跨平臺.NET Core 1.0，更是知之甚少。在考慮一番之後，還是決定寫點東西總結一下，也回顧一下.NET的發展歷史。 首先，你沒看錯，.NET是跨平臺的，可以在Windows、 ...
  • Nodify學習 二：添加節點
    Nodify學習 一：介紹與使用 - 可樂_加冰 - 博客園 (cnblogs.com) Nodify學習 二：添加節點 - 可樂_加冰 - 博客園 (cnblogs.com) 添加節點（nodes） 通過上一篇我們已經創建好了編輯器實例現在我們為編輯器添加一個節點 添加model和viewmode ...
  • 論如何直接用EF Core實現創建更新時間、用戶審計，自動化樂觀併發、軟刪除和樹形查詢（上）
    前言 資料庫併發，數據審計和軟刪除一直是數據持久化方面的經典問題。早些時候，這些工作需要手寫複雜的SQL或者通過存儲過程和觸發器實現。手寫複雜SQL對軟體可維護性構成了相當大的挑戰，隨著SQL字數的變多，用到的嵌套和複雜語法增加，可讀性和可維護性的難度是幾何級暴漲。因此如何在實現功能的同時控制這些S ...
  • C# 使用模式匹配的好處,因為好用所以推薦~
    類型檢查和轉換：當你需要檢查對象是否為特定類型，並且希望在同一時間內將其轉換為那個類型時，模式匹配提供了一種更簡潔的方式來完成這一任務，避免了使用傳統的as和is操作符後還需要進行額外的null檢查。 複雜條件邏輯：在處理複雜的條件邏輯時，特別是涉及到多個條件和類型的情況下，使用模式匹配可以使代碼更 ...
  • 推薦一種批量判斷文件是否存在的快速辦法
    在日常開發中，我們經常需要和文件打交道，特別是桌面開發，有時候就會需要載入大批量的文件，而且可能還會存在部分文件缺失的情況，那麼如何才能快速的判斷文件是否存在呢？如果處理不當的，且文件數量比較多的時候，可能會造成卡頓等情況，進而影響程式的使用體驗。今天就以一個簡單的小例子，簡述兩種不同的判斷文件是否... ...
  • 論如何直接用EF Core實現創建更新時間、用戶審計，自動化樂觀併發、軟刪除和樹形查詢（中）
    前言 資料庫併發，數據審計和軟刪除一直是數據持久化方面的經典問題。早些時候，這些工作需要手寫複雜的SQL或者通過存儲過程和觸發器實現。手寫複雜SQL對軟體可維護性構成了相當大的挑戰，隨著SQL字數的變多，用到的嵌套和複雜語法增加，可讀性和可維護性的難度是幾何級暴漲。因此如何在實現功能的同時控制這些S ...
所有分類