Dataflow：Ruby的声明式并发控制模型

由于Ruby语言受到了一些函数式程序设计技术的影响&＃xff0c;有些Ruby程序员随之采纳了Erlang或者Haskell的思想&＃xff0c;甚者建立起了从Ruby到这些语言的桥梁&＃xff0c;比如&＃xff1a;Erlectricity。

Larry Diehl基于Oz语言的Unification概念&＃xff0c;为Ruby引入了声明式并发控制模型。Oz是一种多维编程语言&＃xff0c;它主要作为一种函数式&＃xff08;包括延迟计算和即时计算&＃xff09;、分布式和并发编程语言而著称&＃xff0c;但同时它也支持约束、逻辑、命令式和面向对象编程。

随着计算机中核心处理器数量的不断增加&＃xff0c;Larry希望声明式并发模型能给Ruby语言带来一些好处&＃xff1a;

\u0026#xD;\n

• 更加易读的代码\u0026#xD;\n
• 简单但强大的并发控制\u0026#xD;\n

为了实现这个目标&＃xff0c;Larry应用了《Concepts, Techniques, and Models of Computer Programming》一书中描述的数据流线程行为&＃xff08;Dataflow threading behavior&＃xff09;概念&＃xff1a;

如果一个操作试图使用一个未绑定的变量&＃xff0c;该怎么办&＃xff1f;如果纯粹从审美角度来看&＃xff0c;这个操作应该等待&＃xff0c;直到其它线程绑定了这个变量再继续进行。这种“文明礼貌”的线程行为被称之为数据流线程行为&＃xff08;Dataflow threading behavior&＃xff09;。

为了用Oz实现这个概念&＃xff0c;Larry应用了Unification&＃xff1a;

Unification的思想是用逻辑方程来描述值&＃xff0c;而逻辑方程可以自动被一些合一算法&＃xff08;unification algorithm&＃xff09;所解决。

那么在实际应用中&＃xff0c;我们就可以这样编写代码了&＃xff08;这段代码来自Dataflow项目网站&＃xff09;&＃xff1a;

\u0026#xD;\n# Local variables\u0026#xD;\ninclude Dataflow\u0026#xD;\n\u0026#xD;\nlocal do |x, y, z|\u0026#xD;\n # notice how the order automatically gets resolved\u0026#xD;\n Thread.new { unify y, x &＃43; 2 }\u0026#xD;\n Thread.new { unify z, y &＃43; 3 }\u0026#xD;\n Thread.new { unify x, 1 }\u0026#xD;\n z #&＃61;\u0026gt; 6\u0026#xD;\nend\u0026#xD;\n

用local或者declare&＃xff08;实例变量&＃xff09;创建一些变量&＃xff0c;然后用unify来绑定这些变量。

Oz Ports(非确定行为)或者Erlang化Actors就是两个很好的例子。

但Brian Morearty也指出了对Dataflow调试、性能和内存的一些有意思的担心 。随后Larry Diehl在Brian的博客中进行了解释 &＃xff1a;

有一点需要注意的是&＃xff0c;由于这个库支持绿色线程&＃xff08;green threads&＃xff09;和本地线程池实现&＃xff0c;它已经让JRuby在MRI上光芒四射了。

查看英文原文&＃xff1a;Declarative Concurrency For Ruby With Dataflow