C编译器如何知道何时切断异步方法？

Question

我试图了解更多关于异步/等待的信息，尤其是编译器如何知道在异步方法和等待时“暂停”，而不产生额外的线程。

例如，假设我有一个异步方法，如

DoSomeStuff();
await sqlConnection.OpenAsync();
DoSomeOtherStuff();

我知道等待sqlConnection。OpenAsync（）；是我的方法被“挂起”并且调用它的线程返回线程池的地方，一旦跟踪连接打开的任务完成，然后找到一个可用的线程来运行Do某物其他东西（）。

| DoSomeStuff() | "start" opening connection | ------------------------------------ | 
| ---------------------------------------------------------- | DoSomeOtherStuff() - |

这就是我困惑的地方。我查看了OpenAsync的源代码(https://referencesource.microsoft.com/#System.Data/System/Data/Common/DBConnection.cs，e9166ee1c5d11996，参考资料），并且

    public Task OpenAsync() {
        return OpenAsync(CancellationToken.None);
    }

    public virtual Task OpenAsync(CancellationToken cancellationToken) {
        TaskCompletionSource<object> taskCompletionSource = new TaskCompletionSource<object>();

        if (cancellationToken.IsCancellationRequested) {
            taskCompletionSource.SetCanceled();
        }
        else {
            try {
                Open();
                taskCompletionSource.SetResult(null);
            }
            catch (Exception e) {
                taskCompletionSource.SetException(e);
            }
        }

        return taskCompletionSource.Task;
    }

我想象看到编译器知道“切断”线程的某个地方，因为任务已经开始与外部资源通信，但我并没有真正看到这一点，事实上，Open（）；似乎暗示它正在同步等待。有人能解释一下这是如何成为无线程“真正的异步”代码的吗？

Answer 1

使用async await的好处在于调用以下函数的线程

await sqlConnection.OpenAsync();

将被释放，并且可以从所属的线程池中使用它。如果我们谈论的是ASP。NET应用程序线程将被释放，并可用于服务另一个传入的HTTP请求。这样ASP的线程。NET线程池将始终可用于服务HTTP请求，并且不会阻塞例如I/O，例如打开到数据库的连接并执行一些SQL语句。

更新

这里应该说明，如果您要等待的任务已经完成，那么您的代码将同步运行。

Answer 2

您的方法不一定会在等待时“挂起”。如果您等待的任务已经完成（您提供的代码中的情况），方法将照常继续。您正在查看的方法实际上不是SqlConnection所使用的方法，因为DbConnection是基类，而方法OpenAsync是虚拟的SqlConnection覆盖它，并提供真正的异步实现。然而，并不是所有的提供者都这样做，那个些不这样做的提供者确实会使用您在问题中展示的实现。

当使用这样的实现时——整个事情将同步运行，没有任何线程切换。假设你有

public async Task Do() {
    DoSomeStuff();
    await sqlConnection.OpenAsync();
    DoSomeOtherStuff();
}

并且您使用的提供程序不提供OpenAsync的真正异步版本。然后，当有人调用wait Do（）时，调用线程将执行所有工作（DoSomeStuff，OpenAsync，DoSomeOtherStuff）。如果这是UI线程，它将在整个过程中被阻止（当人们在UI线程中为此类提供者使用“异步”方法时，通常会发生这种情况，假设这会以某种方式将工作从UI线程中推迟，但这种情况不会发生）。