C# async-await控制流原理及代码执行顺序技术问询

一、核心问题解答 #

1. 线程何时回到await后的方法？ #

当await等待的Task完成时，运行时会触发回调，继续执行await之后的代码。具体执行的线程由当前环境的同步上下文决定：

• 若在UI线程、传统ASP.NET这类有同步上下文的环境，后续代码会回到原上下文的线程执行；
• 若在控制台、ASP.NET Core这类无同步上下文的环境，后续代码可能由线程池任意空闲线程执行。

本质上await就是给Task注册了一个“完成通知”，Task一结束就会触发这个通知，让方法从暂停的位置继续跑。

2. 控制流是编译时还是运行时决定？ #

• 编译时：编译器会把async方法转换成状态机（一个实现IAsyncStateMachine的结构体），把方法拆成多个状态段（比如await前的代码、await后的代码），这个结构是固定的，用来保存方法的局部变量、执行位置等状态，避免Task完成后要从头执行整个方法。
• 运行时：具体什么时候执行哪个状态段，完全由被await的Task的完成时机决定。比如多个并行Task中，哪个先完成，对应的后续代码就先执行。

二、示例代码执行流程分析 #

示例1：并行Task的await顺序 #

public async Task<ActionResult> Main()
{
    var task1 = SomeMethod("1");
    var task2 = SomeMethod("2");
    var task3 = SomeMethod("3");
    var task4 = SomeMethod("4");

    await task2;
    await task3;
    await task4;
    await task1;

    return Ok();
}

private async Task SomeMethod(string input)
{
    await Task.Delay(rnd.Next(1, 200));
    Console.WriteLine(input);
}

执行流程：

1. 调用四个SomeMethod时，每个方法都会同步执行到await Task.Delay(...)，然后释放线程进入等待状态，此时四个Task.Delay已经在并行运行。
2. 主线程开始依次await四个Task，但注意：SomeMethod里的Console.WriteLine(input)是在Task.Delay完成后才执行的，这个输出的顺序完全由Task.Delay的随机时长决定，和主线程await的顺序无关。比如如果task1的Delay最先结束，Console.WriteLine("1")会先打印，哪怕主线程还在等task2。

输出特点：

Console.WriteLine的输出顺序是随机的（1-4任意排列），主线程的await顺序只决定自己继续往下走的时机，不影响各个SomeMethod内部的输出时机。

示例2：嵌套async方法的同步执行段 #

private async Task Main()
{
    Console.WriteLine("1");
    var result = Method1();
    Console.WriteLine("2");
    await result;
    Console.WriteLine("3");
}

private async Task Method1()
{
    Console.WriteLine("4");
    var result = Method2();
    Console.WriteLine("5");
    await result;
}

private async Task Method2()
{
    Console.WriteLine("6");
    var result = Method3();
    Console.WriteLine("7");
    await Task.Delay(300);
    await result;
}

private async Task Method3()
{
    Console.WriteLine("8");
    await Task.Delay(300);
    Console.WriteLine("9");
}

执行流程：

1. 同步执行阶段（未遇到await前）：

   • 主线程跑Main，先打印1；
   • 调用Method1()，同步执行Method1：打印4，调用Method2()；
   • 同步执行Method2：打印6，调用Method3()；
   • 同步执行Method3：打印8，遇到await Task.Delay(300)，返回未完成的Task给Method2；
   • Method2继续执行，打印7，遇到await Task.Delay(300)，返回未完成的Task给Method1；
   • Method1继续执行，打印5，遇到await result，返回未完成的Task给Main；
   • 主线程回到Main，打印2，然后await result，释放线程。

2. 异步等待阶段：

   • 300ms后，Method3的Task.Delay完成，打印9，Method3的Task完成；
   • 同时Method2的Task.Delay也完成，接着await result（即Method3的Task），此时Method3已经完成，所以Method2的Task完成；
   • Method2完成后，Method1的await结束，Method1的Task完成；
   • Main的await结束，继续执行打印3。

固定输出顺序：

1 → 4 → 6 → 8 → 7 → 5 → 2 → 9 → 3
（注：9和3的间隔可能极短，但9一定在3之前，因为Main要等Method1完成，而Method1要等Method2，Method2要等Method3的await完成，也就是9打印后Method3才会完成）

内容的提问来源于stack exchange，提问作者AS3