workbench | locli: document + report compiler version

Author: mgmeier

bench/locli/src/Cardano/Analysis/API/Context.hs

@@ -197,34 +197,36 @@ manifestPackages =
 
 data Metadata
   = Metadata
-  { tag             :: Text
-  , batch           :: Text
-  , ident           :: Text
-  , profile         :: Text
-  , era             :: Text
-  , manifest        :: Manifest
-  , profile_content :: AE.KeyMap Value
+  { tag               :: Text
+  , batch             :: Text
+  , ident             :: Text
+  , node_ghc_version  :: Text
+  , profile           :: Text
+  , era               :: Text
+  , manifest          :: Manifest
+  , profile_content   :: AE.KeyMap Value
   }
   deriving (Generic, NFData, Show, ToJSON)
 
 instance FromJSON Metadata where
   parseJSON =
     withObject "Metadata" $ \v -> do
 
-      tag             <- v .: "tag"
-      batch           <- v .: "batch"
-      manifest        <- (v .: "manifest")
+      tag              <- v .: "tag"
+      batch            <- v .: "batch"
+      manifest         <- (v .: "manifest")
                          <|> compatParseManifest v
-      profile         <- v .: "profile"
-      profile_content <- v .: "profile_content"
-      generator       <- profile_content .: "generator"
+      profile          <- v .: "profile"
+      profile_content  <- v .: "profile_content"
+      generator        <- profile_content .: "generator"
 
-      ident           <- (v .:? "ident")
-                          <&> fromMaybe (unVersion . ciVersion $
+      ident            <- (v .:? "ident")
+                         <&> fromMaybe (unVersion . ciVersion $
                                          getComponent "cardano-node" manifest)
-      eraDirect       <- v .:?  "era"
-      eraProfile      <- profile_content .:? "era"
-      eraGenerator    <- generator .:? "era"
+      node_ghc_version <- v .:?  "node_ghc_version" .!= "unknown"
+      eraDirect        <- v .:?  "era"
+      eraProfile       <- profile_content .:? "era"
+      eraGenerator     <- generator .:? "era"
       era <- case eraDirect <|> eraProfile <|> eraGenerator of
         Just x -> pure x
         Nothing -> fail "While parsing run metafile:  missing era specification"

bench/locli/src/Cardano/Analysis/API/Metrics.hs

@@ -40,6 +40,7 @@ sumFieldsReport =
   [ "date.systemStart", "time.systemStart", "sumAnalysisTime"
   , "ident"
   , "batch"
+  , "ghc_version"
   ] ++ (FieldName <$> manifestPackages) ++
   [ "era"
   , "delegators", "utxo"
@@ -79,6 +80,10 @@ instance (KnownCDF f) => TimelineFields (Summary f)  where
       "Run batch"
       ""
 
+   <> fScalar   "ghc_version"          Wno Id  (IText $ node_ghc_version.sumMeta)
+      "GHC version"
+      "GHC version used to build cardano-node"
+
    <> manifestFields
 
    <> fScalar "era"                    Wno Era (IText $                     era.sumMeta)

bench/locli/src/Cardano/Analysis/Summary.hs

@@ -30,6 +30,7 @@ data SummaryError
   | SEIncoherentRunEras          [Text]
   | SEIncoherentRunVersions      [Manifest]
   | SEIncoherentRunFilters       [([FilterName], [ChainFilter])]
+  | SEIncoherentCompilerVersions [Text]
   | SECDFError                   CDFError
   deriving Show
 
@@ -96,10 +97,11 @@ summariseMultiSummary sumAnalysisTime centiles xs@(headline:xss) = do
    summariseMetadata :: [Metadata] -> Either SummaryError Metadata
    summariseMetadata [] = Left SEEmptyDataset
    summariseMetadata xs@(headline:_) = do
-     profile         <- allEqOrElse (xs <&> profile)         SEIncoherentRunProfileNames
-     era             <- allEqOrElse (xs <&> era)             SEIncoherentRunEras
-     manifest        <- allEqOrElse (xs <&> manifest)        SEIncoherentRunVersions
-     profile_content <- allEqOrElse (xs <&> profile_content) SEIncoherentRunProfiles
+     profile          <- allEqOrElse (xs <&> profile)          SEIncoherentRunProfileNames
+     era              <- allEqOrElse (xs <&> era)              SEIncoherentRunEras
+     manifest         <- allEqOrElse (xs <&> manifest)         SEIncoherentRunVersions
+     profile_content  <- allEqOrElse (xs <&> profile_content)  SEIncoherentRunProfiles
+     node_ghc_version <- allEqOrElse (xs <&> node_ghc_version) SEIncoherentCompilerVersions
      -- XXX: magic transformation that happens to match
      --      the logic in 'analyse.sh multi-call' on line with "local run="
      pure Metadata { tag   = multiRunTag (Just "variance") xs

nix/workbench/run.sh

@@ -470,6 +470,8 @@ EOF
             fail "Mode no longer supported:  operation without profile/ directory."
         fi
 
+        local ghc_version=$(get_node_ghc_version)
+
         progress "run | topology" \
                  "$(white $(jq -r .composition.topology "$dir"/profile.json))"
         ln -s "$profile_data"/topology.json        "$dir"
@@ -500,6 +502,7 @@ EOF
             --arg       run              "$run"
             --arg       batch            "$batch"
             --arg       profile_name     "$profile_name"
+            --arg       ghc_version      "$ghc_version"
             --argjson   timing           "$timing"
             --slurpfile profile_content  "$dir"/profile.json
             --argjson   manifest         "$manifest"
@@ -509,6 +512,7 @@ EOF
              { tag:              $run
              , batch:            $batch
              , profile:          $profile_name
+             , node_ghc_version: $ghc_version
              , timing:           $timing
              , manifest:         $manifest
              , profile_overlay:  $profile_content[0].overlay
@@ -1053,3 +1057,22 @@ run_ls_sets_cmd() {
           cut -d/ -f2 |
           sort -u || true'
 }
+
+get_node_ghc_version(){
+    local node_executable
+
+    if [[ $WB_BACKEND == nomad* ]]
+    then
+       node_executable=$(jq --raw-output '.containerPkgs."cardano-node"."nix-store-path"' $WB_BACKEND_DATA/container-specs.json)
+       node_executable="$node_executable/bin/cardano-node"
+    else
+       node_executable=cardano-node
+    fi
+
+    if [[ -x $node_executable ]]
+    then
+        $node_executable +RTS --info | grep 'GHC version' | grep -E -o "([0-9]{1,2}[\.]){2}[0-9]{1,2}"
+    else
+        echo "unknown"
+    fi
+}