Commit c58450c0 authored by Simon Marlow's avatar Simon Marlow

allow the max number of workers to scale with +RTS -N

parent ea0c9fbe
......@@ -58,7 +58,11 @@ initTaskManager (void)
taskCount = 0;
workerCount = 0;
tasksRunning = 0;
#if defined(THREADED_RTS)
maxWorkers = DEFAULT_MAX_WORKERS * RtsFlags.ParFlags.nNodes;
#else
maxWorkers = DEFAULT_MAX_WORKERS;
#endif
initialized = 1;
#if defined(THREADED_RTS)
newThreadLocalKey(&currentTaskKey);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment