// also outputs the stats (+RTS -s) info.
exitStorage();
+ /* free the tasks */
+ freeScheduler();
+
/* free shared Typeable store */
exitTypeableStore();
#endif
}
+void
+freeScheduler( void )
+{
+ freeTaskManager();
+}
+
/* ---------------------------------------------------------------------------
Where are the roots that we know about?
*/
void initScheduler (void);
void exitScheduler (void);
+void freeScheduler (void);
// Place a new thread on the run queue of the current Capability
void scheduleThread (Capability *cap, StgTSO *tso);
void
stopTaskManager (void)
{
- Task *task, *next;
+ Task *task;
debugTrace(DEBUG_sched,
"stopping task manager, %d tasks still running",
tasksRunning);
ACQUIRE_LOCK(&sched_mutex);
- for (task = task_free_list; task != NULL; task = next) {
- next = task->next;
+ for (task = task_free_list; task != NULL; task = task->next) {
#if defined(THREADED_RTS)
closeCondition(&task->cond);
closeMutex(&task->lock);
#endif
+ }
+ RELEASE_LOCK(&sched_mutex);
+}
+
+
+void
+freeTaskManager (void)
+{
+ Task *task, *next;
+
+ debugTrace(DEBUG_sched, "freeing task manager");
+
+ ACQUIRE_LOCK(&sched_mutex);
+ for (task = task_free_list; task != NULL; task = next) {
+ next = task->next;
stgFree(task);
}
task_free_list = NULL;
//
void initTaskManager (void);
void stopTaskManager (void);
+void freeTaskManager (void);
// Create a new Task for a bound thread
// Requires: sched_mutex.