理論的には、Scala Actor Framework を使用して、JDK 7 の Fork-Join フレームワークと同様に、ある種の非同期分割統治計算を行うことは可能ですか? もしそうなら、フレームワークでFJの問題をどのように表現できますか?たとえば、チュートリアルのマージソートの概念? コード スニペットは大歓迎です。
(他のFJ 関連の質問で入手したリソース ビデオに基づいてアイデアを思いつきました。)
理論的には、Scala Actor Framework を使用して、JDK 7 の Fork-Join フレームワークと同様に、ある種の非同期分割統治計算を行うことは可能ですか? もしそうなら、フレームワークでFJの問題をどのように表現できますか?たとえば、チュートリアルのマージソートの概念? コード スニペットは大歓迎です。
(他のFJ 関連の質問で入手したリソース ビデオに基づいてアイデアを思いつきました。)
ScalaにはFJスタイルの並列処理があります。それは先物と呼ばれ、俳優ライブラリの一部です
import scala.actors.Future
import scala.actors.Futures._
def mergeSort[A <% Ordered[A]](xs : List[A]) : List[A] = {
// merge is not interesting, it's sequential. The complexity lies in keeping it tail recursive
def merge[A <% Ordered[A]](accum : List[A], left : List[A], right : List[A]) : List[A] = {
(left, right) match {
case (lhead::ltail, rhead::rtail) =>
if (lhead <= rhead) merge(lhead :: accum, ltail, right)
else merge(rhead :: accum, left, rtail)
case (Nil, _) => accum reverse_::: right
case _ => accum reverse_::: left
}
}
// here's the parallel sort bit
def sort[A <% Ordered[A]](xs : List[A], length : Int) : List[A] = {
if (length <= 1) xs
else {
val leftLength = length / 2
val rightLength = length - leftLength
val (left, right) = xs splitAt leftLength
// fork
val leftFork = future { sort(left, leftLength) }
val rightFork = future { sort(right, rightLength) }
// join
val leftJoin = leftFork()
val rightJoin = rightFork()
// merge
merge(Nil, leftJoin, rightJoin)
}
}
sort(xs, xs.length)
}
さて、質問の核心に。Scalaに先物がなかった場合、俳優に基づいて自分で先物を書くことができますか?それはそう。多かれ少なかれこのように見えます。
import scala.actors.Actor
import scala.actors.Actor._
object MyFuture {
def apply[T](x : => T) : MyFuture[T] = {
val future = new MyFuture[T]
val act = actor {
react {
case sender : Actor => sender ! (future, x)
}
}
act ! self
future
}
}
class MyFuture[A] extends Function0[A] {
me =>
lazy val result = receive {
case (`me`, result) => result.asInstanceOf[A]
}
def apply() = result
}
そして、あなたはそれをそのように使うでしょう
scala> val x = MyFuture(28 * 1000)
x: Foo.MyFuture[Int] = <function>
scala> x()
res4: Int = 28000