diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2006-06-07 12:44:07 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2006-06-07 12:44:07 +0000 |
| commit | a91cc8496bf4ea7fe1e3ad9d97836152f3939ffa (patch) | |
| tree | e7b25c3ce7293d0569da142f7928fde9a9257359 /rts/Task.h | |
| parent | 90d88088ee8b3697ce68f7b1e07506bc4f33687d (diff) | |
| download | haskell-a91cc8496bf4ea7fe1e3ad9d97836152f3939ffa.tar.gz | |
Gather timing stats for a Task when it completes.
Previously we did this just for workers, now we do it for the main
thread and for forkOS threads too.
Diffstat (limited to 'rts/Task.h')
| -rw-r--r-- | rts/Task.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/rts/Task.h b/rts/Task.h index ca71d2809a..cc450a74a1 100644 --- 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. // -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(). |