peer sharing: default configuration value

The default configuration value of peer sharing option depends now on
`pncStartAsNonProducingNode` option and `ncProtocolFiles`.  If a node
runs as a relay, peer sharing is on by default, if it is running as
a block producer, peer sharing is off by default.  The default value can
be overridden.

Author: coot

cardano-node/src/Cardano/Node/Configuration/POM.hs

@@ -228,6 +228,7 @@ data PartialNodeConfiguration
        , pncConfigFile      :: !(Last ConfigYamlFilePath)
        , pncTopologyFile    :: !(Last TopologyFile)
        , pncDatabaseFile    :: !(Last NodeDatabasePaths)
+         -- | pncProtocolFiles can only be supplied with command line arguments.
        , pncProtocolFiles   :: !(Last ProtocolFilepaths)
        , pncValidateDB      :: !(Last Bool)
        , pncShutdownConfig  :: !(Last ShutdownConfig)
@@ -654,7 +655,7 @@ defaultPartialNodeConfiguration =
     , pncDiffusionMode = Last $ Just InitiatorAndResponderDiffusionMode
     , pncExperimentalProtocolsEnabled = Last $ Just False
     , pncTopologyFile = Last . Just $ TopologyFile "configuration/cardano/mainnet-topology.json"
-    , pncProtocolFiles = mempty
+    , pncProtocolFiles = Last . Just $ ProtocolFilepaths Nothing Nothing Nothing Nothing Nothing Nothing
     , pncValidateDB = Last $ Just False
     , pncShutdownConfig = Last . Just $ ShutdownConfig Nothing Nothing
     , pncStartAsNonProducingNode = Last $ Just False
@@ -696,7 +697,8 @@ defaultPartialNodeConfiguration =
     , pncMinBigLedgerPeersForTrustedState = Last (Just Cardano.defaultNumberOfBigLedgerPeers)
     , pncConsensusMode = Last (Just Ouroboros.defaultConsensusMode)
     , pncEnableP2P     = Last (Just EnabledP2PMode)
-    , pncPeerSharing   = Last (Just Ouroboros.defaultPeerSharing)
+    , pncPeerSharing   = mempty
+      -- the default is defined in `makeNodeConfiguration`
     , pncGenesisConfigFlags = Last (Just defaultGenesisConfigFlags)
     , pncResponderCoreAffinityPolicy = Last $ Just NoResponderCoreAffinity
     }
@@ -731,6 +733,7 @@ makeNodeConfiguration pnc = do
   validateDB <- lastToEither "Missing ValidateDB" $ pncValidateDB pnc
   startAsNonProducingNode <- lastToEither "Missing StartAsNonProducingNode" $ pncStartAsNonProducingNode pnc
   protocolConfig <- lastToEither "Missing ProtocolConfig" $ pncProtocolConfig pnc
+  protocolFiles <- lastToEither "Missing ProtocolFiles" $ pncProtocolFiles pnc
   loggingSwitch <- lastToEither "Missing LoggingSwitch" $ pncLoggingSwitch pnc
   logMetrics <- lastToEither "Missing LogMetrics" $ pncLogMetrics pnc
   traceConfig <- first Text.unpack $ partialTraceSelectionToEither $ pncTraceConfig pnc
@@ -810,9 +813,14 @@ makeNodeConfiguration pnc = do
     $ getLast
     $ pncChainSyncIdleTimeout pnc
 
-  ncPeerSharing <-
-    lastToEither "Missing PeerSharing"
-    $ pncPeerSharing pnc
+  let ncPeerSharing =
+        case pncPeerSharing pnc of
+          Last Nothing ->
+            if    not startAsNonProducingNode
+               || hasProtocolFile protocolFiles
+            then PeerSharingDisabled
+            else PeerSharingEnabled
+          Last (Just peerSharing) -> peerSharing
 
   mGenesisConfigFlags <- case ncConsensusMode of
     PraosMode -> pure Nothing
@@ -857,13 +865,7 @@ makeNodeConfiguration pnc = do
              { ncConfigFile = configFile
              , ncTopologyFile = topologyFile
              , ncDatabaseFile = databaseFile
-             , ncProtocolFiles =
-                 -- TODO: ncProtocolFiles should be Maybe ProtocolFiles
-                 -- as relay nodes don't need the protocol files because
-                 -- they are not minting blocks.
-                 case getLast $ pncProtocolFiles pnc of
-                   Just pFiles -> pFiles
-                   Nothing -> ProtocolFilepaths Nothing Nothing Nothing Nothing Nothing Nothing
+             , ncProtocolFiles = protocolFiles
              , ncValidateDB = validateDB
              , ncShutdownConfig = shutdownConfig
              , ncStartAsNonProducingNode = startAsNonProducingNode

cardano-node/src/Cardano/Node/Parsers.hs

@@ -27,8 +27,7 @@ import           Data.Foldable
 import           Data.Maybe (fromMaybe)
 import           Data.Monoid (Last (..))
 import           Data.Text (Text)
-import qualified Data.Text as Text
-import           Data.Word (Word16, Word32)
+import           Data.Word (Word32)
 import           Options.Applicative hiding (str, switch)
 -- Don't use switch.  It will not allow to set an option in a configuration
 -- file.  See `parseStartAsNonProducingNode` and `parseValidateDB`.

cardano-node/src/Cardano/Node/Types.hs

@@ -17,6 +17,7 @@ module Cardano.Node.Types
   , PeerSnapshotFile (..)
   , CheckpointsFile(..)
   , ProtocolFilepaths (..)
+  , hasProtocolFile
   , GenesisHash(..)
   , CheckpointsHash(..)
   , MaxConcurrencyBulkSync(..)
@@ -50,6 +51,7 @@ import           Ouroboros.Network.NodeToNode (DiffusionMode (..))
 import           Control.Exception
 import           Data.Aeson
 import           Data.ByteString (ByteString)
+import           Data.Maybe (isJust)
 import           Data.Monoid (Last (..))
 import           Data.String (IsString)
 import           Data.Text (Text)
@@ -174,6 +176,25 @@ data ProtocolFilepaths =
      , shelleyBulkCredsFile :: !(Maybe FilePath)
      } deriving (Eq, Show)
 
+-- | If any of the 'ProtocolFilepath` is given `PeerSharing` option will be
+-- disabled by default.
+--
+hasProtocolFile :: ProtocolFilepaths -> Bool
+hasProtocolFile ProtocolFilepaths {
+    byronCertFile,
+    byronKeyFile,
+    shelleyKESFile,
+    shelleyVRFFile,
+    shelleyCertFile,
+    shelleyBulkCredsFile
+  }
+  =  isJust byronCertFile
+  || isJust byronKeyFile
+  || isJust shelleyKESFile
+  || isJust shelleyVRFFile
+  || isJust shelleyCertFile
+  || isJust shelleyBulkCredsFile
+
 newtype GenesisHash = GenesisHash (Crypto.Hash Crypto.Blake2b_256 ByteString)
   deriving newtype (Eq, Show, ToJSON, FromJSON)