.NET Core 2.1中改进的堆栈信息

. NET Core 2.1 现在具有可读的异步堆栈信息！使得异步、迭代器和字典 ( key not found ) 中的堆栈更容易追踪！

这个大胆的主张意味着什么？

要知道，为了确定调用异步和迭代器方法的实际重载，（这在以前）从堆栈信息中跟踪几乎是不可能的：

System.Collections.Generic.KeyNotFoundException: The given key '0' was not present in the dictionary.at System.Collections.Generic.Dictionary`2.get_Item(TKey key)at Program.Sequence(Int32 start)+MoveNext()at Program.Sequence(Int32 start, Int32 end)+MoveNext()at Program.MethodAsync()at Program.MethodAsync(Int32 v0)at Program.MethodAsync(Int32 v0, Int32 v1)at Program.MethodAsync(Int32 v0, Int32 v1, Int32 v2)at Program.MethodAsync(Int32 v0, Int32 v1, Int32 v2, Int32 v3)at Program.Main(String[] args)

问题: “使堆栈信息可读”

David Kean(@davkean) 于 2017 年 10 月 13 日在dotnet/corefx#24627 提出 使堆栈信息可读 的问题:

如今在任务 (Task)、异步 (async) 和等待 (await) 中普遍存在堆栈难以阅读的现象

对于在 .NET 中输出异步的可阅读堆栈信息已经梦魂萦绕了5年...

我直到 2017 年 10 月才意识到这个问题，好在 .NET Core 现在是完全开源的，所以我可以改变它。

作为参考，请参阅文章底部的代码，它将会输出如下的异常堆栈：

System.Collections.Generic.KeyNotFoundException: The given key was not present in the dictionary.   at System.ThrowHelper.ThrowKeyNotFoundException()   at System.Collections.Generic.Dictionary`2.get_Item(TKey key)   at Program.<Sequence>d__8.MoveNext()   at Program.<Sequence>d__7.MoveNext()   at Program.<MethodAsync>d__6.MoveNext()--- End of stack trace from previous location where exception was thrown ---at System.Runtime.ExceptionServices.ExceptionDispatchInfo.Throw()   at System.Runtime.CompilerServices.TaskAwaiter.HandleNonSuccessAndDebuggerNotification(Task task)   at Program.<MethodAsync>d__5.MoveNext()--- End of stack trace from previous location where exception was thrown ---at System.Runtime.ExceptionServices.ExceptionDispatchInfo.Throw()   at System.Runtime.CompilerServices.TaskAwaiter.HandleNonSuccessAndDebuggerNotification(Task task)   at Program.<MethodAsync>d__4.MoveNext()--- End of stack trace from previous location where exception was thrown ---at System.Runtime.ExceptionServices.ExceptionDispatchInfo.Throw()   at System.Runtime.CompilerServices.TaskAwaiter.HandleNonSuccessAndDebuggerNotification(Task task)   at Program.<MethodAsync>d__3.MoveNext()--- End of stack trace from previous location where exception was thrown ---at System.Runtime.ExceptionServices.ExceptionDispatchInfo.Throw()   at System.Runtime.CompilerServices.TaskAwaiter.HandleNonSuccessAndDebuggerNotification(Task task)   at Program.<MethodAsync>d__2.MoveNext()--- End of stack trace from previous location where exception was thrown ---at System.Runtime.ExceptionServices.ExceptionDispatchInfo.Throw()   at System.Runtime.CompilerServices.TaskAwaiter.HandleNonSuccessAndDebuggerNotification(Task task)   at Program.<Main>d__1.MoveNext()

（为简洁起见，删除了行号，如 in C:\Work\Exceptions\Program.cs:line 14）

有时甚至可见更详细的胶水信息：

   at System.Runtime.ExceptionServices.ExceptionDispatchInfo.Throw() at System.Runtime.CompilerServices.TaskAwaiter.ThrowForNonSuccess(Task task)   at System.Runtime.CompilerServices.TaskAwaiter.HandleNonSuccessAndDebuggerNotification(Task task) at System.Runtime.CompilerServices.TaskAwaiter.ValidateEnd(Task task) at System.Runtime.CompilerServices.TaskAwaiter.GetResult()

