Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Ouroboros.Network.Testnet.Simulation.Node

Contents

Tracing
Re-exports

Synopsis

data SimArgs = SimArgs {
- saSlot :: DiffTime
- saQuota :: Int
}
data NodeArgs = NodeArgs {
- naSeed :: Int
- naDiffusionMode :: DiffusionMode
- naMbTime :: Maybe DiffTime
- naPublicRoots :: Map RelayAccessPoint PeerAdvertise
- naAddr :: NtNAddr
- naPeerSharing :: PeerSharing
- naLocalRootPeers :: [(HotValency, WarmValency, Map RelayAccessPoint PeerAdvertise)]
- naLedgerPeers :: Script LedgerPools
- naLocalSelectionTargets :: PeerSelectionTargets
- naDNSTimeoutScript :: Script DNSTimeout
- naDNSLookupDelayScript :: Script DNSLookupDelay
- naChainSyncExitOnBlockNo :: Maybe BlockNo
- naChainSyncEarlyExit :: Bool
}
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
prop_diffusionScript_fixupCommands :: DiffusionScript -> Property
prop_diffusionScript_commandScript_valid :: DiffusionScript -> Property
diffusionSimulation :: forall m. (Alternative (STM m), MonadAsync m, MonadDelay m, MonadFix m, MonadFork m, MonadSay m, MonadST m, MonadEvaluate m, MonadLabelledSTM m, MonadTraceSTM m, MonadCatch m, MonadMask m, MonadTime m, MonadTimer m, MonadThrow (STM m), MonadMVar m, Eq (Async m Void), 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 PeerAdvertise)]
data DiffusionTestTrace
- = DiffusionLocalRootPeerTrace (TraceLocalRootPeers NtNAddr SomeException)
- | DiffusionPublicRootPeerTrace TracePublicRootPeers
- | DiffusionLedgerPeersTrace TraceLedgerPeers
- | DiffusionPeerSelectionTrace (TracePeerSelection NtNAddr)
- | DiffusionPeerSelectionActionsTrace (PeerSelectionActionsTrace NtNAddr NtNVersion)
- | DiffusionDebugPeerSelectionTrace (DebugPeerSelection NtNAddr)
- | DiffusionConnectionManagerTrace (ConnectionManagerTrace NtNAddr (ConnectionHandlerTrace NtNVersion NtNVersionData))
- | DiffusionDiffusionSimulationTrace DiffusionSimulationTrace
- | DiffusionConnectionManagerTransitionTrace (AbstractTransitionTrace NtNAddr)
- | DiffusionInboundGovernorTransitionTrace (RemoteTransitionTrace NtNAddr)
- | DiffusionInboundGovernorTrace (InboundGovernorTrace NtNAddr)
- | DiffusionServerTrace (ServerTrace 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 PeerSelectionTargets = PeerSelectionTargets {
- targetNumberOfRootPeers :: !Int
- targetNumberOfKnownPeers :: !Int
- targetNumberOfEstablishedPeers :: !Int
- targetNumberOfActivePeers :: !Int
- targetNumberOfKnownBigLedgerPeers :: !Int
- targetNumberOfEstablishedBigLedgerPeers :: !Int
- targetNumberOfActiveBigLedgerPeers :: !Int
}
newtype DNSLookupDelay = DNSLookupDelay {
- getDNSLookupDelay :: DiffTime
}
newtype DNSTimeout = DNSTimeout {
- getDNSTimeout :: DiffTime
}
data DebugPeerSelection peeraddr where
- TraceGovernorState :: forall peeraddr peerconn. Show peerconn => Time -> Maybe DiffTime -> PeerSelectionState peeraddr peerconn -> DebugPeerSelection peeraddr
data TracePeerSelection peeraddr

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.Testnet.Simulation.Node Methods showsPrec :: Int -> SimArgs -> ShowS Source # show :: SimArgs -> String Source # showList :: [SimArgs] -> ShowS Source #

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
naAddr :: NtNAddr
Arguments aIPAddress value
naPeerSharing :: PeerSharing
Arguments aOwnPeerSharing value
naLocalRootPeers :: [(HotValency, WarmValency, Map RelayAccessPoint PeerAdvertise)]
naLedgerPeers :: Script LedgerPools
Arguments LocalRootPeers values
naLocalSelectionTargets :: PeerSelectionTargets
Arguments aLocalSelectionTargets value
naDNSTimeoutScript :: Script DNSTimeout
Arguments aDNSTimeoutScript value
naDNSLookupDelayScript :: Script DNSLookupDelay
Arguments aDNSLookupDelayScript value
naChainSyncExitOnBlockNo :: Maybe BlockNo
naChainSyncEarlyExit :: Bool

Instances

Instances details

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

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.Testnet.Simulation.Node Methods arbitrary :: Gen ServiceDomainName shrink :: ServiceDomainName -> [ServiceDomainName]
Show ServiceDomainName Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Simulation.Node Methods showsPrec :: Int -> ServiceDomainName -> ShowS Source # show :: ServiceDomainName -> String Source # showList :: [ServiceDomainName] -> ShowS Source #

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.Testnet.Simulation.Node Methods arbitrary :: Gen DiffusionScript shrink :: DiffusionScript -> [DiffusionScript]
Show DiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Simulation.Node Methods showsPrec :: Int -> DiffusionScript -> ShowS Source # show :: DiffusionScript -> String Source # showList :: [DiffusionScript] -> ShowS Source #

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.Testnet.Simulation.Node Methods arbitrary :: Gen HotDiffusionScript shrink :: HotDiffusionScript -> [HotDiffusionScript]
Show HotDiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Simulation.Node Methods showsPrec :: Int -> HotDiffusionScript -> ShowS Source # show :: HotDiffusionScript -> String Source # showList :: [HotDiffusionScript] -> ShowS Source #

data DiffusionSimulationTrace Source #

Diffusion Simulation Trace so we know what command is concurrently running

Constructors

TrJoiningNetwork
TrKillingNode
TrReconfiguringNode
TrUpdatingDNS
TrRunning

Instances

Instances details

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

prop_diffusionScript_fixupCommands :: DiffusionScript -> Property Source #

prop_diffusionScript_commandScript_valid :: DiffusionScript -> Property Source #

diffusionSimulation Source #

Arguments

:: forall m. (Alternative (STM m), MonadAsync m, MonadDelay m, MonadFix m, MonadFork m, MonadSay m, MonadST m, MonadEvaluate m, MonadLabelledSTM m, MonadTraceSTM m, MonadCatch m, MonadMask m, MonadTime m, MonadTimer m, MonadThrow (STM m), MonadMVar m, Eq (Async m Void), 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 PeerAdvertise)]

