diff options
| author | Ian Lynagh <igloo@earth.li> | 2011-07-24 13:14:20 +0100 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-07-24 13:14:20 +0100 |
| commit | ee9c7314ff9f83b6694b06396988a373594e4c04 (patch) | |
| tree | a63af312bd37dee136f3ce41aced20eb93cd6bdc /rts/Stats.c | |
| parent | 5c6e293db79a64e4887a8d7451337201eae6b6cd (diff) | |
| download | haskell-ee9c7314ff9f83b6694b06396988a373594e4c04.tar.gz | |
Don't subtract HC_tot_time when calculating mut_user_time
Heap census now happens during GC, so that time is already accounted
for in GC_tot_cpu.
Diffstat (limited to 'rts/Stats.c')
| -rw-r--r-- | rts/Stats.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rts/Stats.c b/rts/Stats.c index 3aeb531254..cdb42a2b61 100644 --- a/rts/Stats.c +++ b/rts/Stats.c @@ -86,7 +86,7 @@ Ticks stat_getElapsedTime(void) double mut_user_time_until( Ticks t ) { - return TICK_TO_DBL(t - GC_tot_cpu - PROF_VAL(RP_tot_time + HC_tot_time)); + return TICK_TO_DBL(t - GC_tot_cpu - PROF_VAL(RP_tot_time)); } double @@ -105,13 +105,13 @@ mut_user_time( void ) double mut_user_time_during_RP( void ) { - return TICK_TO_DBL(RP_start_time - GC_tot_cpu - RP_tot_time - HC_tot_time); + return TICK_TO_DBL(RP_start_time - GC_tot_cpu - RP_tot_time); } double mut_user_time_during_heap_census( void ) { - return TICK_TO_DBL(HC_start_time - GC_tot_cpu - RP_tot_time - HC_tot_time); + return TICK_TO_DBL(HC_start_time - GC_tot_cpu - RP_tot_time); } #endif /* PROFILING */ |