From c58450c0c62dc9bf74ecd5df3c07a3f1ce511e7f Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Fri, 16 Jun 2006 14:06:33 +0000 Subject: [PATCH] allow the max number of workers to scale with +RTS -N --- rts/Task.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/rts/Task.c b/rts/Task.c index 918dc55..8779e29 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -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(¤tTaskKey); -- 1.7.10.4