diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2011-04-11 14:48:49 +0100 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2011-04-11 14:49:12 +0100 |
| commit | 1fb38442d3a55ac92795aa6c5ed4df82011df724 (patch) | |
| tree | 3e4aa00f970fb58b4f7b6bb27f16eb9d8b7dbad2 /rts/Task.h | |
| parent | 7bf5bf37e7f4f140c883016e9da50106535d2a94 (diff) | |
| download | haskell-1fb38442d3a55ac92795aa6c5ed4df82011df724.tar.gz | |
Refactoring and tidy up
This is a port of some of the changes from my private local-GC branch
(which is still in darcs, I haven't converted it to git yet). There
are a couple of small functional differences in the GC stats: first,
per-thread GC timings should now be more accurate, and secondly we now
report average and maximum pause times. e.g. from minimax +RTS -N8 -s:
Tot time (elapsed) Avg pause Max pause
Gen 0 2755 colls, 2754 par 13.16s 0.93s 0.0003s 0.0150s
Gen 1 769 colls, 769 par 3.71s 0.26s 0.0003s 0.0059s
Diffstat (limited to 'rts/Task.h')
| -rw-r--r-- | rts/Task.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/Task.h b/rts/Task.h index 38e4763b5a..424af607ea 100644 --- a/rts/Task.h +++ b/rts/Task.h @@ -207,6 +207,9 @@ void workerTaskStop (Task *task); // void taskTimeStamp (Task *task); +// The current Task has finished a GC, record the amount of time spent. +void taskDoneGC (Task *task, Ticks cpu_time, Ticks elapsed_time); + // Put the task back on the free list, mark it stopped. Used by // forkProcess(). // |