blob: 03582563570371cbeb5689150ade9416f0174429 (
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
44
45
46
47
48
49
50
51
52
53
54
55
56
|
/* -----------------------------------------------------------------------------
*
* (c) The GHC Team, 2008-2009
*
* Support for fast binary event logging.
*
* ---------------------------------------------------------------------------*/
#ifndef EVENTLOG_H
#define EVENTLOG_H
#include "rts/EventLogFormat.h"
#include "Capability.h"
#pragma GCC visibility push(hidden)
#ifdef EVENTLOG
/*
* Descriptions of EventTags for events.
*/
extern char *EventTagDesc[];
void initEventLogging(void);
void endEventLogging(void);
void freeEventLogging(void);
void postEvent_(Capability *cap, EventTypeNum tag, StgThreadID id, StgWord64 other);
/*
* Post an event to the capability's event buffer.
*/
INLINE_HEADER void postEvent(Capability *cap, EventTypeNum tag, StgThreadID id, StgWord64 other)
{
if (RtsFlags.EventLogFlags.doEventLogging) {
postEvent_(cap, tag, id, other);
}
}
void printAndClearEventLog(Capability *cap);
#else /* !EVENTLOG */
INLINE_HEADER void postEvent(Capability *cap STG_UNUSED,
EventTypeNum tag STG_UNUSED,
StgThreadID id STG_UNUSED,
StgWord64 other STG_UNUSED)
{
/* nothing */
}
#endif
#pragma GCC visibility pop
#endif /* EVENTLOG_H */
|
