Detab TcUnify

[ghc-hetmet.git] / rts / Task.h

diff --git a/rts/Task.h b/rts/Task.h
index ca71d28..3b7a08e 100644 (file)
--- a/rts/Task.h
+++ b/rts/Task.h
@@ -170,6 +170,7 @@ extern Task *all_tasks;
 //
 void initTaskManager (void);
 void stopTaskManager (void);
+void freeTaskManager (void);
 
 // Create a new Task for a bound thread
 // Requires: sched_mutex.
@@ -190,7 +191,13 @@ INLINE_HEADER void taskEnter (Task *task);
 // mainly for stats-gathering purposes.
 // Requires: sched_mutex.
 //
-void taskStop (Task *task);
+void workerTaskStop (Task *task);
+
+// Record the time spent in this Task.
+// This is called by workerTaskStop() but not by boundTaskExiting(),
+// because it would impose an extra overhead on call-in.
+//
+void taskTimeStamp (Task *task);
 
 // Put the task back on the free list, mark it stopped.  Used by
 // forkProcess().