projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use message-passing to implement throwTo in the RTS
[ghc-hetmet.git]
/
rts
/
eventlog
/
EventLog.h
diff --git
a/rts/eventlog/EventLog.h
b/rts/eventlog/EventLog.h
index
364d12a
..
6ebf33d
100644
(file)
--- a/
rts/eventlog/EventLog.h
+++ b/
rts/eventlog/EventLog.h
@@
-26,13
+26,21
@@
void endEventLogging(void);
void freeEventLogging(void);
/*
void freeEventLogging(void);
/*
- * Post an event to the capability's event buffer.
+ * 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);
*/
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 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 */
void postCapMsg(Capability *cap, char *msg, va_list ap);
#else /* !TRACING */
@@
-43,11
+51,15
@@
INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED,
StgWord64 other STG_UNUSED)
{ /* nothing */ }
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 postMsg (char *msg STG_UNUSED,
va_list ap STG_UNUSED)
{ /* nothing */ }
-INLINE_HEADER void postCapMsg (Capability *cap,
+INLINE_HEADER void postCapMsg (Capability *cap STG_UNUSED,
char *msg STG_UNUSED,
va_list ap STG_UNUSED)
{ /* nothing */ }
char *msg STG_UNUSED,
va_list ap STG_UNUSED)
{ /* nothing */ }