async/await 设计空间探索：看似相似的语法背后语义大相径庭

概述

Brown University 的 Gavin Gray、Shriram Krishnamurthi 与 Will Crichton 发表论文，系统探索直线式异步（straight-line asynchrony）的设计空间。虽然 Python、JavaScript、Swift、Rust、C# 等语言共享 async/await 关键字，作者却证明没有两种语言在影响执行顺序与存在性的设计决策上完全一致：同一个三段程序在七种 async/await 语言里跑出多种不同结果。论文提炼出覆盖异步计算完整生命周期的九个设计维度，并用操作语义给出精确刻画。