Instances

Instances details

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

Tracing

data DiffusionTestTrace Source #

Constructors

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

Instances

Instances details

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

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

Generic (TestAddress addr)
Instance details Defined in Ouroboros.Network.Snocket Associated Types type Rep (TestAddress addr) :: Type -> Type Source # Methods from :: TestAddress addr -> Rep (TestAddress addr) x Source # to :: Rep (TestAddress addr) x -> TestAddress addr Source #
Show addr => Show (TestAddress addr)
Instance details Defined in Ouroboros.Network.Snocket Methods showsPrec :: Int -> TestAddress addr -> ShowS Source # show :: TestAddress addr -> String Source # showList :: [TestAddress addr] -> ShowS Source #
NFData addr => NFData (TestAddress addr)
Instance details Defined in Ouroboros.Network.Snocket Methods rnf :: TestAddress addr -> () Source #
Eq addr => Eq (TestAddress addr)
Instance details Defined in Ouroboros.Network.Snocket Methods (==) :: TestAddress addr -> TestAddress addr -> Bool Source # (/=) :: TestAddress addr -> TestAddress addr -> Bool Source #
Ord addr => Ord (TestAddress addr)
Instance details Defined in Ouroboros.Network.Snocket Methods compare :: TestAddress addr -> TestAddress addr -> Ordering Source # (<) :: TestAddress addr -> TestAddress addr -> Bool Source # (<=) :: TestAddress addr -> TestAddress addr -> Bool Source # (>) :: TestAddress addr -> TestAddress addr -> Bool Source # (>=) :: TestAddress addr -> TestAddress addr -> Bool Source # max :: TestAddress addr -> TestAddress addr -> TestAddress addr Source # min :: TestAddress addr -> TestAddress addr -> TestAddress addr Source #
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.10.1.0-1NmqovwJJ647OIKhFFtyId" 'True) (C1 ('MetaCons "TestAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTestAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 addr)))

data RelayAccessPoint #

Constructors

RelayAccessDomain !Domain !PortNumber
RelayAccessAddress !IP !PortNumber

Bundled Patterns

pattern RelayDomainAccessPoint :: DomainAccessPoint -> RelayAccessPoint

Instances

Instances details

Arbitrary RelayAccessPoint
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
Show RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods showsPrec :: Int -> RelayAccessPoint -> ShowS Source # show :: RelayAccessPoint -> String Source # showList :: [RelayAccessPoint] -> ShowS Source #
NFData RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods rnf :: RelayAccessPoint -> () Source #
Eq RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods (==) :: RelayAccessPoint -> RelayAccessPoint -> Bool Source # (/=) :: RelayAccessPoint -> RelayAccessPoint -> Bool Source #
Ord RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods compare :: RelayAccessPoint -> RelayAccessPoint -> Ordering Source # (<) :: RelayAccessPoint -> RelayAccessPoint -> Bool Source # (<=) :: RelayAccessPoint -> RelayAccessPoint -> Bool Source # (>) :: RelayAccessPoint -> RelayAccessPoint -> Bool Source # (>=) :: RelayAccessPoint -> RelayAccessPoint -> Bool Source # max :: RelayAccessPoint -> RelayAccessPoint -> RelayAccessPoint Source # min :: RelayAccessPoint -> RelayAccessPoint -> RelayAccessPoint Source #

newtype Script a #

Constructors

Script (NonEmpty a)

Instances

Instances details

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

data PeerSelectionTargets #

Constructors

PeerSelectionTargets
Fields targetNumberOfRootPeers :: !Int targetNumberOfKnownPeers :: !Int targetNumberOfEstablishedPeers :: !Int targetNumberOfActivePeers :: !Int targetNumberOfKnownBigLedgerPeers :: !Int targetNumberOfEstablishedBigLedgerPeers :: !Int targetNumberOfActiveBigLedgerPeers :: !Int

Instances

Instances details

Arbitrary PeerSelectionTargets
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 Source # show :: PeerSelectionTargets -> String Source # showList :: [PeerSelectionTargets] -> ShowS Source #
Eq PeerSelectionTargets
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods (==) :: PeerSelectionTargets -> PeerSelectionTargets -> Bool Source # (/=) :: PeerSelectionTargets -> PeerSelectionTargets -> Bool Source #

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 Source # show :: DNSLookupDelay -> String Source # showList :: [DNSLookupDelay] -> ShowS Source #

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 Source # show :: DNSTimeout -> String Source # showList :: [DNSTimeout] -> ShowS Source #

data DebugPeerSelection peeraddr where #

Constructors

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

Instances

Instances details

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

data TracePeerSelection peeraddr #

Instances

Instances details

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