.NET 高级调试技术：超越基础 Dump 分析 - 一线码农
内容提要
本文介绍.NET生产环境高级调试技术，涵盖非托管句柄泄露（用!handle和!htrace追踪）、终结器队列瓶颈（用!fq检查积压）、Monitor.Wait/Pulse线程同步内部机制、Harmony运行时补丁（Hook Thread.Start捕获调用栈）、跨平台调试（LD_PRELOAD和Funchook）及栈溢出（c00000fd）分析。强调掌握这些技术可有效解决复杂生产问题。
延伸解读
句柄泄露：从托管代码看不见的坑
当C#通过P/Invoke调用C++代码时，句柄泄露往往难以察觉。文中用!handle发现Event句柄异常高，再用!htrace追踪到具体调用栈，最后在原生方法上设断点捕获托管调用栈。这提醒我们，排查非托管资源泄露时，不能只盯着托管堆，要结合WinDbg的句柄追踪和断点技巧，才能定位到真正的源头。
终结器队列积压：内存泄露的隐形杀手
终结器队列积压是内存泄露的常见原因，尤其是当对象创建速度超过终结器线程处理速度时。文中用!fq看到generation 0有28423个可终结对象，而Ready for finalization高达971560个，明显积压。通过查看终结器线程的调用栈，发现它阻塞在Sleep上。这提示我们，终结器中的耗时操作会拖垮整个终结机制，应避免在析构函数中做重活。
Monitor.Wait/Pulse：线程同步的内部机制
Monitor.Wait和Pulse的配合常被误解。文中揭示了CoreCLR内部使用WaitEventLink结构来管理等待线程，Wait会释放锁并阻塞，Pulse只唤醒队列中的第一个线程，而PulseAll唤醒所有。理解这些底层实现，有助于我们正确使用它们，避免死锁或无效唤醒。
跨平台调试：LD_PRELOAD与Funchook的取舍
在Linux上调试.NET应用，LD_PRELOAD和Funchook是两种常用技术。LD_PRELOAD利用动态链接器覆盖符号，简单但粒度粗；Funchook提供函数级Hook，更精细但需要额外依赖。选择哪种取决于需求：快速拦截系统调用用LD_PRELOAD，需要精确控制函数行为时用Funchook。
Q&A
如何使用 WinDbg 的 !handle 和 !htrace 命令定位 .NET 程序中的非托管句柄泄露？
使用 !handle 命令可以查看当前进程的句柄类型和数量，如果发现某个类型的句柄数量异常高（如 Event 句柄），则可能存在泄露。接着使用 !htrace -enable 启用句柄追踪，运行一段时间后使用 !htrace -diff 比较快照，可以找到泄露的句柄及其调用栈，从而定位到具体的原生方法。
在 WinDbg 中如何检查终结器队列是否有积压？如果发现积压，如何定位问题？
使用 !fq 命令可以查看终结器队列的状态，包括各代中可终结对象的数量和等待终结的对象总数。如果 'Ready for finalization' 数量巨大，说明存在积压。通过查看 Statistics 部分，可以找到数量最多的类型（如 Person），然后切换到终结器线程（使用 ~[tid]s 和 !clrstack）查看其正在执行的代码，通常会发现终结器在慢速操作（如 Sleep）上阻塞。
Monitor.Wait 和 Monitor.Pulse 在 CoreCLR 内部是如何实现的？
Monitor.Wait 会释放锁并阻塞当前线程，内部使用 WaitEventLink 结构将线程加入等待队列，并调用 SyncBlock::Wait 方法。Monitor.Pulse 会唤醒等待队列中的第一个线程，而 PulseAll 会唤醒所有等待线程。这些操作通过操作 SyncBlock 上的等待队列实现。
如何使用 Harmony 库在运行时 Hook Thread.Start 方法以捕获线程启动时的调用栈？
首先创建一个 Harmony 实例并调用 PatchAll()。然后定义一个带有 [HarmonyPatch(typeof(Thread), "Start")] 特性的类，在 Prefix 方法中通过 __instance 参数获取线程实例，并输出 Environment.StackTrace 即可捕获调用栈。Harmony 会通过修改 JIT 编译代码的入口，将方法跳转到动态生成的代理。
在 Linux 上调试 .NET 程序时，LD_PRELOAD 和 Funchook 分别有什么用途？
LD_PRELOAD 利用动态链接器的加载顺序，可以覆盖系统库中的符号（如 openat），用于拦截系统调用。Funchook 提供更细粒度的函数级 Hook，可以在运行时修改函数指针，实现类似的功能。两者都可用于调试或监控 .NET 程序在 Linux 上的行为。
栈溢出异常（c00000fd）是如何发生的？在 WinDbg 中如何验证？
栈溢出通常由无限递归导致，当线程的栈指针（RSP）进入守卫页（PAGE_GUARD）时触发异常。在 WinDbg 中，使用 .excr 切换到异常上下文，然后使用 k 查看调用栈，如果看到重复的调用帧（如 symbol00），则说明存在递归。还可以使用 r rsp 查看当前栈指针，使用 !teb 查看栈的基址和限制，以及使用 !address -f:Stack 确认守卫页的存在。
