Adjust amount of simulated work

Author: polytypic

lib/picos_mux/index.mld

@@ -23,14 +23,14 @@ domain ids on which the fibers run:
   open Picos_std_structured
   module Mpscq = Picos_aux_mpscq
 
-  let main () =
+  let main ~work () =
     let dids = Mpscq.create () in
 
     Flock.join_after begin fun () ->
       for _ = 1 to 4 do
         Flock.fork @@ fun () ->
         let did = (Domain.self () :> int) in
-        Unix.sleepf 0.1; (* <- simulate work *)
+        Unix.sleepf work; (* <- simulate work *)
         Mpscq.push dids did
       done
     end;
@@ -43,17 +43,17 @@ domain ids on which the fibers run:
 We can now try running the program with the sample schedulers:
 
 {[
-  # Picos_mux_fifo.run main
+  # Picos_mux_fifo.run (main ~work:0.0)
   - : int list = [0; 0; 0; 0]
-  # Picos_mux_multififo.run_on ~n_domains:4 main
+  # Picos_mux_multififo.run_on ~n_domains:4 (main ~work:0.2)
   - : int list = [0; 1; 2; 3]
-  # Picos_mux_random.run_on ~n_domains:4 main
+  # Picos_mux_random.run_on ~n_domains:4 (main ~work:0.2)
   - : int list = [0; 4; 5; 6]
-  # Picos_mux_thread.run main
+  # Picos_mux_thread.run (main ~work:0.0)
   - : int list = [0; 0; 0; 0]
 ]}
 
-A subtle detail above is that the [Unix.sleepf 0.1] call blocks the underlying
+A subtle detail above is that the [Unix.sleepf] call blocks the underlying
 thread for a moment, which makes it likely that multiple domains will be used by
 the multi-threaded schedulers.  The results with the multi-threaded schedulers
 are still strictly speaking non-deterministic.