X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FStats.h;h=02adcf95d899f6aee1144f6f1a4f6e5f013f8ee4;hb=661c97c65e5fa47177502e592bb763f752b487ac;hp=9de6b718bba4b7df69c06c292551d73f08028976;hpb=5a2769f0273dd389977e8283375e7920d183bdd4;p=ghc-hetmet.git diff --git a/rts/Stats.h b/rts/Stats.h index 9de6b71..02adcf9 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -11,12 +11,15 @@ #include "GetTime.h" +BEGIN_RTS_PRIVATE + void stat_startInit(void); 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 +41,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); @@ -49,9 +53,16 @@ double mut_user_time_during_heap_census(void); #endif /* PROFILING */ 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)); + +HsInt64 getAllocations (void); + +END_RTS_PRIVATE + #endif /* STATS_H */