X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FStats.h;h=f3a20ae6a24d08b6e0c2c68a3d49e9f795220571;hb=784e214dd44eba39f4c34936a27e6cc82948205c;hp=9de6b718bba4b7df69c06c292551d73f08028976;hpb=5a2769f0273dd389977e8283375e7920d183bdd4;p=ghc-hetmet.git diff --git a/rts/Stats.h b/rts/Stats.h index 9de6b71..f3a20ae 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -11,12 +11,15 @@ #include "GetTime.h" +#include "BeginPrivate.h" + 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,14 @@ 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)); + +#include "EndPrivate.h" + #endif /* STATS_H */