Optimization with metrics always available

cardano-node/src/Cardano/Node/Tracing/DefaultTraceConfig.hs

@@ -12,7 +12,7 @@ defaultCardanoConfig :: TraceConfig
 defaultCardanoConfig = emptyTraceConfig {
   tcOptions = Map.fromList
     [([],
-         [ ConfSeverity (SeverityF (Just Notice))
+         [ ConfSeverity (SeverityF (Just Silence))
          , ConfDetail DNormal
          , ConfBackend  [Stdout MachineFormat
                         , EKGBackend

doc/New Tracing Quickstart.md

@@ -20,7 +20,7 @@ on the namespace, and require a one-to-one correspondence between namespaces and
 
 As we have two mechanisms for the same purpose for historic reasons, we will soon
 __deprecate the Kind field__, and it will disappear in the near future. So we strongly
-advise to use namespaces for any analysis tools of traces!
+advice to use namespaces for any analysis tools of traces!
 
 ### Configuration of new tracing
 

nix/workbench/profiles/tracing.nix

@@ -10,7 +10,7 @@
   ##
   TraceOptions  = {
     "" =
-      { severity = "Notice";
+      { severity = "Silence";
         backends = [
           "Stdout MachineFormat"
           "EKGBackend"
@@ -19,10 +19,5 @@
             "Forwarder"
           ]);
       };
-    BlockFetch.severity = "Info";
-    ChainSync.severity = "Info";
-    "Forge.Loop.BlockContext".severity = "Info";
-    "Forge.Loop.LedgerView".severity = "Info";
-    "Forge.Loop.LedgerState".severity = "Info";
   };
 }

trace-dispatcher/src/Cardano/Logging/Configuration.hs

@@ -81,8 +81,8 @@ maybeSilent ns tr = do
     mkTrace _ref (lc, Left other) =
       T.traceWith (unpackTrace tr) (lc,  Left other)
 
+-- If the top tracer is silent and any subtracer is not silent, it is not
 isSilentTracer :: TraceConfig -> Namespace -> Bool
--- If the top tracer is silent and no subtracer is not silent, then switch it off
 isSilentTracer tc ns =
     if getSeverity tc ns == SeverityF Nothing
       then
@@ -91,7 +91,6 @@ isSilentTracer tc ns =
         in null blockers
       else False
   where
-      filterOpts (ConfSeverity (SeverityF Nothing)) = False
       filterOpts (ConfSeverity (SeverityF (Just _))) = True
       filterOpts _ = False
 

trace-dispatcher/src/Cardano/Logging/Trace.hs

@@ -57,28 +57,43 @@ filterTrace :: (Monad m)
   => ((LoggingContext, a) -> Bool)
   -> Trace m a
   -> Trace m a
-filterTrace ff (Trace tr) = Trace $ T.squelchUnless
-    (\case
-      (_lc, Left _)     -> True
-      (lc, Right a)     -> ff (lc, a))
-      tr
+filterTrace ff (Trace tr) = Trace $ T.arrow $ T.emit $ mkTrace
+  where
+    mkTrace (lc, Right a) =
+      if ff (lc, a)
+        then T.traceWith tr (lc, Right a)
+        else pure ()
+    mkTrace (lc, Left l) =
+      T.traceWith tr (lc,  Left l)
+
+  -- Trace $ T.squelchUnless
+  --   (\case
+  --     (_lc, Left _)     -> True
+  --     (lc, Right a)     -> ff (lc, a))
+  --     tr
+
 
 --- | Keep the Just values and forget about the Nothings
 filterTraceMaybe :: Monad m
   => Trace m a
   -> Trace m (Maybe a)
-filterTraceMaybe (Trace tr) = Trace $
-    T.squelchUnless
-      (\case
-        (_lc, Left _ctrl)      -> True
-        (_lc, Right (Just _)) -> True
-        (_lc, Right Nothing)  -> False)
-      (T.contramap
-          (\case
-            ( lc, Right (Just a))    -> (lc, Right a)
-            (_lc, Right Nothing)     -> error "filterTraceMaybe: impossible"
-            ( lc, Left ctrl)         -> (lc, Left ctrl))
-          tr)
+filterTraceMaybe (Trace tr) = Trace $ T.arrow $ T.emit $ mkTrace
+  where
+    mkTrace (lc, Right (Just m)) = T.traceWith tr (lc, Right m)
+    mkTrace (_lc, Right Nothing)  = pure ()
+    mkTrace (lc, Left l)         = T.traceWith tr (lc, Left l)
+
+    -- T.squelchUnless
+    --   (\case
+    --     (_lc, Left _ctrl)      -> True
+    --     (_lc, Right (Just _)) -> True
+    --     (_lc, Right Nothing)  -> False)
+    --   (T.contramap
+    --       (\case
+    --         ( lc, Right (Just a))    -> (lc, Right a)
+    --         (_lc, Right Nothing)     -> error "filterTraceMaybe: impossible"
+    --         ( lc, Left ctrl)         -> (lc, Left ctrl))
+    --       tr)
 
 --- | Only processes messages further with a severity equal or greater as the
 --- given one

trace-dispatcher/src/Cardano/Logging/Tracer/Composed.hs

@@ -66,7 +66,8 @@ mkCardanoTracer trStdout trForward mbTrEkg tracerName namesFor severityFor priva
 
 -- | Adds the possibility to add special tracers via the hook function
 mkCardanoTracer' :: forall evt evt1.
-     LogFormatting evt1
+     (LogFormatting evt
+     ,LogFormatting evt1)
   => Trace IO FormattedMessage
   -> Trace IO FormattedMessage
   -> Maybe (Trace IO FormattedMessage)
@@ -78,18 +79,19 @@ mkCardanoTracer' :: forall evt evt1.
   -> IO (Trace IO evt)
 mkCardanoTracer' trStdout trForward mbTrEkg tracerName namesFor severityFor privacyFor
   hook = do
-    messageTrace   <- withBackendsFromConfig backendsAndFormat
-    messageTrace'  <- withLimitersFromConfig
+    messageTrace     <- withBackendsFromConfig backendsAndFormat
+    messageTrace'    <- withLimitersFromConfig
                           (NT.contramap Message messageTrace)
                           (NT.contramap Limit messageTrace)
-    messageTrace'' <- hook messageTrace'
-    messageTrace''' <- addContextAndFilter messageTrace''
+    messageTrace''   <- hook messageTrace'
+    messageTrace'''  <- addContextAndFilter messageTrace''
+    messageTrace'''' <- maybeSilent tracerName messageTrace'''
     let metricsTrace = case mbTrEkg of
                           Nothing -> Trace NT.nullTracer
                           Just ekgTrace -> metricsFormatter "Cardano" ekgTrace
-    let metricsTrace' = filterTrace (\(_,v) -> asMetrics v /= []) metricsTrace
-    metricsTrace'' <- hook metricsTrace'
-    maybeSilent tracerName (messageTrace''' <> metricsTrace'')
+    metricsTrace'    <- hook metricsTrace
+    let metricsTrace'' = filterTrace (\(_,v) -> Prelude.null (asMetrics v)) metricsTrace'
+    pure (messageTrace'''' <> metricsTrace'')
 
   where
     addContextAndFilter :: Trace IO evt -> IO (Trace IO evt)