未来已来|人工智能与数据库融合发展分论坛议程初探 了解详情
写点什么

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

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

    阅读完需:约 4 分钟

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

6 月 17 日,极客时间《企业级 Agents 开发实战营》正式上线,10 周掌握企业级 Agents 从设计、开发到部署全流程。

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:005510

评论

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

2022 Apache APISIX 年度记忆

API7.ai 技术团队

api 网关 APISIX 年终盘点 apache 社区

为iframe正名,你可能并不需要微前端

阿里巴巴终端技术

前端 微前端 iframe

一文了解华为FusionInsight MRS HBase的集群隔离方案RSGroup

华为云开发者联盟

大数据 后端 华为云 企业号 1 月 PK 榜

强强联手 | 尚硅谷&腾讯云EMR离线数仓教程发布

小谷哥

基于开源体系的云原生微服务治理实践与探索

阿里巴巴云原生

阿里云 开源 云原生 service mesh

2023年AI十大展望:GPT-4领衔大模型变革,谷歌拉响警报,训练数据告急

OneFlow

人工智能 深度学习

一文详解RocketMQ的存储模型

华为云开发者联盟

开发 华为云 企业号 1 月 PK 榜

旅游业复苏在即,区块链赋能智慧旅游新体验

旺链科技

区块链 区块链技术 区块链技术应用

Serverless时代的微服务开发指南:华为云提出七大实践新标准

华为云开发者联盟

微服务 云原生 后端 华为云 企业号 1 月 PK 榜

ChatGPT的一小步,NLP范式转变的一大步

OneFlow

人工智能 深度学习

TiDB 6.5 LTS 发布 企业级关键能力跃升

Geek_2d6073

高并发环境下构建缓存服务,你需要注意这6点

华为云开发者联盟

高并发 开发 华为云 企业号 1 月 PK 榜

YMatrix v5.0 发布:138 项深度优化,重塑集群架构,实现性能及高可用性全方位提升!

YMatrix 超融合数据库

OLAP OLTP 超融合数据库 数据库架构设计 YMatrix

云原生安全系列 4:6个 Kubernetes 安全最佳实践

HummerCloud

Kubernetes 云原生安全

华为云发布CodeArts TestPlan测试管理平台 守护产品质量之魂

科技热闻

程序员面试中一面、二面、三面有什么区别?

小小怪下士

Java 程序员 java面试

极狐GitLab与欧拉操作系统完成兼容认证,开源产业自主创新再突破!

openEuler

Linux 开源 操作系统 openEuler 资讯

软件测试/测试开发丨iOS 自动化测试踩坑(一): 技术方案、环境配置与落地实践

测试人

ios xcode 软件测试 自动化测试 测试开发

基于云基础设施快速部署 RocketMQ 5.0 集群

Apache RocketMQ

RocketMQ 云原生 消息队列

读 NebulaGraph源码 | 查询语句 LOOKUP 的一生

NebulaGraph

图数据库 源码解读

OneFlow源码解析:静态图与运行时

OneFlow

人工智能 深度学习

明天 9 点!Doris Summit 2022 拉开序幕,立即报名年度技术盛会!

SelectDB

数据湖 云原生 实时数仓 湖仓一体 数据库·

DTALK直播预约 | 金融行业嘉宾分享:金融机构数据治理实践路径

袋鼠云数栈

EMQ携“云边协同IIoT解决方案”亮相2022世界工业互联网产业大会

EMQ映云科技

人工智能 物联网 IoT 云边协同 企业号 1 月 PK 榜

前端二面手写面试题总结

helloworld1024fd

JavaScript

一线大厂面试官力荐: Spring Security Oauth2.0 认证授权全彩笔记

架构师之道

编程 微服务 架构师

技术管理 之 跨功能需求管理

码猿外

技术管理 非功能性需求 跨功能性需求

喜报!SelectDB 携手中航信移动科技有限公司、四川大数据技术服务中心,双双入选大数据“星河(Galaxy)”优秀案例

SelectDB

数据库 大数据 数据湖 云原生 云上架构

2022大厂投资盘点:最大的投资就是减少投资

ToB行业头条

【双机热备小知识】两台服务器可以做双机热备吗?

行云管家

高可用 双机热备

双机热备的优点简单分析-行云管家

行云管家

高可用 双机热备

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