Copyright	Copyright (c) 2015-2017 David Sorokin <david.sorokin@gmail.com>
License	BSD3
Maintainer	David Sorokin <david.sorokin@gmail.com>
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

Simulation.Aivika.Distributed.Optimistic.State

Description

Tested with: GHC 7.10.3

This module defines the monitoring states.

Synopsis

Documentation

data LogicalProcessState Source #

Represents the state of the logical process.

Constructors

LogicalProcessState

Fields

lpStateId :: ProcessId
the process identifier
lpStateName :: String
the process name
lpStateStartTime :: Double
the start time
lpStateStopTime :: Double
the stop time
lpStateLocalTime :: Double
the local time of the process
lpStateEventQueueTime :: Double
the event queue time of the process
lpStateEventQueueSize :: Int
the event queue size
lpStateLogSize :: Int
the log size of the process
lpStateInputMessageCount :: Int
the count of the input messages
lpStateOutputMessageCount :: Int
the count of the output messages
lpStateTransientMessageCount :: Int
the count of the transient messages that did not receive an acknowledgement
lpStateRollbackCount :: Int
the count of rollbacks

Instances

Instances details

Generic LogicalProcessState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State Associated Types type Rep LogicalProcessState :: Type -> Type # Methods from :: LogicalProcessState -> Rep LogicalProcessState x # to :: Rep LogicalProcessState x -> LogicalProcessState #
Show LogicalProcessState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State Methods showsPrec :: Int -> LogicalProcessState -> ShowS # show :: LogicalProcessState -> String # showList :: [LogicalProcessState] -> ShowS #
Binary LogicalProcessState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State Methods put :: LogicalProcessState -> Put # get :: Get LogicalProcessState # putList :: [LogicalProcessState] -> Put #
Eq LogicalProcessState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State Methods (==) :: LogicalProcessState -> LogicalProcessState -> Bool # (/=) :: LogicalProcessState -> LogicalProcessState -> Bool #
type Rep LogicalProcessState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State type Rep LogicalProcessState = D1 ('MetaData "LogicalProcessState" "Simulation.Aivika.Distributed.Optimistic.State" "aivika-distributed-1.5-9UhGvcCbdOeLYFelPUdJpU" 'False) (C1 ('MetaCons "LogicalProcessState" 'PrefixI 'True) (((S1 ('MetaSel ('Just "lpStateId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProcessId) :: (S1 ('MetaSel ('Just "lpStateName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "lpStateStartTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :: (S1 ('MetaSel ('Just "lpStateStopTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: (S1 ('MetaSel ('Just "lpStateLocalTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "lpStateEventQueueTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))) :: ((S1 ('MetaSel ('Just "lpStateEventQueueSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "lpStateLogSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "lpStateInputMessageCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :: (S1 ('MetaSel ('Just "lpStateOutputMessageCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "lpStateTransientMessageCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "lpStateRollbackCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))))

data TimeServerState Source #

Represents the state of the time server.

Constructors

TimeServerState
Fields tsStateId :: ProcessId the process identifier tsStateName :: String the time server name tsStateGlobalVirtualTime :: Maybe Double the global virtual time tsStateLogicalProcesses :: [ProcessId] the registered logical process identifiers

Instances

Instances details

Generic TimeServerState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State Associated Types type Rep TimeServerState :: Type -> Type # Methods from :: TimeServerState -> Rep TimeServerState x # to :: Rep TimeServerState x -> TimeServerState #
Show TimeServerState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State Methods showsPrec :: Int -> TimeServerState -> ShowS # show :: TimeServerState -> String # showList :: [TimeServerState] -> ShowS #
Binary TimeServerState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State Methods put :: TimeServerState -> Put # get :: Get TimeServerState # putList :: [TimeServerState] -> Put #
Eq TimeServerState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State Methods (==) :: TimeServerState -> TimeServerState -> Bool # (/=) :: TimeServerState -> TimeServerState -> Bool #
type Rep TimeServerState Source #
Instance details Defined in Simulation.Aivika.Distributed.Optimistic.State type Rep TimeServerState = D1 ('MetaData "TimeServerState" "Simulation.Aivika.Distributed.Optimistic.State" "aivika-distributed-1.5-9UhGvcCbdOeLYFelPUdJpU" 'False) (C1 ('MetaCons "TimeServerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tsStateId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProcessId) :: S1 ('MetaSel ('Just "tsStateName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :: (S1 ('MetaSel ('Just "tsStateGlobalVirtualTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Double)) :*: S1 ('MetaSel ('Just "tsStateLogicalProcesses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ProcessId]))))