diff options
author | cremet <cremet@epfl.ch> | 2003-10-17 15:40:36 +0000 |
---|---|---|
committer | cremet <cremet@epfl.ch> | 2003-10-17 15:40:36 +0000 |
commit | abee72fd555780730d939275da8257de74926383 (patch) | |
tree | f05936ba7f54c6a15c7fc41cecd66ec8c39a8993 /sources/examples/jolib/parallelOr.scala | |
parent | 2c1ac0cc2a4dd0a7ee8b8bd0ac8b7f38d700f3ff (diff) | |
download | scala-abee72fd555780730d939275da8257de74926383.tar.gz scala-abee72fd555780730d939275da8257de74926383.tar.bz2 scala-abee72fd555780730d939275da8257de74926383.zip |
- Examples using the jolib library.
Diffstat (limited to 'sources/examples/jolib/parallelOr.scala')
-rw-r--r-- | sources/examples/jolib/parallelOr.scala | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/sources/examples/jolib/parallelOr.scala b/sources/examples/jolib/parallelOr.scala new file mode 100644 index 0000000000..40abcc0a87 --- /dev/null +++ b/sources/examples/jolib/parallelOr.scala @@ -0,0 +1,46 @@ +import concurrent.jolib._; +import concurrent.SyncVar; + +/** Implementation in the join-calculus of a parallel OR. */ +object or extends Join { + + object res extends Synchr[boolean](this) { case class C() extends SyncVar[boolean] }; + object res1 extends Asynchr(this) { case class C(b: boolean); } + object res2 extends Asynchr(this) { case class C(b: boolean); } + object res1False extends Synchr[boolean](this) { case class C() extends SyncVar[boolean] }; + object res2False extends Synchr[boolean](this) { case class C() extends SyncVar[boolean] }; + + rules( + Pair(List(res, res1), { case List(r @ res.C(), res1.C(b)) => + if (b) r.set(b) else r.set(res1False.send(res1False.C())) }), + + Pair(List(res, res2), { case List(r @ res.C(), res2.C(b)) => + if (b) r.set(b) else r.set(res2False.send(res2False.C())) }), + + Pair(List(res1False, res2), { case List(r @ res1False.C(), res2.C(b)) => + r.set(b) }), + + Pair(List(res2False, res1), { case List(r @ res2False.C(), res1.C(b)) => + r.set(b) }) + ); + + def apply(def b1: boolean, def b2: boolean): boolean = { + concurrent.ops.spawn(res1.send(res1.C(b1))); + concurrent.ops.spawn(res2.send(res2.C(b2))); + res.send(res.C()) + } +} + +object parallelOr { + + def main(args: Array[String]): unit = { + def loop: boolean = { while (true) {}; true }; + System.out.println("true || true = " + or(true, true)); + System.out.println("false || false = " + or(false, false)); + System.out.println("false || true = " + or(false, true)); + System.out.println("true || false = " + or(true, false)); + System.out.println("true || loop = " + or(true, loop)); + System.out.println("loop || true = " + or(loop, true)); + } + +} |