}
}
-
-void
-stopTaskManager (void)
-{
- debugTrace(DEBUG_sched,
- "stopping task manager, %d tasks still running",
- tasksRunning);
- /* nothing to do */
-}
-
-
-void
+nat
freeTaskManager (void)
{
Task *task, *next;
- debugTrace(DEBUG_sched, "freeing task manager");
+ ASSERT_LOCK_HELD(&sched_mutex);
+
+ debugTrace(DEBUG_sched, "freeing task manager, %d tasks still running",
+ tasksRunning);
- ACQUIRE_LOCK(&sched_mutex);
for (task = all_tasks; task != NULL; task = next) {
next = task->all_link;
if (task->stopped) {
#if defined(THREADED_RTS)
freeThreadLocalKey(¤tTaskKey);
#endif
- RELEASE_LOCK(&sched_mutex);
+
+ return tasksRunning;
}
#endif
Task *task;
- task = stgMallocBytes(sizeof(Task), "newTask");
+#define ROUND_TO_CACHE_LINE(x) ((((x)+63) / 64) * 64)
+ task = stgMallocBytes(ROUND_TO_CACHE_LINE(sizeof(Task)), "newTask");
task->cap = NULL;
task->stopped = rtsFalse;
all_tasks = task;
taskCount++;
- workerCount++;
return task;
}
void
boundTaskExiting (Task *task)
{
+ task->tso = NULL;
task->stopped = rtsTrue;
task->cap = NULL;
if (!task->stopped) {
debugTrace(DEBUG_sched, "discarding task %ld", (long)TASK_ID(task));
task->cap = NULL;
- task->tso = NULL;
+ if (task->tso == NULL) {
+ workerCount--;
+ } else {
+ task->tso = NULL;
+ }
task->stopped = rtsTrue;
tasksRunning--;
task->next = task_free_list;
ASSERT(myTask() == task);
#endif
+ task->cap = NULL;
taskTimeStamp(task);
task->stopped = rtsTrue;
tasksRunning--;
+ workerCount--;
ACQUIRE_LOCK(&sched_mutex);
task->next = task_free_list;