From acfa0090d68a21be6c83815f484142b4eb814f4a Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Tue, 13 May 2014 22:44:50 +0200
Subject: Change interface, update some stuff, new example...

---
 src/example.ml | 85 +++++++++++++++++++++++++++++++++++++++++++++++++---------
 1 file changed, 72 insertions(+), 13 deletions(-)

(limited to 'src/example.ml')

diff --git a/src/example.ml b/src/example.ml
index a22f1b9..86c4f5b 100644
--- a/src/example.ml
+++ b/src/example.ml
@@ -3,30 +3,89 @@ module Example (K : Kahn.S) = struct
   module Lib = Kahn.Lib(K)
   open Lib
 
-  let integers nmax (qo : int K.out_port) : unit K.process =
+  (* First test : distribute calculation of 50 first Fibonacci numbers *)
+
+  let integers first step nmax (qo : int K.out_port) : unit K.process =
     let rec loop n =
       if n > nmax then
         K.put (-1) qo
-      else
-        (K.put n qo) >>= (fun () -> loop (n + 1))
+      else begin
+        (K.put n qo) >>= (fun () -> loop (n + step))
+    end
     in
-    loop 2
+    loop first
+
+  let rec fib n =
+    if n < 2 then n
+    else fib (n-1) + fib (n-2)
 
-  let output (qi : int K.in_port) : unit K.process =
+  let rec slow_fib (qi : int K.in_port) (qo : (int * int) K.out_port) : unit K.process =
+    (K.get qi) >>=
+      (fun i ->
+        if i <> -1 then
+          (K.put (i, fib i) qo) >>= (fun () -> slow_fib qi qo)
+        else (K.put (i, i) qo) >>= (fun () -> K.return ()))
+
+  let output (qi : (int * int) K.in_port) : unit K.process =
     let rec loop () =
-      (K.get qi) >>= (fun v ->
-        if v <> -1 then
-          begin Format.printf "%d@." v; loop () end
-        else K.return ())
+      K.bind_io 
+        (K.get qi)
+        (fun (v, s) ->
+          if v <> -1 then
+            begin Format.printf "f(%d) = %d@." v s; loop () end
+          else K.return ())
     in
     loop ()
 
   let main : unit K.process =
-    (delay K.new_channel ()) >>=
-    (fun (q_in, q_out) -> K.doco [ integers 10000 q_out ; output q_in ])
+    let max = 4 in
+    let rec aux n =
+      (delay K.new_channel ()) >>= (fun (q_in, q_out) -> 
+        (delay K.new_channel ()) >>= (fun (q_in2, q_out2) -> 
+            K.doco [ integers n max 50 q_out ; slow_fib q_in q_out2 ; output q_in2 ]))
+    in
+    let rec aux2 n =
+      if n = max then []
+      else aux n :: aux2 (n+1)
+    in
+      (K.return ()) >>= (fun () -> K.doco (aux2 0))
+
+  (* Second test : distribute the calculation of fib 53 *)
+
+  let rec fib_rec n r (qo : int K.out_port) =
+    (K.return ()) >>= (fun () ->
+      if r = 0 then
+        K.put (fib n) qo
+      else
+        (delay K.new_channel ()) >>= (fun (q_in, q_out) -> 
+          (delay K.new_channel ()) >>= (fun (q_in2, q_out2) -> 
+            K.doco
+              [
+                fib_rec (n-2) (r-1) q_out ;
+                fib_rec (n-1) (r-1) q_out2 ;
+                K.get q_in >>= (fun x ->
+                  K.bind_io
+                    (K.get q_in2)
+                    (fun y ->
+                      Format.printf "f(%d) = %d@." n (x+y);
+                      K.put (x+y) qo))
+              ]
+            )))
+
+
+  let main2 : unit K.process =
+    (delay K.new_channel()) >>=
+      (fun (qi, qo) ->
+        K.doco
+          [
+            fib_rec 53 7 qo;
+            K.bind_io
+              (K.get qi)
+              (fun v -> Format.printf "Got it! Result is %d@." v; K.return ())
+          ])
 
 end
 
-module E = Example(Kahn.Seq)
+module E = Example(Kahn_pipe.Pipe)
 
-let () = E.K.run E.main
+let () = E.K.run E.main2
-- 
cgit v1.2.3