コンパイラによる非同期コード変換の詳細

スタブ法

public async Task<Int32> MethodTaskAsync() { Int32 one = 33; await Task.Delay(1000); return one; }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

  [AsyncStateMachine(typeof(Program.<MethodTaskAsync>d__0))] public Task<int> MethodTaskAsync() { Program.<MethodTaskAsync>d__0 <MethodTaskAsync>d__ = new Program.<MethodTaskAsync>d__0(); <MethodTaskAsync>d__.<>4__this = this; <MethodTaskAsync>d__.<>t__builder = AsyncTaskMethodBuilder<int>.Create(); <MethodTask>d__.<>1__state = -1; AsyncTaskMethodBuilder<int> <>t__builder = <MethodTaskAsync>d__.<>t__builder; <>t__builder.Start<Program.<MethodTaskAsync>d__0>(ref <MethodTaskAsync>d__); return <MethodTaskAsync>d__.<>t__builder.Task; }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ステートマシン構造

  public int32 '<>1__state'; private int32 '<one>5__1'; public Mechanism_async.Program '<>4__this'; public System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32> '<>t__builder'; private System.Runtime.CompilerServices.TaskAwaiter '<>u__awaiter';
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

• 最初の変数<> 1_stateには、到達したawaitステートメントの数が格納されます。 待機が発生するまで、この変数の値は-1です。 元のメソッドのすべての待機演算子には番号が付けられ、一時停止の時点で待機番号が状態変数に入力されます。その後、実行を再開する必要があります。
• 次の変数<one> 5_1は、元の変数oneを格納するために使用されます。 コンパイラーによって生成されたコードでは、この変数へのすべての呼び出しは、このメンバー変数への呼び出しに置き換えられます。
• 次に、変数<> 4_thisが見つかります。 これは、非静的非同期メソッドの状態マシンでのみ検出され、呼び出されたオブジェクトに代わって含まれています。 ある意味では、これは別のローカルメソッド変数であり、同じオブジェクトの他の変数メンバーにアクセスするためにのみ使用されます。 非同期メソッドを変換するプロセスでは、元のオブジェクトのコードがステートマシンの構造に転送されるため、非同期メソッドを保存して明示的に使用する必要があります。
• AsyncTaskMethodBuilder（<> t__builder） -タスクを返す非同期メソッドのビルダーを表します。 このヘルパー型とそのメンバーは、コンパイラーによって使用されることを意図しています。 これにより、すべてのステートマシンに共通のロジックがカプセル化されます。 スタブによって返されるTaskオブジェクトを作成するのはこのタイプです。 実際、このタイプは、後で完了できるパペットタスクを作成するという意味で、TaskCompletionSourceクラスに非常に似ています。 TaskCompletionSourceとの違いは、AsyncTaskMethodBuilderが非同期メソッド用に最適化されており、パフォーマンスを向上させるために、クラスではなく構造体であることです。
• TaskAwaiter（<> u_awaiter） -これは、非同期タスクの完了を待つ一時オブジェクトが保存される場所です。 構造体としても提示され、待機オペレーターがタスクが完了したという通知にサインアップするのに役立ちます。

 .class nested private auto ansi sealed beforefieldinit '<MethodTaskAsync>d__0' extends [mscorlib]System.Object implements [mscorlib]System.Runtime.CompilerServices.IAsyncStateMachine { .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) // Fields .field public int32 '<>1__state' .field public valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32> '<>t__builder' .field public class Asynchronous.Program '<>4__this' .field private int32 '<one>5__1' .field private valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter '<>u__1' // Methods .method public hidebysig specialname rtspecialname instance void .ctor () cil managed { // Method begins at RVA 0x20ef // Code size 8 (0x8) .maxstack 8 IL_0000: ldarg.0 IL_0001: call instance void [mscorlib]System.Object::.ctor() IL_0006: nop IL_0007: ret } // end of method '<MethodTaskAsync>d__0'::.ctor .method private final hidebysig newslot virtual instance void MoveNext () cil managed { .override method instance void [mscorlib]System.Runtime.CompilerServices.IAsyncStateMachine::MoveNext() // Method begins at RVA 0x20f8 // Code size 185 (0xb9) .maxstack 3 .locals init ( [0] int32, [1] int32, [2] valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter, [3] class Asynchronous.Program/'<MethodTaskAsync>d__0', [4] class [mscorlib]System.Exception ) IL_0000: ldarg.0 IL_0001: ldfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>1__state' IL_0006: stloc.0 .try { IL_0007: ldloc.0 IL_0008: brfalse.s IL_000c IL_000a: br.s IL_000e IL_000c: br.s IL_0054 IL_000e: nop IL_000f: ldarg.0 IL_0010: ldc.i4.s 33 IL_0012: stfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<one>5__1' IL_0017: ldc.i4 1000 IL_001c: call class [mscorlib]System.Threading.Tasks.Task [mscorlib]System.Threading.Tasks.Task::Delay(int32) IL_0021: callvirt instance valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter [mscorlib]System.Threading.Tasks.Task::GetAwaiter() IL_0026: stloc.2 IL_0027: ldloca.s 2 IL_0029: call instance bool [mscorlib]System.Runtime.CompilerServices.TaskAwaiter::get_IsCompleted() IL_002e: brtrue.s IL_0070 IL_0030: ldarg.0 IL_0031: ldc.i4.0 IL_0032: dup IL_0033: stloc.0 IL_0034: stfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>1__state' IL_0039: ldarg.0 IL_003a: ldloc.2 IL_003b: stfld valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>u__1' IL_0040: ldarg.0 IL_0041: stloc.3 IL_0042: ldarg.0 IL_0043: ldflda valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32> Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>t__builder' IL_0048: ldloca.s 2 IL_004a: ldloca.s 3 IL_004c: call instance void valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32>::AwaitUnsafeOnCompleted<valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter, class Asynchronous.Program/'<MethodTaskAsync>d__0'>(!!0&, !!1&) IL_0051: nop IL_0052: leave.s IL_00b8 IL_0054: ldarg.0 IL_0055: ldfld valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>u__1' IL_005a: stloc.2 IL_005b: ldarg.0 IL_005c: ldflda valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>u__1' IL_0061: initobj [mscorlib]System.Runtime.CompilerServices.TaskAwaiter IL_0067: ldarg.0 IL_0068: ldc.i4.m1 IL_0069: dup IL_006a: stloc.0 IL_006b: stfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>1__state' IL_0070: ldloca.s 2 IL_0072: call instance void [mscorlib]System.Runtime.CompilerServices.TaskAwaiter::GetResult() IL_0077: nop IL_0078: ldloca.s 2 IL_007a: initobj [mscorlib]System.Runtime.CompilerServices.TaskAwaiter IL_0080: ldarg.0 IL_0081: ldfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<one>5__1' IL_0086: stloc.1 IL_0087: leave.s IL_00a3 } // end .try catch [mscorlib]System.Exception { IL_0089: stloc.s 4 IL_008b: ldarg.0 IL_008c: ldc.i4.s -2 IL_008e: stfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>1__state' IL_0093: ldarg.0 IL_0094: ldflda valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32> Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>t__builder' IL_0099: ldloc.s 4 IL_009b: call instance void valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32>::SetException(class [mscorlib]System.Exception) IL_00a0: nop IL_00a1: leave.s IL_00b8 } // end handler IL_00a3: ldarg.0 IL_00a4: ldc.i4.s -2 IL_00a6: stfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>1__state' IL_00ab: ldarg.0 IL_00ac: ldflda valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32> Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>t__builder' IL_00b1: ldloc.1 IL_00b2: call instance void valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32>::SetResult(!0) IL_00b7: nop IL_00b8: ret } // end of method '<MethodTaskAsync>d__0'::MoveNext .method private final hidebysig newslot virtual instance void SetStateMachine ( class [mscorlib]System.Runtime.CompilerServices.IAsyncStateMachine stateMachine ) cil managed { .custom instance void [mscorlib]System.Diagnostics.DebuggerHiddenAttribute::.ctor() = ( 01 00 00 00 ) .override method instance void [mscorlib]System.Runtime.CompilerServices.IAsyncStateMachine::SetStateMachine(class [mscorlib]System.Runtime.CompilerServices.IAsyncStateMachine) // Method begins at RVA 0x21d0 // Code size 1 (0x1) .maxstack 8 IL_0000: ret } // end of method '<MethodTaskAsync>d__0'::SetStateMachine } // end of class <MethodTaskAsync>d__0
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

