Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation

Contents

Tracing
Re-exports

Synopsis

data SimArgs = SimArgs {
- saSlot :: DiffTime
- saQuota :: Int
}
mainnetSimArgs :: Int -> SimArgs
data NodeArgs = NodeArgs {
- naSeed :: Int
- naDiffusionMode :: DiffusionMode
- naMbTime :: Maybe DiffTime
- naPublicRoots :: Map RelayAccessPoint PeerAdvertise
- naConsensusMode :: ConsensusMode
- naBootstrapPeers :: Script UseBootstrapPeers
- naAddr :: NtNAddr
- naPeerSharing :: PeerSharing
- naLocalRootPeers :: [(HotValency, WarmValency, Map RelayAccessPoint (LocalRootConfig PeerTrustable))]
- naLedgerPeers :: Script LedgerPools
- naPeerTargets :: (PeerSelectionTargets, PeerSelectionTargets)
- naDNSTimeoutScript :: Script DNSTimeout
- naDNSLookupDelayScript :: Script DNSLookupDelay
- naChainSyncExitOnBlockNo :: Maybe BlockNo
- naChainSyncEarlyExit :: Bool
- naFetchModeScript :: Script PraosFetchMode
}
data ServiceDomainName
- = DomainName Domain
- | Misconfigured Domain
- | NoDomainName
data DiffusionScript = DiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]
data HotDiffusionScript = HotDiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]
data DiffusionSimulationTrace
- = TrJoiningNetwork
- | TrKillingNode
- | TrReconfiguringNode
- | TrUpdatingDNS
- | TrRunning
- | TrErrored SomeException
prop_diffusionScript_fixupCommands :: DiffusionScript -> Property
prop_diffusionScript_commandScript_valid :: DiffusionScript -> Property
fixupCommands :: [Command] -> [Command]
diffusionSimulation :: (Alternative (STM m), MonadAsync m, MonadDelay m, MonadFix m, MonadFork m, MonadSay m, MonadST m, MonadEvaluate m, MonadLabelledSTM m, MonadTraceSTM m, MonadMask m, MonadTime m, MonadTimer m, MonadThrow (STM m), MonadMVar m, forall a. Semigroup a => Semigroup (m a)) => BearerInfo -> DiffusionScript -> Tracer m (WithTime (WithName NtNAddr DiffusionTestTrace)) -> m Void
data Command
- = JoinNetwork DiffTime
- | Kill DiffTime
- | Reconfigure DiffTime [(HotValency, WarmValency, Map RelayAccessPoint (LocalRootConfig PeerTrustable))]
data DiffusionTestTrace
- = DiffusionLocalRootPeerTrace (TraceLocalRootPeers PeerTrustable NtNAddr SomeException)
- | DiffusionPublicRootPeerTrace TracePublicRootPeers
- | DiffusionLedgerPeersTrace TraceLedgerPeers
- | DiffusionPeerSelectionTrace (TracePeerSelection ExtraState PeerTrustable (ExtraPeers NtNAddr) NtNAddr)
- | DiffusionPeerSelectionActionsTrace (PeerSelectionActionsTrace NtNAddr NtNVersion)
- | DiffusionDebugPeerSelectionTrace (DebugPeerSelection ExtraState PeerTrustable (ExtraPeers NtNAddr) NtNAddr)
- | DiffusionConnectionManagerTrace (Trace NtNAddr (ConnectionHandlerTrace NtNVersion NtNVersionData))
- | DiffusionDiffusionSimulationTrace DiffusionSimulationTrace
- | DiffusionConnectionManagerTransitionTrace (AbstractTransitionTrace ConnStateId)
- | DiffusionInboundGovernorTransitionTrace (RemoteTransitionTrace NtNAddr)
- | DiffusionInboundGovernorTrace (Trace NtNAddr)
- | DiffusionServerTrace (Trace NtNAddr)
- | DiffusionFetchTrace (TraceFetchClientState BlockHeader)
- | DiffusionDebugTrace String
iosimTracer :: forall s a. (Show a, Typeable a) => Tracer (IOSim s) (WithTime (WithName NtNAddr a))
newtype TestAddress addr = TestAddress {
- getTestAddress :: addr
}
data RelayAccessPoint where
- RelayAccessDomain !Domain !PortNumber
- RelayAccessAddress !IP !PortNumber
- pattern RelayDomainAccessPoint :: DomainAccessPoint -> RelayAccessPoint
newtype Script a = Script (NonEmpty a)
data DebugPeerSelection extraState extraFlags extraPeers peeraddr where
- TraceGovernorState :: forall extraState extraFlags extraPeers peeraddr peerconn. Show peerconn => Time -> Maybe DiffTime -> PeerSelectionState extraState extraFlags extraPeers peeraddr peerconn -> DebugPeerSelection extraState extraFlags extraPeers peeraddr
data PeerSelectionTargets = PeerSelectionTargets {
- targetNumberOfRootPeers :: !Int
- targetNumberOfKnownPeers :: !Int
- targetNumberOfEstablishedPeers :: !Int
- targetNumberOfActivePeers :: !Int
- targetNumberOfKnownBigLedgerPeers :: !Int
- targetNumberOfEstablishedBigLedgerPeers :: !Int
- targetNumberOfActiveBigLedgerPeers :: !Int
}
data TracePeerSelection extraDebugState extraFlags extraPeers peeraddr
newtype DNSLookupDelay = DNSLookupDelay {
- getDNSLookupDelay :: DiffTime
}
newtype DNSTimeout = DNSTimeout {
- getDNSTimeout :: DiffTime
}
mockDNSActions :: forall exception (m :: Type -> Type). (MonadDelay m, MonadTimer m) => StrictTVar m (Map Domain [(IP, TTL)]) -> StrictTVar m (Script DNSTimeout) -> StrictTVar m (Script DNSLookupDelay) -> DNSActions () exception m

