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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
/* -----------------------------------------------------------------------------
*
* (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"
#include "BeginPrivate.h"
#ifdef TRACING
/*
* Descriptions of EventTags for events.
*/
extern char *EventTagDesc[];
void initEventLogging(void);
void endEventLogging(void);
void freeEventLogging(void);
/*
* Post a scheduler event to the capability's event buffer (an event
* that has an associated thread).
*/
void postSchedEvent(Capability *cap, EventTypeNum tag,
StgThreadID id, StgWord64 other);
/*
* Post a nullary event.
*/
void postEvent(Capability *cap, EventTypeNum tag);
void postMsg(char *msg, va_list ap);
void postUserMsg(Capability *cap, char *msg, va_list ap);
void postCapMsg(Capability *cap, char *msg, va_list ap);
#else /* !TRACING */
INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED,
EventTypeNum tag STG_UNUSED,
StgThreadID id STG_UNUSED,
StgWord64 other STG_UNUSED)
{ /* nothing */ }
INLINE_HEADER void postEvent (Capability *cap STG_UNUSED,
EventTypeNum tag STG_UNUSED)
{ /* nothing */ }
INLINE_HEADER void postMsg (char *msg STG_UNUSED,
va_list ap STG_UNUSED)
{ /* nothing */ }
INLINE_HEADER void postCapMsg (Capability *cap STG_UNUSED,
char *msg STG_UNUSED,
va_list ap STG_UNUSED)
{ /* nothing */ }
#endif
#include "EndPrivate.h"
#endif /* TRACING_H */
|