跟踪堆栈的一般用途是确定在源代码中发生错误的位置以及对应的路径。

然而，现如今我们无法避免异步堆栈，同时还要面对很多无用的噪声（干扰）。

PR: “隐藏请求中的异常堆栈帧 ”

堆栈信息通常是从抛出异常的地方直接输出的。

当异步函数抛出异常时，它会执行一些额外的步骤来确保响应，并且在延续执行（既定方法）之前会进行清理。

当这些额外的步骤被添加到调用堆栈中时，它们不会对我们确定堆栈信息有任何帮助，因为它们实际上是在出现异常之后执行。

所以它们是非常嘈杂和重复的，对于确定代码在哪里出现异常上并没有任何额外的价值。

实际产生的调用堆栈和输出的不一致:

在删除这些异常堆栈帧后（隐藏请求中的异常堆栈帧 dotnet/coreclr#14652 ），跟踪堆栈开始变得平易近人：

System.Collections.Generic.KeyNotFoundException: The given key was not present in the dictionary.at System.Collections.Generic.Dictionary`2.get_Item(TKey key)at Program.<Sequence>d__7.MoveNext()at Program.<Sequence>d__6.MoveNext()at Program.<MethodAsync>d__5.MoveNext()
--- End of stack trace from previous location where exception was thrown ---at Program.<MethodAsync>d__4.MoveNext()
--- End of stack trace from previous location where exception was thrown ---at Program.<MethodAsync>d__3.MoveNext()
--- End of stack trace from previous location where exception was thrown ---at Program.<MethodAsync>d__2.MoveNext()
--- End of stack trace from previous location where exception was thrown ---at Program.<MethodAsync>d__1.MoveNext()
--- End of stack trace from previous location where exception was thrown ---at Program.<Main>d__0.MoveNext()

并且输出的调用堆栈与实际的调用堆栈一致:

PR: “删除异步的 Edi 边界”

异步中的异常使用 ExceptionDispatchInfo 类传播，这意味着着在每个连接点都会有这样的边界信息：

--- End of stack trace from previous location where exception was thrown ---

这只是让你知道两部分调用堆栈已经合并，并且有个过渡。

它如此频繁地出现在异步中，增加了很多噪音，并没有任何附加价值。

在 删除异步的 Edi 边界 dotnet/coreclr#15781 后 所有的 堆栈信息变得有价值：

System.Collections.Generic.KeyNotFoundException: The given key was not present in the dictionary.at System.Collections.Generic.Dictionary`2.get_Item(TKey key)at Program.<Sequence>d__7.MoveNext()at Program.<Sequence>d__6.MoveNext()at Program.<MethodAsync>d__5.MoveNext()at Program.<MethodAsync>d__4.MoveNext()at Program.<MethodAsync>d__3.MoveNext()at Program.<MethodAsync>d__2.MoveNext()at Program.<MethodAsync>d__1.MoveNext()at Program.<Main>d__0.MoveNext()

PR: “处理迭代器和异步方法中的堆栈”

在上一节中，堆栈已经是干净了，但是要确定是什么情况，还是很困难的一件事。

堆栈中包含着由 C# 编译器创建的异步状态机的基础方法签名，而不仅仅是（你的）源代码产生的。

你可以确定方法的名称，但是如果不深入挖掘，则无法确定所调用的实际重载。

在 处理迭代器和异步方法中的堆栈 dotnet/coreclr#14655 之后，堆栈更接近原始来源：