Documentation

data SimArgs Source #

Diffusion Simulator Arguments

Contains all necessary randomly generated values needed to run diffusion in simulation.

Constructors

SimArgs
Fields saSlot :: DiffTime `randomBlockGenerationArgs` slot duration argument saQuota :: Int `randomBlockGenerationArgs` quota value

Instances

Instances details

Show SimArgs Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> SimArgs -> ShowS # show :: SimArgs -> String # showList :: [SimArgs] -> ShowS #

mainnetSimArgs :: Int -> SimArgs Source #

Simulation arguments.

Slot length needs to be greater than 0 else we get a livelock on the IOSim.

Quota values matches mainnet, so a slot length of 1s and 1 / 20 chance that someone gets to make a block.

data NodeArgs Source #

Diffusion Simulator Node Arguments

Contains all necessary randomly generated values needed to run a node in simulation.

Constructors

NodeArgs

Fields

naSeed :: Int
randomBlockGenerationArgs seed argument
naDiffusionMode :: DiffusionMode
naMbTime :: Maybe DiffTime
LimitsAndTimeouts argument
naPublicRoots :: Map RelayAccessPoint PeerAdvertise
Interfaces relays auxiliary value
naConsensusMode :: ConsensusMode
naBootstrapPeers :: Script UseBootstrapPeers
Interfaces relays auxiliary value
naAddr :: NtNAddr
Arguments aIPAddress value
naPeerSharing :: PeerSharing
Arguments aOwnPeerSharing value
naLocalRootPeers :: [(HotValency, WarmValency, Map RelayAccessPoint (LocalRootConfig PeerTrustable))]
naLedgerPeers :: Script LedgerPools
Arguments LocalRootPeers values
naPeerTargets :: (PeerSelectionTargets, PeerSelectionTargets)
Arguments aLocalSelectionTargets value
naDNSTimeoutScript :: Script DNSTimeout
Arguments aDNSTimeoutScript value
naDNSLookupDelayScript :: Script DNSLookupDelay
Arguments aDNSLookupDelayScript value
naChainSyncExitOnBlockNo :: Maybe BlockNo
naChainSyncEarlyExit :: Bool
naFetchModeScript :: Script PraosFetchMode

Instances

Instances details

Show NodeArgs Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> NodeArgs -> ShowS # show :: NodeArgs -> String # showList :: [NodeArgs] -> ShowS #

data ServiceDomainName Source #

