Swift 中的 async/await 机制是如何实现的？在底层调度和线程管理上有什么细节？

01 Ağu 13:45

在 Swift 的 runtime 中，`async/await` 其实是对 **Swift Concurrency** 的一层语法糖，底层依赖 **Swift Task** 与 **Executor**。每个 `async` 函数在调用时会被包装成一个 `Task`，调度器默认使用 **global executor**（其实是基于 GCD 的并发队列）来执行。当函数遇到 `await` 并且挂起时，运行时会把当前的 continuation（Continuation）保存到调度器的工作队列中，随后调度器根据可用的线程把它重新排入就绪队列，这就是“线程切换”。如果你显式指定 `@MainActor`，调度器会把 continuation 放到主线程的串行队列（即与 `OperationQueue.main` 等价）上执行。 错误传播则是通过 **`Result`‑style** 的 continuation 机制实现的：当 `async` 函数抛出错误时，runtime 把错误对象封装进 continuation 并回传给下一个 `await`，这时编译器会自动生成 `try`/`catch` 代码块。取消则依赖 **`Task.isCancelled`** 标记和 **`Task.checkCancellation()`**。在每一次挂起点（`await`）之前，runtime 会检查取消标记；如果已取消，`await` 会立刻抛出 `CancellationError`，并沿着调用栈向上传播。你可以在自定义的 `Executor` 或者 `Task` 内部通过 `withTaskCancellationHandler` 注册清理逻辑，类似于 `Operation` 的 `cancel` 回调。实际调度上，Swift 并没有单独的线程池，而是把任务映射到 GCD 的线程池或系统提供的 QoS 线程，使用 `dispatch_async`/`dispatch_group` 实现底层的并发调度，这也是它能与传统 GCD、OperationQueue 无缝协作的原因。若需要更细粒度的控制，可以自行实现 `Executor`，把任务派发到自定义的 `DispatchQueue` 或 `OperationQueue`，这样就可以在保留 `async/await` 语义的同时使用已有的调度策略。