Emit various bits of OS process info into the eventlog

The process ID, parent process ID, rts name and version
The program arguments and environment.

1 files changed, 10 insertions, 0 deletions

diff --git a/rts/Trace.h b/rts/Trace.h
index f253280b26..1544971077 100644
--- a/rts/Trace.h
+++ b/rts/Trace.h
@@ -182,6 +182,8 @@ void traceCapsetModify_ (EventTypeNum tag,
                          CapsetID capset,
                          StgWord32 other);
 
+void traceOSProcessInfo_ (void);
+
 #else /* !TRACING */
 
 #define traceSchedEvent(cap, tag, tso, other) /* nothing */
@@ -194,6 +196,7 @@ void traceCapsetModify_ (EventTypeNum tag,
 #define traceThreadStatus(class, tso) /* nothing */
 #define traceEventStartup_(n_caps) /* nothing */
 #define traceCapsetModify_(tag, capset, other) /* nothing */
+#define traceOSProcessInfo_() /* nothing */
 
 #endif /* TRACING */
 
@@ -469,6 +472,13 @@ INLINE_HEADER void traceCapsetRemoveCap(CapsetID capset STG_UNUSED,
     dtraceCapsetRemoveCap(capset, capno);
 }
 
+INLINE_HEADER void traceOSProcessInfo(void)
+{
+    traceOSProcessInfo_();
+    /* Note: no DTrace equivalent because all this OS process info
+     * is available to DTrace directly */
+}
+
 #include "EndPrivate.h"
 
 #endif /* TRACE_H */