Add examples/domainslib

Author: monadius

examples/domainslib/solution.ml

@@ -0,0 +1,17 @@
+(* Copied from https://github.com/kayceesrk/ocaml5-tutorial *)
+module T = Domainslib.Task
+
+let rec fib0 n = if n < 2 then 1 else fib0 (n - 1) + fib0 (n - 2)
+
+let rec fib_par pool n =
+  if n > 20 then begin
+    let a = T.async pool (fun _ -> fib_par pool (n - 1)) in
+    let b = T.async pool (fun _ -> fib_par pool (n - 2)) in
+    T.await pool a + T.await pool b
+  end else fib0 n
+
+let fib num_domains n =
+  let pool = T.setup_pool ~num_domains:(num_domains - 1) () in
+  let res = T.run pool (fun _ -> fib_par pool n) in
+  T.teardown_pool pool;
+  res

examples/domainslib/tests.ml

@@ -0,0 +1,11 @@
+open OUnit
+
+let suite = [
+    "fib tests" >:::
+        [
+            "Testing 42 (1 domain)" >:: (fun _ -> assert_equal 433494437 (Solution.fib 1 42) ~printer:string_of_int);
+            "Testing 42 (2 domains)" >:: (fun _ -> assert_equal 433494437 (Solution.fib 2 42) ~printer:string_of_int);
+            "Testing 42 (3 domains)" >:: (fun _ -> assert_equal 433494437 (Solution.fib 3 42) ~printer:string_of_int);
+            "Testing 42 (4 domains)" >:: (fun _ -> assert_equal 433494437 (Solution.fib 4 42) ~printer:string_of_int);
+        ];
+    ]