System.Collections.Generic.KeyNotFoundException: The given key was not present in the dictionary.at System.Collections.Generic.Dictionary`2.get_Item(TKey key)at Program.Sequence(Int32 start)+MoveNext()at Program.Sequence(Int32 start, Int32 end)+MoveNext()at Program.MethodAsync()at Program.MethodAsync(Int32 v0)at Program.MethodAsync(Int32 v0, Int32 v1)at Program.MethodAsync(Int32 v0, Int32 v1, Int32 v2)at Program.MethodAsync(Int32 v0, Int32 v1, Int32 v2, Int32 v3)at Program.Main(String[] args)

PR: “实现 KeyNotFoundException 的堆栈追踪”

因为有额外的奖励，我着手实现抛出 “ KeyNotFoundException ” 的堆栈追踪。

Anirudh Agnihotry (@Anipik) 提出了 实现 KeyNotFoundException 的堆栈追踪dotnet/coreclr#15201

这意味着这个异常现在要告诉你哪个 key 找不到的信息：

System.Collections.Generic.KeyNotFoundException: The given key '0' was not present in the dictionary.at System.Collections.Generic.Dictionary`2.get_Item(TKey key)at Program.Sequence(Int32 start)+MoveNext()at Program.Sequence(Int32 start, Int32 end)+MoveNext()at Program.MethodAsync()at Program.MethodAsync(Int32 v0)at Program.MethodAsync(Int32 v0, Int32 v1)at Program.MethodAsync(Int32 v0, Int32 v1, Int32 v2)at Program.MethodAsync(Int32 v0, Int32 v1, Int32 v2, Int32 v3)at Program.Main(String[] args)

支持的运行时以及相关进展

这些改进将在稍晚的时间发布到 Mono 上，并在下一个阶段发布。但是如果您使用的是较早的运行时版本 (.NET Core 1.0 - 2.0; .NET Framework 或 Mono) 想要获得一样的效果，需要使用 Ben.Demystifier 提供的Nuget 包，并且在你的异常中使用 .Demystify() 的方法:

catch (Exception e)
{Console.WriteLine(e.Demystify());
}

这些改进将会产生与 C＃相得映彰的输出信息，最令人高兴的还是全都会被内置！

System.Collections.Generic.KeyNotFoundException: The given key was not present in the dictionary.at TValue System.Collections.Generic.Dictionary<TKey, TValue>.get_Item(TKey key)at IEnumerable<int> Program.Sequence(int start)+MoveNext()at IEnumerable<int> Program.Sequence(int start, int end)+MoveNext()at async Task<int> Program.MethodAsync()at async Task<int> Program.MethodAsync(int v0)at async Task<int> Program.MethodAsync(int v0, int v1)at async Task<int> Program.MethodAsync(int v0, int v1, int v2)at async Task<int> Program.MethodAsync(int v0, int v1, int v2, int v3)at async Task Program.Main(string[] args)

.NET Core 2.1 将成为 .NET Core 的最佳版本，原因说不完，这只是变得更美好的一小步...

上面提到的触发异常的代码及对应的堆栈信息

class Program{   
 static Dictionary<int, int> _dict = new Dictionary<int, int>(); 
    static async Task Main(string[] args)    {      
      try{          
        var value = await MethodAsync(1, 2, 3, 4);Console.WriteLine(value);}       
        catch (Exception e){Console.WriteLine(e);}}   
 static async Task<int> MethodAsync(int v0, int v1, int v2, int v3)     
   => await MethodAsync(v0, v1, v2);   
  static async Task<int> MethodAsync(int v0, int v1, int v2)  
      => await MethodAsync(v0, v1);   
   static async Task<int> MethodAsync(int v0, int v1)      
  => await MethodAsync(v0);    
   static async Task<int> MethodAsync(int v0)    
    => await MethodAsync();   
   static async Task<int> MethodAsync()    {      
     await Task.Delay(1000);       
      int value = 0;       
    foreach (var i in Sequence(0, 5))        {       
         value += i;}        return value;}   
   
    static IEnumerable<int> Sequence(int start, int end)    {     
       for (var i = start; i <= end; i++){          
         foreach (var item in Sequence(i))            {   
                      yield return item;}}}  
    static IEnumerable<int> Sequence(int start)    {   
                           var end = start + 10;      
         for (var i = start; i <= end; i++){_dict[i] = _dict[i] + 1; // Throws exceptionyield return i;}}
}