diff options
| author | Simon Marlow <simonmarhaskell@gmail.com> | 2008-04-16 22:15:16 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmarhaskell@gmail.com> | 2008-04-16 22:15:16 +0000 |
| commit | 1663532f26ae2e68f04d067b11bd177d307637b1 (patch) | |
| tree | 35bfafd610d384fc4437b43c85a9dc7100fff8d1 /rts/Stats.h | |
| parent | 8ac01a644677a71cbfb4cc5974c3641716d92104 (diff) | |
| download | haskell-1663532f26ae2e68f04d067b11bd177d307637b1.tar.gz | |
calculate and report slop (wasted space at the end of blocks)
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 12311ee100..bd39ced57d 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -17,7 +17,7 @@ void stat_endInit(void); void stat_startGC(void); void stat_endGC (lnat alloc, lnat live, lnat copied, lnat gen, - lnat max_copied, lnat avg_copied); + lnat max_copied, lnat avg_copied, lnat slop); #ifdef PROFILING void stat_startRP(void); @@ -39,7 +39,8 @@ void stat_endExit(void); void stat_exit(int alloc); void stat_workerStop(void); -void initStats(void); +void initStats0(void); +void initStats1(void); double mut_user_time_during_GC(void); double mut_user_time(void); |