MoveNextメソッド

 .locals init ( [0] int32, [1] int32, [2] valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter, [3] class Asynchronous.Program/'<MethodTaskAsync>d__0', [4] class [mscorlib]System.Exception )
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

• localsinitは、メソッドに設定されるフラグであり、値型のローカルインスタンスを初期化する役割を果たします。 これはメソッドヘッダーで定義され、変数をCILで初期化する必要があることを意味します。 ここでは、このメソッドで使用されるすべてのインスタンスが定義され、それらは慣例として配列として定義され、デフォルトで設定されます：オブジェクトタイプおよびオブジェクトを含む値タイプフィールドの場合はNULL、整数タイプの場合は0、浮動小数点。
  
  
  
  したがって、メソッドに入ると、メソッドで使用するための既製のローカル変数が既にあります。
• valuetype-重要な型、つまり 構造

  IL_0000: ldarg.0 IL_0001: ldfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>1__state' IL_0006: stloc.0
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

• ldarg.0-引数0 をスタックにロードします。 インデックス0の引数は、着信引数からコピーされた計算スタック（.NET中間言語はスタック言語です）にロードされます。 しかし、メソッドには引数がありません！ 事実、非静的メソッドのデフォルトでは、インデックス0の引数は常にクラスのインスタンスへのポインターです-これ。 同時に引数がある場合は、すでに1、2などのインデックスがあります。 静的メソッドでは、引数は0からカウントを開始します。
• ldfld-オブジェクトのフィールド値を検索します。リンクはスタック上にあります。 そして、リンク自体はldarg.0を使用して上記でロードされましたが、このフィールドに格納された値はそれに応じてスタックにロードされました。
• stloc.0-スタックの一番上の値（MethodTaskAsync.stateオブジェクトフィールドの値）を取得し、インデックス0のローカル変数のリストに保存します。ローカル変数のリストもlocalsinitで宣言されました。 便利ですね。

  IL_0007: ldloc.0 IL_0008: brfalse.s IL_000c IL_000a: br.s IL_000e IL_000c: br.s IL_0054 IL_000e: nop IL_000f: ldarg.0 IL_0010: ldc.i4.s 33 IL_0012: stfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<one>5__1' IL_0017: ldc.i4 1000 IL_001c: call class [mscorlib]System.Threading.Tasks.Task [mscorlib]System.Threading.Tasks.Task::Delay(int32) IL_0021: callvirt instance valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter [mscorlib]System.Threading.Tasks.Task::GetAwaiter() IL_0026: stloc.2 IL_0027: ldloca.s 2 IL_0029: call instance bool [mscorlib]System.Runtime.CompilerServices.TaskAwaiter::get_IsCompleted() IL_002e: brtrue.s IL_0070
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

