写点什么

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

  • 2020-11-27
  • 本文字数:1363 字

    阅读完需:约 4 分钟

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


2020-11-27 13:005557

评论

发布
暂无评论
发现更多内容

DxO PhotoLab 6图像编辑器:支持多种格式,从JPEG到RAW

理理

苹果mac效率提升:Slidepad 自动隐藏、快速搜索、多个桌面支持

理理

东哥数字人直播引热议:AI主播真能抢走人类饭碗?

青否数字人

数字人

web3社交网络开发

区块链开发团队DappNetWork

TiDB 8.1 LTS 发版:夯实大型集群的稳定性和易用性,驱动业务融合和降低企业成本

先锋IT

Author for Mac 文档编辑工具(增强引文副本/术语/表视图等功能)

理理

升级你的数据库管理体验:SQLPro for SQLite 2024 mac版

理理

2024-05-29:用go语言,给定一个只包含正整数的数组 nums,任务是通过多次操作最小化数组的长度。 每次操作可以从数组中选择两个不同的下标 i 和 j,使得 nums[i] 和 nums[j

福大大架构师每日一题

福大大架构师每日一题

DeFi的历程与未来:探寻去中心化金融的前行路

区块链软件开发推广运营

dapp开发 区块链开发 链游开发 NFT开发 公链开发

亮相CCIG2024,合合信息文档解析技术破解大模型语料“饥荒”难题

合合技术团队

人工智能 OCR 合合信息 ccig 文档解析技术

LED显示屏技术解析和优势

Dylan

技术 LED显示屏 全彩LED显示屏 led显示屏厂家

win版Adobe Media Encoder 2024(Me2024)直装版

iMac小白

Autodesk AutoCAD2020(附安装教程图解) 中文特别版

Rose

【YashanDB知识库】Java程序调用存储过程,在提取clob时报YAS-00004

YashanDB

数据库 yashandb 崖山数据库

如何制定测试团队的工作规划

老张

质量管理 质量保障 测试管理 团队规划

Nevercenter CameraBag Photo 一键美化照片

理理

软件测试学习笔记丨Selenium 多窗口切换

测试人

软件测试 selenium

Infuse Pro v7.7.6免激活版 Apple TV 上最强的播放器

理理

全媒体广告代理 互联网信息流广告加盟

陈老师讲创业

Perfectly Clear Workbench中文,一站式照片处理解决方案

理理

事业-最佳实践-个人-专栏高效学习

南山

高效学习 技术专栏

Data Lakehouse:你的下一个数据仓库

StarRocks

数据库 大数据 数据湖 湖仓一体

干货收藏!Calico的BGP RouteReflector策略实践

华为云开发者联盟

Kubernetes 云原生 华为云 华为云开发者联盟 企业号2024年5月PK榜

青否数字人直播源码,售后会“踢皮球”吗?答案:绝对不会!

青否数字人

Alfred 5 for Mac中文汉化版 快速启动工具 苹果mac版

Rose

Topaz Video AI 破解版下载 AI视频无损放大软件 Mac&win

Rose

Word 2021 LTSC for Mac(word 2021)中文版下载安装

理理

Viwizard Audio Converter Mac版 转换各种类型的音频文件

理理

Swift意欲成为无数据竞争的并发编程语言_移动_Sergio De Simone_InfoQ精选文章