projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
#2860: remove redundant unblocking of signals
[ghc-hetmet.git]
/
rts
/
Task.h
diff --git
a/rts/Task.h
b/rts/Task.h
index
ca71d28
..
590dd67
100644
(file)
--- a/
rts/Task.h
+++ b/
rts/Task.h
@@
-169,7
+169,7
@@
extern Task *all_tasks;
// Requires: sched_mutex.
//
void initTaskManager (void);
// Requires: sched_mutex.
//
void initTaskManager (void);
-void stopTaskManager (void);
+nat freeTaskManager (void);
// Create a new Task for a bound thread
// Requires: sched_mutex.
// Create a new Task for a bound thread
// Requires: sched_mutex.
@@
-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().