X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=rts%2FStats.h;h=0c5178723cc2001a6b3f9f12e23435b5a491d77a;hp=9de6b718bba4b7df69c06c292551d73f08028976;hb=HEAD;hpb=5a2769f0273dd389977e8283375e7920d183bdd4 diff --git a/rts/Stats.h b/rts/Stats.h index 9de6b71..0c51787 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -11,12 +11,20 @@ #include "GetTime.h" +#include "BeginPrivate.h" + +struct gc_thread_; + 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); +void stat_startGC(struct gc_thread_ *gct); +void stat_endGC (struct gc_thread_ *gct, lnat alloc, lnat live, + lnat copied, nat gen, + lnat max_copied, lnat avg_copied, lnat slop); + +void stat_gcWorkerThreadStart (struct gc_thread_ *gct); +void stat_gcWorkerThreadDone (struct gc_thread_ *gct); #ifdef PROFILING void stat_startRP(void); @@ -38,7 +46,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 +58,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 */