X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FStats.h;h=626eb0707d77929672315ba75ab7a36ba89237c5;hb=18074d6acde6d642b8fb10b1b49153f717c75446;hp=2b9c0a5a5b699eaa5edbcc91075637302d7fc539;hpb=4391e44f910ce579f269986faef9e5db8907a6c0;p=ghc-hetmet.git diff --git a/ghc/rts/Stats.h b/ghc/rts/Stats.h index 2b9c0a5..626eb07 100644 --- a/ghc/rts/Stats.h +++ b/ghc/rts/Stats.h @@ -1,16 +1,52 @@ /* ----------------------------------------------------------------------------- - * $Id: Stats.h,v 1.3 1999/01/13 17:25:46 simonm Exp $ + * $Id: Stats.h,v 1.17 2002/02/06 01:21:41 sof Exp $ + * + * (c) The GHC Team, 1998-1999 * * Statistics and timing-related functions. * * ---------------------------------------------------------------------------*/ -extern StgDouble elapsedtime(void); -extern void start_time(void); -extern StgDouble usertime(void); -extern void end_init(void); -extern void stat_exit(int alloc); +extern void stat_startInit(void); +extern void stat_endInit(void); + extern void stat_startGC(void); -extern void stat_endGC(lnat alloc, lnat collect, lnat live, lnat gen); +extern void stat_endGC(lnat alloc, lnat collect, lnat live, + lnat copied, lnat gen); + +#ifdef PROFILING +extern void stat_startRP(void); +extern void stat_endRP(nat, +#ifdef DEBUG_RETAINER + nat, int, +#endif + double); +#endif // PROFILING + +#if defined(PROFILING) || defined(DEBUG) +extern void stat_startHeapCensus(void); +extern void stat_endHeapCensus(void); +#endif + +extern void stat_startExit(void); +extern void stat_endExit(void); + +extern void stat_exit(int alloc); +extern void stat_workerStop(void); + extern void initStats(void); -extern void stat_describe_gens(void); + +extern double mut_user_time_during_GC(void); +extern double mut_user_time(void); + +#ifdef PROFILING +extern double mut_user_time_during_RP(void); +extern double mut_user_time_during_heap_census(void); +#endif // PROFILING + +extern void statDescribeGens( void ); +extern HsInt getAllocations( void ); + +#if defined(SMP) +extern long int stat_getElapsedTime ( void ); +#endif