diff options
author | Ian Lynagh <igloo@earth.li> | 2011-07-24 00:01:54 +0100 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2011-07-24 00:01:54 +0100 |
commit | 4f8cfaf97168e5f81925f9254dabcea38603c48f (patch) | |
tree | 61c938fbe348f6c5327aba868aebd879c6efcfd0 /rts/Stats.h | |
parent | 2b42de78c59d81300aa62b17cf2b5d984fa55e84 (diff) | |
download | haskell-4f8cfaf97168e5f81925f9254dabcea38603c48f.tar.gz |
Fix heap profiling times
Now that the heap census runs in the middle of garbage collections,
the "CPU time" it was calculating included any CPU time used so far
in the current GC. This could cause CPU time to appear to go down,
which means hp2ps complained about "samples out of sequence".
I'm not sure if this is the nicest way to solve this (maybe resurrecting
mut_user_time_during_GC would be better?) but it gets things working again.
Diffstat (limited to 'rts/Stats.h')
-rw-r--r-- | rts/Stats.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 0c5178723c..8761be5669 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -50,6 +50,7 @@ void initStats0(void); void initStats1(void); double mut_user_time_during_GC(void); +double mut_user_time_until(Ticks t); double mut_user_time(void); #ifdef PROFILING |