blob: 1060ca2c62627b09d1339265cdaca8267a6f17e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
/* -----------------------------------------------------------------------------
* (c) The GHC Team 2006
*
* Initialization and use of the PAPI performance monitoring library
*
* ---------------------------------------------------------------------------*/
#include <papi.h>
#define PAPI_CHECK(CALL) \
if((papi_error=(CALL)) != PAPI_OK) { \
debugBelch("PAPI function failed in module %s at line %d with error code %d\n", \
__FILE__,__LINE__,papi_error); \
}
/* Check the error value of a PAPI call, reporting an error, if needed */
extern int papi_error;
/* While PAPI reporting is going on this flag is on */
extern int papi_is_reporting;
/* Event sets and counter arrays for GC and mutator */
extern int MutatorEvents;
extern int GCEvents;
extern long_long MutatorCounters[];
extern long_long GCCounters[];
long_long papi_counter(long_long values[],int event);
void papi_report(long_long PapiCounters[]);
void papi_add_events(int EventSet);
void papi_init_eventsets(void);
void papi_start_mutator_count(void);
void papi_stop_mutator_count(void);
void papi_start_gc_count(void);
void papi_stop_gc_count(void);
|
