C# 首席架构师 Anders 和 Fortress 创始人 Guy 谈并发与语言设计

  • Jonathan Allen
  • 霍泰稳

2008 年 10 月 28 日

话题:.NET函数式编程语言 & 开发架构

JAOO 录制的一个视频访谈中,Anders Hejlsberg 和 Guy Steele 谈论了语言设计中的并发问题。Anders Hejlsberg 是 C# 语言的首席架构师,Turbo Pascal 的创始人,以及 Delphi 的前首席架构师。Guy Steele 是 Scheme 的创始人,现在致力于 Sun 的 Fortress,一个关注并行(parallelism)和数学的编程语言。

Anders 说现在有一个重要的变化,关于并行的焦点正在从粗粒度任务和基于并发的流程,向细粒度并发转移,也就是“想将单一的逻辑任务分解成多个工作”。

Anders 正在做得一件事情是为编译器找到一种方法,以知晓一个对象是否已经“暴露给外面”,然后用这个信息来决定转变(Mutate)是否安全。但挑战是,现在程序员被教育的写程序的方式和需要他们所做得事情有很大的差异。

Guy 接着提到对两种并发类型的定义,一种是对应用而言比较基础的,比如交易处理;一种是多个速度非常快的 CPU 的结果。对于后一种类型,Guy 说如果这是个可选项,开发人员会非常乐意不去使用多线程。他不关心语言是不是函数性(functional)的,只要你能告诉编译器在哪儿能使用并行就可以了。

Anders 反驳说开发人员没有必要一定知道他们的代码,或者其使用的代码是否安全。这就是为什么要使纯函数,即无副作用的函数,只能够调用其他纯函数想法的由来。

当话题转向函数编程语言的时候,他们两个都表示对此有很大的兴趣,但也坦诚说,要改变那些对命令式编程技巧兴趣正浓的开发人员是很困难的。Anders 还提到函数语言中的效率问题,指出像 QuickSort 这样的算法,在函数语言里面执行效率非常糟糕。他更倾向采用混合的策略,比如命令行语言中的“纯洁之岛”之间都能有一个清晰的描述。

查看英文原文:Anders Hejlsberg and Guy Steele on Concurrency and Language Design

.NET函数式编程语言 & 开发架构