mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-12 22:10:46 -05:00
e67ab53f9f
there's a single blocking queue, and one WS_queue per worker. Scheduling into the pool from a worker (e.g. via fork_join or explicitly) will push into this WS queue; otherwise it goes into the main blocking queue. Workers will always try to empty their local queue first, then try to work steal, then block on the main queue.
11 lines
308 B
Text
11 lines
308 B
Text
(library
|
|
(public_name moonpool)
|
|
(name moonpool)
|
|
(private_modules d_pool_ dla_)
|
|
(preprocess
|
|
(action
|
|
(run %{project_root}/src/cpp/cpp.exe %{input-file})))
|
|
(libraries threads either
|
|
(select dla_.ml from
|
|
(domain-local-await -> dla_.real.ml)
|
|
( -> dla_.dummy.ml))))
|