Constructors

DomainName Domain	a well configured domain name
Misconfigured Domain	a domain name which is advertised but its' IPs are wrong.
NoDomainName

Instances

Instances details

Arbitrary ServiceDomainName Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods arbitrary :: Gen ServiceDomainName # shrink :: ServiceDomainName -> [ServiceDomainName] #
Show ServiceDomainName Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> ServiceDomainName -> ShowS # show :: ServiceDomainName -> String # showList :: [ServiceDomainName] -> ShowS #

data DiffusionScript Source #

Multinode Diffusion Simulator Script

SimArgs with all the values needed for running the simulation, followed by a list of NodeArgs where each element represents one running node and respective Commands.

Constructors

DiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]

Instances

Instances details

Arbitrary DiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods arbitrary :: Gen DiffusionScript # shrink :: DiffusionScript -> [DiffusionScript] #
Show DiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> DiffusionScript -> ShowS # show :: DiffusionScript -> String # showList :: [DiffusionScript] -> ShowS #

data HotDiffusionScript Source #

Multinode Hot Diffusion Simulator Script

List of SimArgs. Each element of the list represents one running node.

Constructors

HotDiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]

Instances

Instances details

Arbitrary HotDiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods arbitrary :: Gen HotDiffusionScript # shrink :: HotDiffusionScript -> [HotDiffusionScript] #
Show HotDiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> HotDiffusionScript -> ShowS # show :: HotDiffusionScript -> String # showList :: [HotDiffusionScript] -> ShowS #

data DiffusionSimulationTrace Source #

Diffusion Simulation Trace so we know what command is concurrently running

Constructors

TrJoiningNetwork
TrKillingNode
TrReconfiguringNode
TrUpdatingDNS
TrRunning
TrErrored SomeException

Instances

Instances details

Show DiffusionSimulationTrace Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> DiffusionSimulationTrace -> ShowS # show :: DiffusionSimulationTrace -> String # showList :: [DiffusionSimulationTrace] -> ShowS #

prop_diffusionScript_fixupCommands :: DiffusionScript -> Property Source #

prop_diffusionScript_commandScript_valid :: DiffusionScript -> Property Source #

fixupCommands :: [Command] -> [Command] Source #

diffusionSimulation Source #

Arguments

:: (Alternative (STM m), MonadAsync m, MonadDelay m, MonadFix m, MonadFork m, MonadSay m, MonadST m, MonadEvaluate m, MonadLabelledSTM m, MonadTraceSTM m, MonadMask m, MonadTime m, MonadTimer m, MonadThrow (STM m), MonadMVar m, forall a. Semigroup a => Semigroup (m a))
=> BearerInfo
-> DiffusionScript
-> Tracer m (WithTime (WithName NtNAddr DiffusionTestTrace))	timed trace of nodes in the system
-> m Void

Run an arbitrary topology

data Command Source #

Constructors

JoinNetwork DiffTime
Kill DiffTime
Reconfigure DiffTime [(HotValency, WarmValency, Map RelayAccessPoint (LocalRootConfig PeerTrustable))]

Instances

Instances details

Show Command Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> Command -> ShowS # show :: Command -> String # showList :: [Command] -> ShowS #
Eq Command Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods (==) :: Command -> Command -> Bool # (/=) :: Command -> Command -> Bool #

Tracing

data DiffusionTestTrace Source #

Constructors

DiffusionLocalRootPeerTrace (TraceLocalRootPeers PeerTrustable NtNAddr SomeException)
DiffusionPublicRootPeerTrace TracePublicRootPeers
DiffusionLedgerPeersTrace TraceLedgerPeers
DiffusionPeerSelectionTrace (TracePeerSelection ExtraState PeerTrustable (ExtraPeers NtNAddr) NtNAddr)
DiffusionPeerSelectionActionsTrace (PeerSelectionActionsTrace NtNAddr NtNVersion)
DiffusionDebugPeerSelectionTrace (DebugPeerSelection ExtraState PeerTrustable (ExtraPeers NtNAddr) NtNAddr)
DiffusionConnectionManagerTrace (Trace NtNAddr (ConnectionHandlerTrace NtNVersion NtNVersionData))
DiffusionDiffusionSimulationTrace DiffusionSimulationTrace
DiffusionConnectionManagerTransitionTrace (AbstractTransitionTrace ConnStateId)
DiffusionInboundGovernorTransitionTrace (RemoteTransitionTrace NtNAddr)
DiffusionInboundGovernorTrace (Trace NtNAddr)
DiffusionServerTrace (Trace NtNAddr)
DiffusionFetchTrace (TraceFetchClientState BlockHeader)
DiffusionDebugTrace String

