Skip to content

Commit cce6352

Browse files
committed
More benchmarks with the multififo scheduler
1 parent 7ccd770 commit cce6352

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

bench/dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@
4747
(select
4848
scheduler.ml
4949
from
50-
(picos_mux.fifo -> scheduler.ocaml5.ml)
50+
(picos_mux.multififo -> scheduler.ocaml5.ml)
5151
(picos_mux.thread -> scheduler.ocaml4.ml))
5252
(select
5353
bench_fib.ml

bench/scheduler.ocaml5.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
let run main = Picos_mux_fifo.run ~quota:100 main
1+
let run main = Picos_mux_multififo.run_on ~quota:100 ~n_domains:1 main

0 commit comments

Comments
 (0)