diff options
author | Simon Marlow <marlowsd@gmail.com> | 2009-10-15 10:02:12 +0000 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2009-10-15 10:02:12 +0000 |
commit | 1f56fae4a10f7fb56b8fbab5ab9ad95add1ed1dd (patch) | |
tree | 03ed9129c79b2816dc8f89de56c5711a640c6139 /rts/eventlog/EventLog.h | |
parent | d46df548da44cff511cd0d656a1ec92c4551d653 (diff) | |
download | haskell-1f56fae4a10f7fb56b8fbab5ab9ad95add1ed1dd.tar.gz |
Add events to show when GC threads are idle/working
Diffstat (limited to 'rts/eventlog/EventLog.h')
-rw-r--r-- | rts/eventlog/EventLog.h | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h index 557ee775dd..e2b8043f7e 100644 --- a/rts/eventlog/EventLog.h +++ b/rts/eventlog/EventLog.h @@ -26,11 +26,17 @@ void endEventLogging(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); +/* + * Post a nullary event. + */ +void postEvent(Capability *cap, EventTypeNum tag); + void postMsg(char *msg, va_list ap); void postUserMsg(Capability *cap, char *msg); @@ -45,6 +51,10 @@ INLINE_HEADER void postSchedEvent (Capability *cap 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 */ } |