BT

您是否属于早期采用者或者创新人士?InfoQ正在努力为您设计更多新功能。了解更多

未来的并发和分布式编程

| 作者 Jan Stenberg 关注 5 他的粉丝 ,译者 宋康婧 关注 0 他的粉丝 发布于 2017年3月21日. 估计阅读时间: 不到一分钟 | 智能化运维、Serverless、DevOps......2017年有哪些最新运维技术趋势?CNUTCon即将为你揭秘!

世界是并发的,我们周围的一切都是异步和事件驱动的。在最近召开的伦敦QCon大会上,Joe Duffy在他的主题演讲里宣称,未来每一个开发者都需要同并发和云打交道。其中的核心在于通信,它对于并发和分布式系统都至关重要。

Duffy曾任微软的语言和编译器工程总监,他认为分布式的就是并发的;本质上就是很多件事在同一时间一起发生。唯一的区别在于,在分布式系统中,事情发生时,彼此相距较远,比如在不同的处理器、服务器或者数据中心。这个差异很重要,尤其对于通信来说。使用内存共享还是采用把时延控制在毫秒级的网络通信会带来不同的约束和能力,也会影响系统架构。

并发编程和分布式编程在早期的计算机科学中有着相同的根源。在早期,问题总是由异步带来的。Duffy认为,Butler Lampson在构建分布式系统方面是最伟大的思想家之一,尤其在可靠性方面,他也强烈推荐了Lampson的论文,即1983年发表的“系统设计”。Duffy宣称,在2000年之后多核CPU开始出现至今,在并发编程领域我们没有发明任何东西。相反,我们回过头去找早期的想法和发表的论文。

在未来,Duffy期望看到分布式编程的回归,有越来越多设计良好的分布式系统使得系统看起来更像经典的并发系统。我们已经学了不少关于构建并发系统的东西,他则强调了七条关键经验:

  1. 先思考通信。它必须是任何分布式应用架构的一部分。Ad-hoc通信会带来可靠性的问题。而Actor模式和队列则是好的范例。
  2. 概要设计很有用,但是不要盲目相信它。服务器总是以跟客户端不同的速度发生变化,Duffy以Internet为例说明了即便如此也可以工作的很好。
  3. 安全很重要,但是很难做到。安全性的缺乏可能会导致资源竞争、死锁或者未定义行为的出现。Duffy认为,更好的安全形式是做好隔离。如果无法做到,你需要做到不可改变。如果这也做不到,你需要采用标准同步机制。
  4. 在设计时为失败做好准备,因为总会有错误发生的。Duffy认为,我们的设计应该考虑可复制和重启能力,还说明了,故障恢复对于一个可靠的并发系统来说是必需的。
  5. 结构应该反映因果关系。一连串的事件引发的某个行为在并发系统里可能是非常复杂的。有相关上下文可以简化对这些事件和行为的跟踪。
  6. 编码结构采用并发模式,以使其更容易理解系统。Duffy的两个最喜欢的模式是Fork-JoinPipeline
  7. 少说,多用声明和反应式编程。声明和反应模式善于把难题交给编译器和框架来处理。他认为Serverless是这个想法在只有一个事件和一个动作时的特殊实例。

Duffy在最后总结强调了,未来是分布式的,他期望在分布式编程方面见到更多有启发的先锋。我们当下的编程语言对于并发支持的很好,他期望编程语言能渐渐对于分布式和云编程也支持的更好,最好能把他提到的七点內建进去。

查看英文原文:Concurrent and Distributed Programming in the Future


感谢张卫滨对本文的审校。

给InfoQ中文站投稿或者参与内容翻译工作,请邮件至editors@cn.infoq.com。也欢迎大家通过新浪微博(@InfoQ@丁晓昀),微信(微信号:InfoQChina)关注我们。

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT