再帰とawait/asyncキーワード

Question

私はawaitキーワードがどのように機能するかについて脆​​弱な理解を持っています。

私の頭が回転する問題は、再帰の使用です。ここに例があります：

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 
using System.Threading.Tasks; 

namespace TestingAwaitOverflow 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      var task = TestAsync(0); 
      System.Threading.Thread.Sleep(100000); 
     } 

     static async Task TestAsync(int count) 
     { 
      Console.WriteLine(count); 
      await TestAsync(count + 1); 
     } 
    } 
} 

これは明らかにStackOverflowExceptionをスローします。

私の理解は、非同期操作に関する情報を含むTaskオブジェクトを返す最初の非同期アクションまで、コードが実際に同期して実行されるためです。この場合、非同期操作はありません。したがって、最終的にTaskが返されるという誤った約束の下で再帰し続けます。

は今ほんの少しそれを変更：

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 
using System.Threading.Tasks; 

namespace TestingAwaitOverflow 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      var task = TestAsync(0); 
      System.Threading.Thread.Sleep(100000); 
     } 

     static async Task TestAsync(int count) 
     { 
      await Task.Run(() => Console.WriteLine(count)); 
      await TestAsync(count + 1); 
     } 
    } 
} 

この1つはStackOverflowExceptionをスローしません。私はsortofを参照してください、しかし、私はそれが腸の感情（それはおそらくスタックのビルドを避けるためにコールバックを使用するように配置されているコードを扱うだろうが、私はその腸の感情を説明）

だから、私は2つの質問があります：コードの第二のバッチは、StackOverflowExceptionを避けるどのよう

• を？
• コードの2番目のバッチは他のリソースを浪費しますか？ （例えば、ヒープ上に不当に多数のタスクオブジェクトを割り当てていますか？）

ありがとう！

Answer 1

どの関数でも最初の部分が同期して実行されます。最初のケースでは、スタックオーバーフローが発生するため、スタックオーバーフローが発生します。

最初の待ち時間（直ちに完了しない - これは高い確率で起こります）は、関数が戻り値を返すようにします（スタック領域をあきらめます）。残りの部分を継続としてキューに入れます。 TPLは継続が深く深く巣立つことを保証しません。スタックオーバーフローのリスクがある場合、継続はスレッドプールにキューイングされ、スタックがリセットされます（これはいっぱいになりました）。

2番目の例はまだオーバーフローする可能性があります。Task.Runタスクがいつもすぐに完了したらどうなりますか？ （これはそうではありませんが、正しいOSスレッドスケジューリングでは可能です。そうすれば、非同期関数は中断されることはありません（すべてのスタック領域を解放して解放させます）。ケース1と同じ動作が発生します。