X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FStats.h;h=bd39ced57df624115a5ec2c21a5fb2388efafc85;hb=66579ff945831c5fc9a17c58c722ff01f2268d76;hp=20bc0155ada6742ae3975575521f08a7d4137b5b;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git diff --git a/rts/Stats.h b/rts/Stats.h index 20bc015..bd39ced 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -16,7 +16,8 @@ void stat_endInit(void); void stat_startGC(void); void stat_endGC (lnat alloc, lnat live, - lnat copied, lnat scavd_copied, lnat gen); + lnat copied, lnat gen, + lnat max_copied, lnat avg_copied, lnat slop); #ifdef PROFILING void stat_startRP(void); @@ -38,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); @@ -52,5 +54,11 @@ void statDescribeGens( void ); HsInt64 getAllocations( void ); Ticks stat_getElapsedGCTime(void); +Ticks stat_getElapsedTime(void); + +/* Only exported for Papi.c */ +void statsPrintf( char *s, ... ) + GNUC3_ATTRIBUTE(format (printf, 1, 2)); + #endif /* STATS_H */