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

diff --git a/rts/Task.c b/rts/Task.c
index 918dc55..8779e29 100644 (file)
--- a/rts/Task.c
+++ b/rts/Task.c
@@ -58,7 +58,11 @@ initTaskManager (void)
        taskCount = 0;
        workerCount = 0;
        tasksRunning = 0;
        taskCount = 0;
        workerCount = 0;
        tasksRunning = 0;

+#if defined(THREADED_RTS)
+       maxWorkers = DEFAULT_MAX_WORKERS * RtsFlags.ParFlags.nNodes;
+#else

        maxWorkers = DEFAULT_MAX_WORKERS;
        maxWorkers = DEFAULT_MAX_WORKERS;

+#endif

        initialized = 1;
 #if defined(THREADED_RTS)
        newThreadLocalKey(&currentTaskKey);
        initialized = 1;
 #if defined(THREADED_RTS)
        newThreadLocalKey(&currentTaskKey);