EventLog.h 2.98 KB
Newer Older
Simon Marlow's avatar
Simon Marlow committed
1 2 3 4 5 6 7 8 9 10 11
/* -----------------------------------------------------------------------------
 *
 * (c) The GHC Team, 2008-2009
 *
 * Support for fast binary event logging.
 *
 * ---------------------------------------------------------------------------*/

#ifndef EVENTLOG_H
#define EVENTLOG_H

Simon Marlow's avatar
Simon Marlow committed
12
#include "rts/EventLogFormat.h"
Simon Marlow's avatar
Simon Marlow committed
13 14
#include "Capability.h"

15
#include "BeginPrivate.h"
16

17
#ifdef TRACING
Simon Marlow's avatar
Simon Marlow committed
18 19 20 21 22 23 24 25 26

/*
 * Descriptions of EventTags for events.
 */
extern char *EventTagDesc[];

void initEventLogging(void);
void endEventLogging(void);
void freeEventLogging(void);
27 28
void abortEventLogging(void); // #4512 - after fork child needs to abort
void flushEventLog(void);     // event log inherited from parent
Simon Marlow's avatar
Simon Marlow committed
29 30

/* 
31 32
 * Post a scheduler event to the capability's event buffer (an event
 * that has an associated thread).
Simon Marlow's avatar
Simon Marlow committed
33
 */
34
void postSchedEvent(Capability *cap, EventTypeNum tag, 
35
                    StgThreadID id, StgWord info1, StgWord info2);
36

37 38 39 40 41
/*
 * Post a nullary event.
 */
void postEvent(Capability *cap, EventTypeNum tag);

42 43
void postMsg(char *msg, va_list ap);

44
void postUserMsg(Capability *cap, char *msg, va_list ap);
45

46
void postCapMsg(Capability *cap, char *msg, va_list ap);
Simon Marlow's avatar
Simon Marlow committed
47

48 49
void postEventStartup(EventCapNo n_caps);

50
/*
51
 * Post an event that is associated with a capability set
52
 */
53 54 55
void postCapsetEvent (EventTypeNum tag,
                      EventCapsetID capset,
                      StgWord info);
56

57 58 59 60 61 62 63 64 65 66 67 68 69 70 71
/*
 * Post a capability set event with a string payload
 */
void postCapsetStrEvent (EventTypeNum tag,
                         EventCapsetID capset,
                         char *msg);

/*
 * Post a capability set event with several strings payload
 */
void postCapsetVecEvent (EventTypeNum tag,
                         EventCapsetID capset,
                         int argc,
                         char *msg[]);

72 73
void postWallClockTime (EventCapsetID capset);

74 75 76 77 78
/* 
 * Post a `par` spark event
 */
void postSparkEvent(Capability *cap, EventTypeNum tag, StgWord info1);

Duncan Coutts's avatar
Duncan Coutts committed
79 80 81 82 83 84 85
/*
 * Post an event with several counters relating to `par` sparks.
 */
void postSparkCountersEvent (Capability *cap, 
                             SparkCounters counters,
                             StgWord remaining);

86 87 88 89 90
#else /* !TRACING */

INLINE_HEADER void postSchedEvent (Capability *cap  STG_UNUSED,
                                   EventTypeNum tag STG_UNUSED,
                                   StgThreadID id   STG_UNUSED,
91 92
                                   StgWord info1    STG_UNUSED,
                                   StgWord info2    STG_UNUSED)
93 94
{ /* nothing */ }

95 96 97 98
INLINE_HEADER void postEvent (Capability *cap  STG_UNUSED,
                              EventTypeNum tag STG_UNUSED)
{ /* nothing */ }

99 100 101
INLINE_HEADER void postMsg (char *msg STG_UNUSED, 
                            va_list ap STG_UNUSED)
{ /* nothing */ }
Simon Marlow's avatar
Simon Marlow committed
102

103
INLINE_HEADER void postCapMsg (Capability *cap STG_UNUSED,
104 105 106
                               char *msg STG_UNUSED, 
                               va_list ap STG_UNUSED)
{ /* nothing */ }
Simon Marlow's avatar
Simon Marlow committed
107 108 109

#endif

110
#include "EndPrivate.h"
111

112
#endif /* TRACING_H */