Swift 意欲成为无数据竞争的并发编程语言

Swift 团队发布了改进 Swift 并发支持的路线图。在第一个阶段，Swift 将提供 async 语法和 actor，而在第二个阶段，重点是消除数据竞争和死锁。

Swift 并发编程模型的核心不会改变，它保留了在独立队列上分派无锁操作并通过回调返回结果的基本理念。这种方法有它的缺点，如编码开销、缺乏效率和容易出错，程序员必须确保严格遵循正确的模式，以保证正确性和性能。

模式是好的，但用 Swift 来表达会丢掉重要的结构，并导致出现问题。解决方案是将这些模式引入到语言中。

以协程为基础，Swift 的async/await语法看起来会像下面这样：

internal func asyncMethod() async {  result = await anotherClass.anotherAsyncMethod()}

这种语法的一个好处是消除了在闭包中捕获 self 时需要进行显式声明的要求。Swift async/await 语法的一个特殊特征是 await 关键字只能在包含异步代码的表达式开始时指定一次，而且不能在每个 async 函数之前重复使用。

除了 async 和 await 之外，Swift 还将引入了actor类型。这是定义类的一种简单的方式，这种类拥有私有队列，用于通过序列化的方式同步对其内部状态的访问。

actor class AnActorClass {  // 某些状态  func modifyState() async { ... }}

在使用上面的代码时，编译器将确保所有 async 方法都在 actor 的私有队列上运行，并对直接访问其状态的操作进行标记。这将带来很多优化性能的可能性。

Swift 还将支持一种特定的语法，将类的 async 方法绑定到特定的全局 actor。用于同步 UI 操作的 UIActor 就适用这种语法，因为这种操作必须发生在主队列上。例如，你可以这样：

@UIActorclass AClassDoingUIStuff {    func doSomeUITask() async { ... }}

在第二阶段，Swift 团队将添加完全的 actor 隔离，以防止数据竞争和死锁。

actor 隔离的基本思想与独占访问内存的思想类似，并以此为基础。Swift 的并发设计从 actor 的自然隔离开始，使用所有权作为补充工具，提供一种易于使用和可组合的安全并发方法。

默认情况下，actor 将提供基本的隔离。这意味着它们将保护自己的内部状态不受数据竞争的影响，比如属性、let 常量、本地值，等等。

但是，当涉及到使用 UnsafeMutablePointer 引用的内存、全局内存和类引用时，actor 自身无法防止数据竞争，因为它们可以在 actor 之间传递，因此也可能会造成数据竞争。

即使只有基本的 actor 模型，开发人员也可以通过全局 actor 来减少数据竞争：如果一个框架需要在一个特定队列上执行所有操作，它可以定义一个全局 actor，类似于 UIActor，并在协议中指定它。

不过，为了获得完全的 actor 隔离，Swift 需要添加新的特性，其中最重要的是将类型声明为“actor local”。这样就不可能在 actor 之间传递 actor 类型。如果真的需要这么做，可以在传递 actor 之前克隆或取消共享。

到了某个时间点，将默认执行这些新特性，这意味着所有的类都将是“actor local”的，而全局变量将被要求通过全局 actor 或被声明为“actor unsafe”来获得保护。在将并发安全加到语言并发机制的核心的同时，这也意味着向后源代码兼容性被破坏，尽管 Swift 团队希望这种影响不会太大。

因为复杂性的存在，要让 Swift 成为一种无数据竞争的并发语言需要大量的语言扩展，需要跨越多个版本才能实现，而关于 actor 完全隔离的很多细节仍有待最终确定。随着新细节的不断发布，InfoQ 将继续跟踪报道。

原文链接：

Swift Aims to Become a Data Race-Free Concurrent Language