CLR分析:掷在渔获块内部后的dostacksnapshot给出了错误的说明指针

Question

我目前正在写一位CLR Profiler，我遇到了一些非常奇怪的东西。当抛出两个不同的例外时，一个来自Try子句的例子，另一个来自Catch子句，CLR将我通知我相同的指令指针。更具体地说：我已注册以接收异常回调

virtual HRESULT STDMETHODCALLTYPE ExceptionThrown(ObjectID thrownObjectId);

在该回调中，我在当前线程上启动了dostacksnapshot（https://learn.microsoft.com/en-us/dotnet/framework/unmanaged-api/profiling/icorprofilerinfo2-dostacksnapsnapshot-method）。CLR为每个帧调用我的方法：

HRESULT stackSnapshotCallback(FunctionID funcId, UINT_PTR ip, COR_PRF_FRAME_INFO, ULONG32, BYTE context[], void *clientData)

但是，如果我从一个尝试子句和相应的捕获子句（代码示例如下）中抛出了异常，我将收到两者的同一IP。我还会提到，这不是重新验证的情况，而这是预期的，而是一个全新的例外，甚至可以在Catch的呼叫堆栈中发生。

在进行更多研究并深入研究Coreclr代码后，我找不到发生这种情况的原因，这就是为什么我在这里问这个。我还会提到，这很容易复制在平原C＃调试器中，我感到非常震惊。我已经使用了.NET Framework 4.5，但这也发生在4.6和4.7。

。

我相信，如果我理解为什么以下C＃代码以这种方式行事，我可能会理解为什么CLR会这样做。

此代码：

try
{
    try
    {
        throw new Exception("A");
    }
    catch (Exception)
    {
        StackTrace st = new StackTrace(true);
        StackFrame sf = st.GetFrame(0);
        Console.WriteLine("Inside catch, instruction: " + sf.GetILOffset() + ". line: " + sf.GetFileLineNumber());
        throw new Exception("B");
    }
}
catch (Exception)
{
    StackTrace st = new StackTrace(true);
    StackFrame sf = st.GetFrame(0);
    Console.WriteLine("Outer catch, instruction: " + sf.GetILOffset() + ". line: " + sf.GetFileLineNumber());
}

产生此结果： Inside catch, instruction: 13. line: 54 Outer catch, instruction: 13. line: 54

我还会提到，抛出的异常对象确实具有正确的堆栈跟踪。因此，例如，如果我启动这样的堆叠对象：

catch (Exception e)
{
    StackTrace st = new StackTrace(e);

我确实收到了预期的结果。上面的代码在分析过程中也很奇怪：两个例外都共享相同的指令指针。

以下是与C＃代码匹配的IL代码（只是为了验证这不是Rethrow的情况。为清晰删除了打印件）：

     private static void Main(string [] args)
  {
    /* 00005284 00             */ nop
    try
    {
      /* 00005285 00             */ nop
      try
      {
        /* 00005286 00             */ nop
        /* 00005287 72 CF 0F 00 70 */ ldstr "A"
        /* 0000528C 73 8E 00 00 0A */ newobj System.Exception::.ctor(string) // returns void
        /* 00005291 7A             */ throw
      }
      catch (System.Exception)
      {
        /* 00005292 26             */ pop
        /* 00005293 00             */ nop
        /* 00005294 72 D3 0F 00 70 */ ldstr "B"
        /* 00005299 73 8E 00 00 0A */ newobj System.Exception::.ctor(string) // returns void
        /* 0000529E 7A             */ throw
      }
    }
    catch (System.Exception)
    {
      /* 0000529F 26             */ pop
      /* 000052A0 00             */ nop
      /* 000052A1 00             */ nop
      /* 000052A2 DE 00          */ leave_s loc_32
    }
loc_32:
    /* 000052A4 28 13 01 00 0A */ call System.Console::Read() // returns int
    /* 000052A9 26             */ pop
    /* 000052AA 2A             */ ret
  }

任何帮助将不胜感激。谢谢！

Answer 1

有点晚，这似乎是CLR中的错误：https://github.com/dotnet/coreclr/issues/15559