Make event tracing conditional on an RTS flag only
The current event tracing mechanism is enabled at link time by linking in one of two different versions of a C function, one being a no-op function. We could allow users to enable/disable tracing using a RTS flag instead, making event logging more convenient to use. At the same time we would introduce tracing levels.
Design:
Add a static memory location where the current tracing level is stored:
uint tracelevel = 0;
Modify GHC.Exts.traceEvent
to read
foreign import ccall unsafe "&tracelevel" :: Ptr Word
traceEvent :: String -> IO ()
traceEvent msg =
if unsafePerformIO (peek tracelevel) > 0
then do
withCString msg $ \(Ptr p) -> IO $ \s ->
case traceEvent# p s of s' -> (# s', () #)
else return ()
and (optionally) add some more functions that log at different trace levels.
This should be no slower than the current system. With inlining this should result in a load and a branch at the call site. The load should be cheap as the value is likely to be in cache (as it never changes). The branch should be easy to predict as it's always the same. With some cooperation from the code generator we could make sure that the branch is always cheap.
Trac metadata
Trac field | Value |
---|---|
Version | 7.0.1 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Runtime System |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |