From 30d2560a2741765e0bbbb995db15a901b01a3297 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 9 Jul 2023 16:58:37 -0400
Subject: [PATCH] =?UTF-8?q?add=20=CF=80-computing=20benchmark?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Makefile     | 10 +++++-
 bench_pi.sh  |  3 ++
 benchs/dune  |  6 ++--
 benchs/pi.ml | 97 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 4 files changed, 113 insertions(+), 3 deletions(-)
 create mode 100755 bench_pi.sh
 create mode 100644 benchs/pi.ml

diff --git a/Makefile b/Makefile
index 1f084b68..3472b41a 100644
--- a/Makefile
+++ b/Makefile
@@ -28,4 +28,12 @@ bench-fib:
 	hyperfine -L psize $(BENCH_PSIZE) \
 		'./_build/default/benchs/fib_rec.exe -cutoff $(BENCH_CUTOFF) -niter $(NITER) -psize={psize} -n $(N)'
 
-.PHONY: test clean
+PI_NSTEPS?=100_000_000
+PI_MODES?=seq,par1
+bench-pi:
+	@echo running for N=$(PI_NSTEPS)
+	dune build $(DUNE_OPTS_BENCH) benchs/pi.exe
+	hyperfine -L mode $(PI_MODES) \
+		'./_build/default/benchs/pi.exe -mode={mode} -n $(PI_NSTEPS)'
+
+.PHONY: test clean bench-fib bench-pi
diff --git a/bench_pi.sh b/bench_pi.sh
new file mode 100755
index 00000000..085fdd0a
--- /dev/null
+++ b/bench_pi.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+OPTS="--profile=release --display=quiet"
+exec dune exec $OPTS -- benchs/pi.exe $@
diff --git a/benchs/dune b/benchs/dune
index aec7e281..2c798176 100644
--- a/benchs/dune
+++ b/benchs/dune
@@ -1,4 +1,6 @@
 
 (executables
- (names fib_rec)
- (libraries moonpool))
+ (names fib_rec pi)
+ (preprocess (action
+   (run %{project_root}/src/cpp/cpp.exe %{input-file})))
+ (libraries moonpool unix))
diff --git a/benchs/pi.ml b/benchs/pi.ml
new file mode 100644
index 00000000..075573b5
--- /dev/null
+++ b/benchs/pi.ml
@@ -0,0 +1,97 @@
+(* compute Pi *)
+
+open Moonpool
+
+let j = ref 0
+let spf = Printf.sprintf
+
+let run_sequential (num_steps : int) : float =
+  let step = 1. /. float num_steps in
+  let sum = ref 0. in
+  for i = 0 to num_steps - 1 do
+    let x = (float i +. 0.5) *. step in
+    sum := !sum +. (4. /. (1. +. (x *. x)))
+  done;
+  let pi = step *. !sum in
+  pi
+
+(** Create a pool *)
+let mk_pool () =
+  if !j = 0 then
+    Pool.create ~per_domain:1 ()
+  else
+    Pool.create ~min:!j ()
+
+(** Run in parallel using {!Fut.for_} *)
+let run_par1 (num_steps : int) : float =
+  let pool = mk_pool () in
+
+  let num_tasks = Pool.size pool in
+
+  let step = 1. /. float num_steps in
+  let global_sum = Lock.create 0. in
+
+  (* one chunk of the work *)
+  let run_task _idx_task : unit =
+    let sum = ref 0. in
+    let i = ref 0 in
+    while !i < num_steps do
+      let x = (float !i +. 0.5) *. step in
+      sum := !sum +. (4. /. (1. +. (x *. x)));
+      (* next iteration *) i := !i + num_tasks
+    done;
+
+    let sum = !sum in
+    Lock.update global_sum (fun x -> x +. sum)
+  in
+
+  Fut.wait_block_exn @@ Fut.for_ ~on:pool num_tasks run_task;
+
+  let pi = step *. Lock.get global_sum in
+  pi
+
+[@@@ifge 5.0]
+[@@@else_]
+[@@@endif]
+
+type mode =
+  | Sequential
+  | Par1
+
+let () =
+  let mode = ref Sequential in
+  let n = ref 1000 in
+  let time = ref false in
+
+  let set_mode = function
+    | "seq" -> mode := Sequential
+    | "par1" -> mode := Par1
+    | _s -> failwith (spf "unknown mode %S" _s)
+  in
+
+  let opts =
+    [
+      "-n", Arg.Set_int n, " number of steps";
+      "-mode", Arg.Symbol ([ "seq"; "par1" ], set_mode), " mode of execution";
+      "-j", Arg.Set_int j, " number of threads";
+      "-t", Arg.Set time, " printing timing";
+    ]
+    |> Arg.align
+  in
+  Arg.parse opts ignore "";
+
+  let t_start = Unix.gettimeofday () in
+  let res =
+    match !mode with
+    | Sequential -> run_sequential !n
+    | Par1 -> run_par1 !n
+  in
+  let elapsed : float = Unix.gettimeofday () -. t_start in
+
+  Printf.printf "pi=%.6f (pi=%.6f, diff=%.3f)%s\n%!" res Float.pi
+    (abs_float (Float.pi -. res))
+    (if !time then
+      spf " in %.4fs" elapsed
+    else
+      "");
+  ()