summaryrefslogtreecommitdiff
path: root/rts/Papi.h
blob: f8acab7a4b20094f9eea85c11774b9a9274e08fe (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
/* -----------------------------------------------------------------------------
 * (c) The GHC Team 2006
 * 
 * Initialization and use of the PAPI performance monitoring library
 *
 * ---------------------------------------------------------------------------*/

#ifndef PAPI_H
#define PAPI_H

BEGIN_RTS_PRIVATE

/* 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;

void papi_stats_report(void);
void papi_init_eventset(int * event_set);
void papi_init(void);
void papi_start_mutator_count(void);
void papi_stop_mutator_count(void);

void papi_start_gc_count(void);
void papi_stop_gc0_count(void);
void papi_stop_gc1_count(void);

// for multithreaded GC, each sub-thread uses these functions to count
// events and aggregate them into the main GC counters.
void papi_thread_start_gc1_count(int event_set);
void papi_thread_stop_gc1_count(int event_set);

END_RTS_PRIVATE

#endif /* PAPI_H */