1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 1998-2005
5 * Statistics and timing-related functions.
7 * ---------------------------------------------------------------------------*/
14 void stat_startInit(void);
15 void stat_endInit(void);
17 void stat_startGC(void);
18 void stat_endGC (lnat alloc
, lnat live
,
19 lnat copied
, lnat gen
,
20 lnat max_copied
, lnat avg_copied
, lnat slop
);
23 void stat_startRP(void);
29 #endif /* PROFILING */
31 #if defined(PROFILING) || defined(DEBUG)
32 void stat_startHeapCensus(void);
33 void stat_endHeapCensus(void);
36 void stat_startExit(void);
37 void stat_endExit(void);
39 void stat_exit(int alloc
);
40 void stat_workerStop(void);
42 void initStats0(void);
43 void initStats1(void);
45 double mut_user_time_during_GC(void);
46 double mut_user_time(void);
49 double mut_user_time_during_RP(void);
50 double mut_user_time_during_heap_census(void);
51 #endif /* PROFILING */
53 void statDescribeGens( void );
54 HsInt64
getAllocations( void );
56 Ticks
stat_getElapsedGCTime(void);
57 Ticks
stat_getElapsedTime(void);
59 /* Only exported for Papi.c */
60 void statsPrintf( char *s
, ... )
61 GNUC3_ATTRIBUTE(format (printf
, 1, 2));