summaryrefslogtreecommitdiff
path: root/rts/Stats.h
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2011-07-24 00:01:54 +0100
committerIan Lynagh <igloo@earth.li>2011-07-24 00:01:54 +0100
commit4f8cfaf97168e5f81925f9254dabcea38603c48f (patch)
tree61c938fbe348f6c5327aba868aebd879c6efcfd0 /rts/Stats.h
parent2b42de78c59d81300aa62b17cf2b5d984fa55e84 (diff)
downloadhaskell-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.h1
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