X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=rts%2FStats.h;h=0c5178723cc2001a6b3f9f12e23435b5a491d77a;hp=20bc0155ada6742ae3975575521f08a7d4137b5b;hb=HEAD;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1 diff --git a/rts/Stats.h b/rts/Stats.h index 20bc015..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,8 +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 */