![iohk-bors[bot]](https://avatars.githubusercontent.com/in/17473?v=4&s=80)
2930: Add a self-issued predicate to the Consensus interface r=nfrisby a=nfrisby Fixes #2926. Co-authored-by: Nicolas Frisby <[email protected]>
RunNode instance
-------------------------------------------------------------------------------}
instance BlockSupportsMetrics DualByronBlock where
isSelfIssued = isSelfIssuedConstUnknown
instance RunNode DualByronBlock
RunNode instance
-------------------------------------------------------------------------------}
instance BlockSupportsMetrics ByronBlock where
isSelfIssued = isSelfIssuedConstUnknown
instance RunNode ByronBlock
nodeCheckIntegrity _ _ = True
instance BlockSupportsMetrics (SimpleBlock c ext) where
isSelfIssued = isSelfIssuedConstUnknown
instance ( LedgerSupportsProtocol (SimpleBlock SimpleMockCrypto ext)
, Show (CannotForge (SimpleBlock SimpleMockCrypto ext))
, Show (ForgeStateInfo (SimpleBlock SimpleMockCrypto ext))
-- When we are running with multiple sets of credentials, which should
-- only happen when benchmarking, do a hash lookup, as the number of
-- keys can grow to 100-250.
_ | SL.hashKey (SL.bheaderVk hdrBody)
`Map.member` shelleyBlockIssuerVKeys cfg
_ | SL.hashKey (SL.bheaderVk hdrBody) `Map.member` issuerVKeys
-> SelfIssued
| otherwise
-> NotSelfIssued
RunNode instance
-------------------------------------------------------------------------------}
instance ShelleyBasedEra era => BlockSupportsMetrics (ShelleyBlock era) where
isSelfIssued cfg hdr =
case csvSelfIssued $ selectView cfg hdr of
SelfIssued -> IsSelfIssued
NotSelfIssued -> IsNotSelfIssued
instance ShelleyBasedEra era => RunNode (ShelleyBlock era)
{-------------------------------------------------------------------------------
-- Pick some chunk size
nodeImmutableDbChunkInfo _ = simpleChunkInfo 10
instance BlockSupportsMetrics BlockA where
isSelfIssued = isSelfIssuedConstUnknown
instance SingleEraBlock BlockA where
singleEraInfo _ = SingleEraInfo "A"
-- Pick some chunk size
nodeImmutableDbChunkInfo _ = simpleChunkInfo 10
instance BlockSupportsMetrics BlockB where
isSelfIssued = isSelfIssuedConstUnknown
instance SingleEraBlock BlockB where
singleEraInfo _ = SingleEraInfo "B"
singleEraTransition = \_ _ _ _ -> Nothing
Ouroboros.Consensus.Block.Forging
Ouroboros.Consensus.Block.NestedContent
Ouroboros.Consensus.Block.RealPoint
Ouroboros.Consensus.Block.SupportsMetrics
Ouroboros.Consensus.Block.SupportsProtocol
Ouroboros.Consensus.BlockchainTime
Ouroboros.Consensus.BlockchainTime.API
Ouroboros.Consensus.HardFork.Combinator.Mempool
Ouroboros.Consensus.HardFork.Combinator.Node
Ouroboros.Consensus.HardFork.Combinator.Node.InitStorage
Ouroboros.Consensus.HardFork.Combinator.Node.Metrics
Ouroboros.Consensus.HardFork.Combinator.PartialConfig
Ouroboros.Consensus.HardFork.Combinator.Protocol
Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel
import Ouroboros.Consensus.Block.Forging as X
import Ouroboros.Consensus.Block.NestedContent as X
import Ouroboros.Consensus.Block.RealPoint as X
import Ouroboros.Consensus.Block.SupportsMetrics as X
import Ouroboros.Consensus.Block.SupportsProtocol as X
-- | See 'BlockSupportsMetrics'.
module Ouroboros.Consensus.Block.SupportsMetrics (
BlockSupportsMetrics (..)
, WhetherSelfIssued (..)
, isSelfIssuedConstUnknown
) where
import Ouroboros.Consensus.Block.Abstract
{-------------------------------------------------------------------------------
Supported blocks
-------------------------------------------------------------------------------}
-- | Whether a block was issued by a stakeholder currently forging on this node
data WhetherSelfIssued =
IsSelfIssued
| IsNotSelfIssued
-- | We are unable to determine
| UnknownSelfIssued
deriving (Show, Eq)
-- | Evidence that a block supports the metrics needed for business requirements
--
-- For example, we use 'isSelfIssued' to help Stake Pool Operators monitor how
-- many of their forged blocks have not ended up on their chain.
class BlockSupportsMetrics blk where
-- | See 'WhetherSelfIssued'.
isSelfIssued :: BlockConfig blk -> Header blk -> WhetherSelfIssued
-- | Use this default for block types that cannot or do not yet support the
-- predicate
isSelfIssuedConstUnknown :: BlockConfig blk -> Header blk -> WhetherSelfIssued
isSelfIssuedConstUnknown _cfg _hdr = UnknownSelfIssued
import Ouroboros.Consensus.HardFork.Combinator.Node.InitStorage as X
()
-- Instance for 'BlockSupportsMetrics'
import Ouroboros.Consensus.HardFork.Combinator.Node.Metrics as X ()
-- Definition of InPairs (required to define translations)
import Ouroboros.Consensus.HardFork.Combinator.Util.InPairs as X
(InPairs (..))
, LedgerSupportsPeerSelection blk
, ConfigSupportsNode blk
, NodeInitStorage blk
, BlockSupportsMetrics blk
-- Instances required to support testing
, Eq (GenTx blk)
, Eq (ApplyTxErr blk)
()
import Ouroboros.Consensus.HardFork.Combinator.Ledger.PeerSelection ()
import Ouroboros.Consensus.HardFork.Combinator.Node.InitStorage ()
import Ouroboros.Consensus.HardFork.Combinator.Node.Metrics ()
import Ouroboros.Consensus.HardFork.Combinator.Serialisation
{-------------------------------------------------------------------------------
{-# OPTIONS_GHC -Wno-orphans #-}
module Ouroboros.Consensus.HardFork.Combinator.Node.Metrics () where
import Data.SOP.Strict
import Ouroboros.Consensus.Block.SupportsMetrics
import Ouroboros.Consensus.Util
import Ouroboros.Consensus.HardFork.Combinator.Abstract
import Ouroboros.Consensus.HardFork.Combinator.AcrossEras
import Ouroboros.Consensus.HardFork.Combinator.Basics
import Ouroboros.Consensus.HardFork.Combinator.Block
instance CanHardFork xs => BlockSupportsMetrics (HardForkBlock xs) where
isSelfIssued cfg hdr =
hcollapse
$ hczipWith
proxySingle
(K .: isSelfIssued)
(getPerEraBlockConfig $ hardForkBlockConfigPerEra cfg)
(getOneEraHeader $ getHardForkHeader hdr)
, SerialiseNodeToClientConstraints blk
, LedgerSupportsPeerSelection blk
, NodeInitStorage blk
, BlockSupportsMetrics blk
, Show (CannotForge blk)
, Show (ForgeStateInfo blk)
, Show (ForgeStateUpdateError blk)
, ShowProxy (Query blk)
, ShowProxy (TxId (GenTx blk))
) => RunNode blk
-- This class is intentionally empty. It is not necessarily compositional - ie
-- the instance for 'HardForkBlock' might do more than merely delegate to the
-- instance for each era - but we want as many of its super classes as
-- possible to rely on compositional instances when possible. Not putting any
-- methods here helps encourage that.
Transaction rewrite
We will only use the tracing infrastructure in the run function, and for messages that can't cause the node to exit
Add tests for native tokens with empty asset names
Do not try to run `pkgs.nixos` when on darwin
We only want to log errors in the env initialization
We don't want to use stdout for anything other than logging (if configured). Unrecoverable initialization errors should go to stderr
