PHP RFC: True Async
TrueAsync 项目通过 wiki.php.net 上的官方 RFC 流程推进。
目前已发布两个 RFC，分别描述基本并发模型和结构化并发。
RFC #1 — PHP True Async
定义 PHP 并发模型的主要 RFC。
描述协程、函数 spawn() / await() / suspend()、
Coroutine 对象、Awaitable 和 Completable 接口、
协作式取消机制、Fiber 集成、
错误处理和优雅关闭。
核心原则：
- 对现有代码进行最少修改即可启用并发
- 协程保持顺序执行的假象
- I/O 操作时自动切换协程
- 协作式取消 ——「cancellable by design」
- 面向扩展的标准 C API
RFC #2 — Scope 与结构化并发
基础 RFC 的扩展。引入 Scope 类，将协程的生命周期绑定到词法作用域。
描述 scope 层次结构、错误传播、
「僵尸」协程策略和通过 protect() 实现的临界区。
解决的问题：
- 防止协程泄漏到 scope 之外
- 退出 scope 时自动清理资源
- 层次化取消：取消父级 → 取消所有子级
- 保护临界区不被取消
- 死锁和 self-await 检测
这两个 RFC 的关系
第一个 RFC 定义了底层原语 —— 协程、 基础函数和面向扩展的 C API。第二个 RFC 增加了 结构化并发 —— 管理协程组的机制， 使并发代码安全且可预测。
它们共同构成了 PHP 的完整异步编程模型：
| RFC #1: True Async | RFC #2: Scope | |
|---|---|---|
| 层级 | 原语 | 管理 |
| 提供 | spawn(), await(), Coroutine |
Scope, TaskGroup, protect() |
| 类比 | Go goroutines, Kotlin coroutines | Kotlin CoroutineScope, Python TaskGroup |
| 目标 | 运行并发代码 | 安全的生命周期管理 |
参与讨论
RFC 在 internals@lists.php.net 邮件列表 和 GitHub Discussions 上讨论。
也欢迎加入 Discord 讨论。