1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 2008-2009
5 * Support for fast binary event logging.
7 * ---------------------------------------------------------------------------*/
12 #include "rts/EventLogFormat.h"
13 #include "Capability.h"
15 #include "BeginPrivate.h"
20 * Descriptions of EventTags for events.
22 extern char *EventTagDesc[];
24 void initEventLogging(void);
25 void endEventLogging(void);
26 void freeEventLogging(void);
27 void abortEventLogging(void); // #4512 - after fork child needs to abort
28 void flushEventLog(void); // event log inherited from parent
31 * Post a scheduler event to the capability's event buffer (an event
32 * that has an associated thread).
34 void postSchedEvent(Capability *cap, EventTypeNum tag,
35 StgThreadID id, StgWord info1, StgWord info2);
38 * Post a nullary event.
40 void postEvent(Capability *cap, EventTypeNum tag);
42 void postMsg(char *msg, va_list ap);
44 void postUserMsg(Capability *cap, char *msg, va_list ap);
46 void postCapMsg(Capability *cap, char *msg, va_list ap);
50 INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED,
51 EventTypeNum tag STG_UNUSED,
52 StgThreadID id STG_UNUSED,
53 StgWord info1 STG_UNUSED,
54 StgWord info2 STG_UNUSED)
57 INLINE_HEADER void postEvent (Capability *cap STG_UNUSED,
58 EventTypeNum tag STG_UNUSED)
61 INLINE_HEADER void postMsg (char *msg STG_UNUSED,
62 va_list ap STG_UNUSED)
65 INLINE_HEADER void postCapMsg (Capability *cap STG_UNUSED,
67 va_list ap STG_UNUSED)
72 #include "EndPrivate.h"
74 #endif /* TRACING_H */