Skip to content

Commit

Permalink
bench: move spawn_many to bench folder and bump run batch size
Browse files Browse the repository at this point in the history
  • Loading branch information
leostera committed Dec 18, 2023
1 parent 6055418 commit 831789b
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 1 deletion.
3 changes: 3 additions & 0 deletions bench/dune
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
(executables
(names spawn_many)
(libraries riot))
File renamed without changes.
File renamed without changes.
2 changes: 1 addition & 1 deletion riot/runtime/scheduler/scheduler.ml
Original file line number Diff line number Diff line change
Expand Up @@ -256,7 +256,7 @@ module Scheduler = struct
done;
Mutex.unlock sch.idle_mutex;

for _ = 0 to Int.min (Proc_queue.size sch.run_queue) 10 do
for _ = 0 to Int.min (Proc_queue.size sch.run_queue) 5_000 do
match Proc_queue.next sch.run_queue with
| Some proc ->
set_current_process_pid proc.pid;
Expand Down

0 comments on commit 831789b

Please sign in to comment.