Instances

Instances details

Show DiffusionTestTrace Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> DiffusionTestTrace -> ShowS # show :: DiffusionTestTrace -> String # showList :: [DiffusionTestTrace] -> ShowS #

iosimTracer :: forall s a. (Show a, Typeable a) => Tracer (IOSim s) (WithTime (WithName NtNAddr a)) Source #

A debug tracer which embeds events in DiffusionTestTrace.

Re-exports

newtype TestAddress addr #

Constructors

TestAddress
Fields getTestAddress :: addr

Instances

Instances details

NFData addr => NFData (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

rnf :: TestAddress addr -> () #

Generic (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Associated Types

type Rep (TestAddress addr)
Instance details Defined in Ouroboros.Network.Snocket type Rep (TestAddress addr) = D1 ('MetaData "TestAddress" "Ouroboros.Network.Snocket" "ouroboros-network-framework-0.16.0.0-inplace" 'True) (C1 ('MetaCons "TestAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTestAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 addr)))

Methods

from :: TestAddress addr -> Rep (TestAddress addr) x #

to :: Rep (TestAddress addr) x -> TestAddress addr #

Show addr => Show (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

showsPrec :: Int -> TestAddress addr -> ShowS #

show :: TestAddress addr -> String #

showList :: [TestAddress addr] -> ShowS #

Eq addr => Eq (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

(==) :: TestAddress addr -> TestAddress addr -> Bool #

(/=) :: TestAddress addr -> TestAddress addr -> Bool #

Ord addr => Ord (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

compare :: TestAddress addr -> TestAddress addr -> Ordering #

(<) :: TestAddress addr -> TestAddress addr -> Bool #

(<=) :: TestAddress addr -> TestAddress addr -> Bool #

(>) :: TestAddress addr -> TestAddress addr -> Bool #

(>=) :: TestAddress addr -> TestAddress addr -> Bool #

max :: TestAddress addr -> TestAddress addr -> TestAddress addr #

min :: TestAddress addr -> TestAddress addr -> TestAddress addr #

Hashable addr => Hashable (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

hashWithSalt :: Int -> TestAddress addr -> Int #

hash :: TestAddress addr -> Int #

Typeable addr => NoThunks (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

noThunks :: Context -> TestAddress addr -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> TestAddress addr -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (TestAddress addr) -> String #

type Rep (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

type Rep (TestAddress addr) = D1 ('MetaData "TestAddress" "Ouroboros.Network.Snocket" "ouroboros-network-framework-0.16.0.0-inplace" 'True) (C1 ('MetaCons "TestAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTestAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 addr)))

data RelayAccessPoint #

A relay can have either an IP address and a port number or a domain with a port number

Constructors

RelayAccessDomain !Domain !PortNumber
RelayAccessAddress !IP !PortNumber

Bundled Patterns

pattern RelayDomainAccessPoint :: DomainAccessPoint -> RelayAccessPoint

RelayDomainAccessPoint a bidirectional pattern which links RelayAccessDomain and DomainAccessPoint.

Instances

Instances details

Arbitrary RelayAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods arbitrary :: Gen RelayAccessPoint # shrink :: RelayAccessPoint -> [RelayAccessPoint] #
FromJSON RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods parseJSON :: Value -> Parser RelayAccessPoint # parseJSONList :: Value -> Parser [RelayAccessPoint] # omittedField :: Maybe RelayAccessPoint #
ToJSON RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods toJSON :: RelayAccessPoint -> Value # toEncoding :: RelayAccessPoint -> Encoding # toJSONList :: [RelayAccessPoint] -> Value # toEncodingList :: [RelayAccessPoint] -> Encoding # omitField :: RelayAccessPoint -> Bool #
NFData RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods rnf :: RelayAccessPoint -> () #
Show RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods showsPrec :: Int -> RelayAccessPoint -> ShowS # show :: RelayAccessPoint -> String # showList :: [RelayAccessPoint] -> ShowS #
Eq RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods (==) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (/=) :: RelayAccessPoint -> RelayAccessPoint -> Bool #
Ord RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods compare :: RelayAccessPoint -> RelayAccessPoint -> Ordering # (<) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (<=) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (>) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (>=) :: RelayAccessPoint -> RelayAccessPoint -> Bool # max :: RelayAccessPoint -> RelayAccessPoint -> RelayAccessPoint # min :: RelayAccessPoint -> RelayAccessPoint -> RelayAccessPoint #

newtype Script a #

Constructors

Script (NonEmpty a)

Instances

Instances details

Functor Script
Instance details Defined in Test.Ouroboros.Network.Data.Script Methods fmap :: (a -> b) -> Script a -> Script b # (<$) :: a -> Script b -> Script a #
Foldable Script
Instance details Defined in Test.Ouroboros.Network.Data.Script Methods fold :: Monoid m => Script m -> m # foldMap :: Monoid m => (a -> m) -> Script a -> m # foldMap' :: Monoid m => (a -> m) -> Script a -> m # foldr :: (a -> b -> b) -> b -> Script a -> b # foldr' :: (a -> b -> b) -> b -> Script a -> b # foldl :: (b -> a -> b) -> b -> Script a -> b # foldl' :: (b -> a -> b) -> b -> Script a -> b # foldr1 :: (a -> a -> a) -> Script a -> a # foldl1 :: (a -> a -> a) -> Script a -> a # toList :: Script a -> [a] # null :: Script a -> Bool # length :: Script a -> Int # elem :: Eq a => a -> Script a -> Bool # maximum :: Ord a => Script a -> a # minimum :: Ord a => Script a -> a # sum :: Num a => Script a -> a # product :: Num a => Script a -> a #
Traversable Script
Instance details Defined in Test.Ouroboros.Network.Data.Script Methods traverse :: Applicative f => (a -> f b) -> Script a -> f (Script b) # sequenceA :: Applicative f => Script (f a) -> f (Script a) # mapM :: Monad m => (a -> m b) -> Script a -> m (Script b) # sequence :: Monad m => Script (m a) -> m (Script a) #
Arbitrary a => Arbitrary (Script a)
Instance details Defined in Test.Ouroboros.Network.Data.Script Methods arbitrary :: Gen (Script a) # shrink :: Script a -> [Script a] #
Show a => Show (Script a)
Instance details Defined in Test.Ouroboros.Network.Data.Script Methods showsPrec :: Int -> Script a -> ShowS # show :: Script a -> String # showList :: [Script a] -> ShowS #
Eq a => Eq (Script a)
Instance details Defined in Test.Ouroboros.Network.Data.Script Methods (==) :: Script a -> Script a -> Bool # (/=) :: Script a -> Script a -> Bool #

data DebugPeerSelection extraState extraFlags extraPeers peeraddr where #

Constructors

TraceGovernorState :: forall extraState extraFlags extraPeers peeraddr peerconn. Show peerconn => Time -> Maybe DiffTime -> PeerSelectionState extraState extraFlags extraPeers peeraddr peerconn -> DebugPeerSelection extraState extraFlags extraPeers peeraddr

Instances

Instances details

(Show extraState, Show extraFlags, Show extraPeers, Ord peeraddr, Show peeraddr) => Show (DebugPeerSelection extraState extraFlags extraPeers peeraddr)
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods showsPrec :: Int -> DebugPeerSelection extraState extraFlags extraPeers peeraddr -> ShowS # show :: DebugPeerSelection extraState extraFlags extraPeers peeraddr -> String # showList :: [DebugPeerSelection extraState extraFlags extraPeers peeraddr] -> ShowS #

data PeerSelectionTargets #

Adjustable targets for the peer selection mechanism.

These are used by the peer selection governor as targets. They are used by the peer churn governor loop as knobs to adjust, to influence the peer selection governor.

The known, established and active peer targets are targets both from below and from above: the governor will attempt to grow or shrink the sets to hit these targets.

Unlike the other targets, the root peer target is "one sided", it is only a target from below. The governor does not try to shrink the root set to hit it, it simply stops looking for more.

There is also an implicit target that enough local root peers are selected as active. This comes from the configuration for local roots, and is not an independently adjustable target.

Constructors

PeerSelectionTargets

Fields

targetNumberOfRootPeers :: !Int
targetNumberOfKnownPeers :: !Int
The target number of all known peers. Doesn't include big ledger peers |
targetNumberOfEstablishedPeers :: !Int
The target number of established peers (does not include big ledger peers).
The target includes root peers, local root peers, and ledger peers
targetNumberOfActivePeers :: !Int
The target number of active peers (does not include big ledger peers).
targetNumberOfKnownBigLedgerPeers :: !Int
Target number of known big ledger peers.
This target is independent of targetNumberOfKnownPeers. The total number of known peers will be sum of the two targets.
targetNumberOfEstablishedBigLedgerPeers :: !Int
Target number of established big ledger peers.
This target is independent of targetNumberOfEstablishedPeers. The total number of established peers will be sum of the two targets and local root peers.
targetNumberOfActiveBigLedgerPeers :: !Int
Target number of active big ledger peers.
This target is independent of targetNumberOfActivePeers. The total number of active peers will be sum of the two targets and active local root peers.

Instances

Instances details

Arbitrary PeerSelectionTargets Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods arbitrary :: Gen PeerSelectionTargets # shrink :: PeerSelectionTargets -> [PeerSelectionTargets] #
Show PeerSelectionTargets
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods showsPrec :: Int -> PeerSelectionTargets -> ShowS # show :: PeerSelectionTargets -> String # showList :: [PeerSelectionTargets] -> ShowS #
Eq PeerSelectionTargets
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods (==) :: PeerSelectionTargets -> PeerSelectionTargets -> Bool # (/=) :: PeerSelectionTargets -> PeerSelectionTargets -> Bool #

data TracePeerSelection extraDebugState extraFlags extraPeers peeraddr #

Instances

Instances details

(Ord peeraddr, Show extraFlags, Show extraPeers, Show peeraddr, Show extraDebugState) => Show (TracePeerSelection extraDebugState extraFlags extraPeers peeraddr)
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods showsPrec :: Int -> TracePeerSelection extraDebugState extraFlags extraPeers peeraddr -> ShowS # show :: TracePeerSelection extraDebugState extraFlags extraPeers peeraddr -> String # showList :: [TracePeerSelection extraDebugState extraFlags extraPeers peeraddr] -> ShowS #

newtype DNSLookupDelay Source #

Constructors

DNSLookupDelay
Fields getDNSLookupDelay :: DiffTime

Instances

Instances details

Arbitrary DNSLookupDelay Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods arbitrary :: Gen DNSLookupDelay # shrink :: DNSLookupDelay -> [DNSLookupDelay] #
Show DNSLookupDelay Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods showsPrec :: Int -> DNSLookupDelay -> ShowS # show :: DNSLookupDelay -> String # showList :: [DNSLookupDelay] -> ShowS #

newtype DNSTimeout Source #

Constructors

DNSTimeout
Fields getDNSTimeout :: DiffTime

Instances

Instances details

Arbitrary DNSTimeout Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods arbitrary :: Gen DNSTimeout # shrink :: DNSTimeout -> [DNSTimeout] #
Show DNSTimeout Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods showsPrec :: Int -> DNSTimeout -> ShowS # show :: DNSTimeout -> String # showList :: [DNSTimeout] -> ShowS #

mockDNSActions :: forall exception (m :: Type -> Type). (MonadDelay m, MonadTimer m) => StrictTVar m (Map Domain [(IP, TTL)]) -> StrictTVar m (Script DNSTimeout) -> StrictTVar m (Script DNSLookupDelay) -> DNSActions () exception m Source #

Mock DNSActions data structure for testing purposes. Adds DNS Lookup function for IOSim with different timeout and lookup delays for every attempt.