世界是并发的,我们周围的一切都是异步和事件驱动的。在最近召开的伦敦QCon 大会上, Joe Duffy 在他的主题演讲里宣称,未来每一个开发者都需要同并发和云打交道。其中的核心在于通信,它对于并发和分布式系统都至关重要。
Duffy 曾任微软的语言和编译器工程总监,他认为分布式的就是并发的;本质上就是很多件事在同一时间一起发生。唯一的区别在于,在分布式系统中,事情发生时,彼此相距较远,比如在不同的处理器、服务器或者数据中心。这个差异很重要,尤其对于通信来说。使用内存共享还是采用把时延控制在毫秒级的网络通信会带来不同的约束和能力,也会影响系统架构。
并发编程和分布式编程在早期的计算机科学中有着相同的根源。在早期,问题总是由异步带来的。Duffy 认为, Butler Lampson 在构建分布式系统方面是最伟大的思想家之一,尤其在可靠性方面,他也强烈推荐了 Lampson 的论文,即 1983 年发表的“系统设计”。Duffy 宣称,在 2000 年之后多核 CPU 开始出现至今,在并发编程领域我们没有发明任何东西。相反,我们回过头去找早期的想法和发表的论文。
在未来,Duffy 期望看到分布式编程的回归,有越来越多设计良好的分布式系统使得系统看起来更像经典的并发系统。我们已经学了不少关于构建并发系统的东西,他则强调了七条关键经验:
- 先思考通信。它必须是任何分布式应用架构的一部分。Ad-hoc 通信会带来可靠性的问题。而 Actor 模式和队列则是好的范例。
- 概要设计很有用,但是不要盲目相信它。服务器总是以跟客户端不同的速度发生变化,Duffy 以 Internet 为例说明了即便如此也可以工作的很好。
- 安全很重要,但是很难做到。安全性的缺乏可能会导致资源竞争、死锁或者未定义行为的出现。Duffy 认为,更好的安全形式是做好隔离。如果无法做到,你需要做到不可改变。如果这也做不到,你需要采用标准同步机制。
- 在设计时为失败做好准备,因为总会有错误发生的。Duffy 认为,我们的设计应该考虑可复制和重启能力,还说明了,故障恢复对于一个可靠的并发系统来说是必需的。
- 结构应该反映因果关系。一连串的事件引发的某个行为在并发系统里可能是非常复杂的。有相关上下文可以简化对这些事件和行为的跟踪。
- 编码结构采用并发模式,以使其更容易理解系统。Duffy 的两个最喜欢的模式是 Fork-Join 和 Pipeline 。
- 少说,多用声明和反应式编程。声明和反应模式善于把难题交给编译器和框架来处理。他认为 Serverless 是这个想法在只有一个事件和一个动作时的特殊实例。
Duffy 在最后总结强调了,未来是分布式的,他期望在分布式编程方面见到更多有启发的先锋。我们当下的编程语言对于并发支持的很好,他期望编程语言能渐渐对于分布式和云编程也支持的更好,最好能把他提到的七点內建进去。
查看英文原文: Concurrent and Distributed Programming in the Future
感谢张卫滨对本文的审校。
给InfoQ 中文站投稿或者参与内容翻译工作,请邮件至 editors@cn.infoq.com 。也欢迎大家通过新浪微博( @InfoQ , @丁晓昀),微信(微信号: InfoQChina )关注我们。
活动推荐:
2023年9月3-5日,「QCon全球软件开发大会·北京站」 将在北京•富力万丽酒店举办。此次大会以「启航·AIGC软件工程变革」为主题,策划了大前端融合提效、大模型应用落地、面向 AI 的存储、AIGC 浪潮下的研发效能提升、LLMOps、异构算力、微服务架构治理、业务安全技术、构建未来软件的编程语言、FinOps 等近30个精彩专题。咨询购票可联系票务经理 18514549229(微信同手机号)。
评论