Gather timing stats for a Task when it completes.

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

diff --git a/rts/Task.h b/rts/Task.h
index ca71d28..cc450a7 100644 (file)
--- a/rts/Task.h
+++ b/rts/Task.h
@@ -190,7 +190,13 @@ INLINE_HEADER void taskEnter (Task *task);
 // mainly for stats-gathering purposes.
 // Requires: sched_mutex.
 //
 // 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().
 
 // Put the task back on the free list, mark it stopped.  Used by
 // forkProcess().