• ldloc.0およびbrfalse.s-インデックス0のローカル変数を計算スタックにロードします。 ここでは、保存されたばかりの状態がスタックにロードされ、状態値がfalseの場合、つまりbrfalse.sコマンドが制御を最終命令に移します。 0.メソッドを初めて入力したときの値は-1で、これは命令ストリームの実行がさらに進むことを意味します。
• br.s IL_000e-最終命令の無条件転送。 ここで、実行する必要があるコードの別の部分に移動します。 この場合、次のコマンドは行IL_000eで実行されます。
• br.s IL_0054-無条件ジャンプでもあり、brfalse.sコマンドが実行されると、このコマンドのみが実行されます
• nop-操作コードに修正が含まれている場合、スペースを埋めます。 処理サイクルは完了できますが、重要な操作は実行されません。
• ldarg.0およびldc.i4.s 33-ここではthisポインターがロードされ、数値33がスタックにロードされます。ここでldc.i4.s-Int8型の値をInt32（短い形式の書き込み）として計算スタックにプッシュします。
• stfld-オブジェクトへの参照により、オブジェクトのフィールドの値を新しい値に置き換えます。 ロードされたポインタとスタック上の数値33を使用して、新しい値33がロードされ、メンバー変数<one> 5_1（デフォルトで0に初期化されます）に格納されます。ご覧のとおり、これは元のメソッドの最初の行です。 元のメソッドのコードが実行されるのは、このブロックです。
• ldc.i4 1000 -Int32型の変数をInt32としてスタックにロードします。
• 呼び出しクラス[mscorlib] System.Threading.Tasks.Task [mscorlib] System.Threading.Tasks.Task :: Delay（int32） -メソッドはここで呼び出されます。 （callvirt命令と比較した）この命令の特性は、呼び出されたメソッドのアドレスが静的に計算されることです。つまり、JITコンパイル中であってもです。 この場合、Delayメソッドは静的です。 この場合、呼び出されたメソッドのパラメーターは左から右にスタックに配置する必要があります。つまり、最初に最初のパラメーターをスタックにロードし、次に2番目にパラメーターをロードする必要があります。
• callvirt instance valuetype [mscorlib] System.Runtime.CompilerServices.TaskAwaiter [mscorlib] System.Threading.Tasks.Task :: GetAwaiter（） -この命令は、呼び出されたメソッドのアドレスがタイプ分析によってプログラム実行中に決定されるという点で主に呼び出しと異なりますメソッドが呼び出されているオブジェクト。 これにより、ポリモーフィズムをサポートするために必要な遅延バインディングの概念が実装されます。 この場合、戻り値（この場合はTaskAwaiter）はスタックにプッシュされます。TaskAwaiterは、非同期タスクの完了を待機しているオブジェクトを表します。
• stloc.2-スタックの一番上の値を取得し、インデックス2のローカル変数のリストに保存します。スタックの一番上の値はGetAwaiter（）オペレーションの結果であり、したがってこの値はインデックス2のローカル変数に格納されます
• ldloca.s 2-インデックス2のローカル値をスタックに読み込みます-最近保存した値
• 呼び出しインスタンスbool [mscorlib] System.Runtime.CompilerServices.TaskAwaiter :: get_IsCompleted（） -プロパティにアクセスしたときにタスクが完了したかどうかを示す値をスタックにロードします：trueまたはfalse
• brtrue.s IL_0070-タスクが完了した場合、別のコードの実行に進みます。完了していない場合、先に進みます。

 public void MoveNext() { switch(this.1_state) { case -1: this.one = 33; var task = Task.Delay(1000); var awaiter = task.GetAwaiter(); //  ,     ,     (  IL-) if(!awaiter.IsCompleted) { ... return; } } ... //  }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

一時停止方法

  IL_0030: ldarg.0 IL_0031: ldc.i4.0 IL_0032: dup IL_0033: stloc.0 IL_0034: stfld int32 Asynchronous.Program/'<MethosTaskAsync>d__0'::'<>1__state' IL_0039: ldarg.0 IL_003a: ldloc.2 IL_003b: stfld valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter Asynchronous.Program/'<MethosTaskAsync>d__0'::'<>u__1' IL_0040: ldarg.0 IL_0041: stloc.3 IL_0042: ldarg.0 IL_0043: ldflda valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32> Asynchronous.Program/'<MethosTaskAsync>d__0'::'<>t__builder' IL_0048: ldloca.s 2 IL_004a: ldloca.s 3 IL_004c: call instance void valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32>::AwaitUnsafeOnCompleted<valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter, class Asynchronous.Program/'<MethosTaskAsync>d__0'>(!!0&, !!1&) IL_0051: nop IL_0052: leave.s IL_00b8
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

• このコードは、状態変数を0に変更する役割を果たします。コマンドstfld int32 Asynchronous.Program / 'd__0' :: '<> 1__state' I repeatは、フィールド値を新しい値に変更することを意味します。 そして、正しい場所から再開するには、状態変数を変更する必要があります。
  
  
• 次に、 TaskAwaiterオブジェクトを使用して、 タスクタスクの完了に関する通知をサブスクライブします。 これは、インデックス2のローカル変数がスタックにロードされ、フィールド値がこのローカル変数（ ldloc.2およびstfld valuetype [mscorlib] System.Runtime.CompilerServices.TaskAwaiter Asynchronous.Program / 'd__0' :: :: <>コマンドの値に変更されると発生しますu__1' ). , .
  
  
• AwaitUnsafeOnCompleted . await, , . awaiter. : AsyncTaskMethodBuilder.AwaitOnCompleted(ref TAwaiter awaiter, ref TStateMachine stateMachine) . 2 3, 2 — valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter, 3 — class Asynchronous.Program/'d__0'

  /// <summary>   default(TResult).</summary> internal readonly static Task<TResult> s_defaultResultTask = AsyncTaskCache.CreateCacheableTask(default(TResult)); /// <summary>,   IAsyncStateMachine.</summary> private AsyncMethodBuilderCore m_coreState; // mutable struct: must not be readonly /// <summary>  </summary> private Task<TResult> m_task; // lazily-initialized: must not be readonly /// <summary> ///       ,  awaiter  /// </summary> /// <typeparam name="TAwaiter">  awaiter.</typeparam> /// <typeparam name="TStateMachine">   .</typeparam> /// <param name="awaiter">The awaiter.</param> /// <param name="stateMachine"> .</param> [SecuritySafeCritical] public void AwaitUnsafeOnCompleted<TAwaiter, TStateMachine>( ref TAwaiter awaiter, ref TStateMachine stateMachine) where TAwaiter : ICriticalNotifyCompletion where TStateMachine : IAsyncStateMachine { try { AsyncMethodBuilderCore.MoveNextRunner runnerToInitialize = null; var continuation = m_coreState.GetCompletionAction(AsyncCausalityTracer.LoggingOn ? this.Task : null, ref runnerToInitialize); //    await,            if (m_coreState.m_stateMachine == null) { //         var builtTask = this.Task; //      internal-, //      . m_coreState.PostBoxInitialization(stateMachine, runnerToInitialize, builtTask); } awaiter.UnsafeOnCompleted(continuation); } catch (Exception e) { AsyncMethodBuilderCore.ThrowAsync(e, targetContext: null); } }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

• s_defaultResultTask = AsyncTaskCache.CreateCacheableTask（デフォルト（TResult）） -これは、特別なDoNotDisposeフラグを指定するときにDisposeを実装せずにタスクを作成します。このアプローチは、キャ​​ッシュまたは再利用のためのタスクを作成するときに使用されます。
• AsyncMethodBuilderCore m_coreState - IAsyncStateMachineの実行に関連付けられた状態を表します。これが構造です。
• AsyncMethodBuilderCore.MoveNextRunner runnerToInitialize — MoveNext . , , MoveNext.
• m_coreState.GetCompletionAction(AsyncCausalityTracer.LoggingOn? this.Task: null, ref runnerToInitialize) — Action UnsafeOnCompleted . .
• awaiter.UnsafeOnCompleted（継続） -インスタンスの実行が完了したときに呼び出されるアクションの継続をスケジュールします。この場合、コンテキストを復元する必要があるかどうかに応じて、MoveNextメソッドがコンテキストとメソッドの一時停止で呼び出されるか、タスクが実行されたスレッドのコンテキストで実行が続行されます。

 public void MoveNext() { switch(this.1_state) { case -1: this.one = 33; var task = Task.Delay(1000); var awaiter = task.GetAwaiter(); //  ,     ,     (  IL-) if(!awaiter.IsCompleted) { this.1_state = 0; this.u__awaiter = awaiter; //u__awaiter   TaskAwaiter t_builder.AwaitUnsafeOnCompleted(ref this.u_awaiter, ref <MethodTaskAsync>d__0); return; } } ... //  }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

メソッドの再開

  IL_0054: ldarg.0 IL_0055: ldfld valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>u__1' IL_005a: stloc.2 IL_005b: ldarg.0 IL_005c: ldflda valuetype [mscorlib]System.Runtime.CompilerServices.TaskAwaiter Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>u__1' IL_0061: initobj [mscorlib]System.Runtime.CompilerServices.TaskAwaiter IL_0067: ldarg.0 IL_0068: ldc.i4.m1 IL_0069: dup IL_006a: stloc.0 IL_006b: stfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>1__state' IL_0070: ldloca.s 2 IL_0072: call instance void [mscorlib]System.Runtime.CompilerServices.TaskAwaiter::GetResult() IL_0077: nop IL_0078: ldloca.s 2 IL_007a: initobj [mscorlib]System.Runtime.CompilerServices.TaskAwaiter IL_0080: ldarg.0 IL_0081: ldfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<one>5__1' IL_0086: stloc.1 IL_0087: leave.s IL_00a3 IL_00a3: ldarg.0 IL_00a4: ldc.i4.s -2 IL_00a6: stfld int32 Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>1__state' IL_00ab: ldarg.0 IL_00ac: ldflda valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32> Asynchronous.Program/'<MethodTaskAsync>d__0'::'<>t__builder' IL_00b1: ldloc.1 IL_00b2: call instance void valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder`1<int32>::SetResult(!0) IL_00b7: nop
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

• 最初の部分では、インデックス0の引数が読み込まれます-これは、TaskAwaiter <> u__1 変数が検索され、その値がインデックス2のローカル変数に格納され、再初期化されます。その後、値-1がスタックにロードされ、この値が1__state変数に保存されるため、タスクの状態がリセットされます。
• 2番目の部分では、ローカル変数awaiterがスタックにロードされ、GetResult（）呼び出しが行われます。次に、ローカル変数のスタックへの新しいロードとその新しい初期化。次に、変数5__1がスタックにロードされ、インデックス1でローカル変数に保存され、別のコマンドへの移行が行われます。
• 3番目の部分では、-2をスタックにロードし、1_state変数に格納します。次に、t_builder変数をスタックにロードし、SetResult（1）メソッドを呼び出します。

 public void MoveNext() { switch(this.1_state) { case -1: this.one = 33; var task = Task.Delay(1000); var awaiter = task.GetAwaiter(); //  ,     ,     (  IL-) if(!awaiter.IsCompleted) { this.1_state = 0; this.u__awaiter = awaiter; //u__awaiter   TaskAwaiter t_builder.AwaitUnsafeOnCompleted(ref this.u_awaiter, ref <MethodTaskAsync>d__0); return; } case 0: var awaiter = this.u_awaiter; this.u_awaiter = new System.Runtime.CompilerServices.TaskAwaiter(); this.1_state = -1; awaiter.GetResult(); awaiter = new System.Runtime.CompilerServices.TaskAwaiter(); var one = this.<one>5_1; this.1_state = -2; this.t_builder.SetResult(one); } }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

同期完了

 public void MoveNext() { switch(this.1_state) { case -1: this.one = 33; var task = Task.Delay(1000); var awaiter = task.GetAwaiter(); //  ,     ,     (  IL-) if(awaiter.IsCompleted) { goto case 0; } case 0: this.1_state = 0; ... } }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

...