X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FTask.c;h=0ec60f750854cf25fbf2838a9a55ec1d8645834d;hb=2777940384ce4740954062bedd0f6813698fc72a;hp=918dc559b83a3967060cb86b24e8a6c877ab1233;hpb=5a2769f0273dd389977e8283375e7920d183bdd4;p=ghc-hetmet.git diff --git a/rts/Task.c b/rts/Task.c index 918dc55..0ec60f7 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -15,6 +15,7 @@ #include "Capability.h" #include "Stats.h" #include "RtsFlags.h" +#include "Storage.h" #include "Schedule.h" #include "Hash.h" #include "Trace.h" @@ -28,8 +29,6 @@ Task *all_tasks = NULL; static Task *task_free_list = NULL; // singly-linked static nat taskCount; -#define DEFAULT_MAX_WORKERS 64 -static nat maxWorkers; // we won't create more workers than this static nat tasksRunning; static nat workerCount; @@ -58,7 +57,6 @@ initTaskManager (void) taskCount = 0; workerCount = 0; tasksRunning = 0; - maxWorkers = DEFAULT_MAX_WORKERS; initialized = 1; #if defined(THREADED_RTS) newThreadLocalKey(¤tTaskKey); @@ -73,6 +71,38 @@ stopTaskManager (void) debugTrace(DEBUG_sched, "stopping task manager, %d tasks still running", tasksRunning); + /* nothing to do */ +} + + +void +freeTaskManager (void) +{ + Task *task, *next; + + debugTrace(DEBUG_sched, "freeing task manager"); + + ACQUIRE_LOCK(&sched_mutex); + for (task = all_tasks; task != NULL; task = next) { + next = task->all_link; + if (task->stopped) { + // We only free resources if the Task is not in use. A + // Task may still be in use if we have a Haskell thread in + // a foreign call while we are attempting to shut down the + // RTS (see conc059). +#if defined(THREADED_RTS) + closeCondition(&task->cond); + closeMutex(&task->lock); +#endif + stgFree(task); + } + } + all_tasks = NULL; + task_free_list = NULL; +#if defined(THREADED_RTS) + freeThreadLocalKey(¤tTaskKey); +#endif + RELEASE_LOCK(&sched_mutex); } @@ -185,7 +215,7 @@ discardTask (Task *task) { ASSERT_LOCK_HELD(&sched_mutex); if (!task->stopped) { - debugTrace(DEBUG_sched, "discarding task %p", TASK_ID(task)); + debugTrace(DEBUG_sched, "discarding task %ld", (long)TASK_ID(task)); task->cap = NULL; task->tso = NULL; task->stopped = rtsTrue; @@ -228,15 +258,21 @@ workerTaskStop (Task *task) ASSERT(myTask() == task); #endif + task->cap = NULL; taskTimeStamp(task); task->stopped = rtsTrue; tasksRunning--; + + ACQUIRE_LOCK(&sched_mutex); + task->next = task_free_list; + task_free_list = task; + RELEASE_LOCK(&sched_mutex); } void resetTaskManagerAfterFork (void) { -#warning TODO! + // TODO! taskCount = 0; } @@ -250,9 +286,6 @@ startWorkerTask (Capability *cap, OSThreadId tid; Task *task; - if (workerCount >= maxWorkers) { - barf("too many workers; runaway worker creation?"); - } workerCount++; // A worker always gets a fresh Task structure. @@ -275,7 +308,8 @@ startWorkerTask (Capability *cap, r = createOSThread(&tid, (OSThreadProc *)taskStart, task); if (r != 0) { - barf("startTask: Can't create new task"); + sysErrorBelch("failed to create OS thread"); + stg_exit(EXIT_FAILURE); } debugTrace(DEBUG_sched, "new worker task (taskCount: %d)", taskCount); @@ -312,7 +346,7 @@ printAllTasks(void) debugBelch("on capability %d, ", task->cap->no); } if (task->tso) { - debugBelch("bound to thread %d", task->tso->id); + debugBelch("bound to thread %lu", (unsigned long)task->tso->id); } else { debugBelch("worker"); }