Simulation.Aivika.Distributed.Optimistic.TimeServer

Tested with: GHC 7.10.3

This module allows running the time server that coordinates the global simulation time.

Documentation

data TimeServerParams

The time server parameters.

Constructors

TimeServerParams

Fields

• tsLoggingPriority :: Priority

  the logging priority

• tsExpectTimeout :: Int

  the timeout in microseconds within which a new message is expected

• tsTimeSyncDelay :: Int

  the further delay in microseconds before the time synchronization

Instances

Eq TimeServerParams

Methods

(==) :: TimeServerParams -> TimeServerParams -> Bool

(/=) :: TimeServerParams -> TimeServerParams -> Bool

Ord TimeServerParams

Methods

compare :: TimeServerParams -> TimeServerParams -> Ordering

(<) :: TimeServerParams -> TimeServerParams -> Bool

(<=) :: TimeServerParams -> TimeServerParams -> Bool

(>) :: TimeServerParams -> TimeServerParams -> Bool

(>=) :: TimeServerParams -> TimeServerParams -> Bool

max :: TimeServerParams -> TimeServerParams -> TimeServerParams

min :: TimeServerParams -> TimeServerParams -> TimeServerParams

Show TimeServerParams

Methods

showsPrec :: Int -> TimeServerParams -> ShowS

show :: TimeServerParams -> String

showList :: [TimeServerParams] -> ShowS

Generic TimeServerParams

Associated Types

type Rep TimeServerParams :: * -> *

Methods

from :: TimeServerParams -> Rep TimeServerParams x

to :: Rep TimeServerParams x -> TimeServerParams

Binary TimeServerParams

Methods

put :: TimeServerParams -> Put

get :: Get TimeServerParams

putList :: [TimeServerParams] -> Put

type Rep TimeServerParams

type Rep TimeServerParams = D1 (MetaData "TimeServerParams" "Simulation.Aivika.Distributed.Optimistic.Internal.TimeServer" "aivika-distributed-0.2-1MtPOGwwBc4JsiuGmLWtyX" False) (C1 (MetaCons "TimeServerParams" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "tsLoggingPriority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Priority)) ((:*:) (S1 (MetaSel (Just Symbol "tsExpectTimeout") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Just Symbol "tsTimeSyncDelay") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))))

defaultTimeServerParams :: TimeServerParams

The default time server parameters.

timeServer :: TimeServerParams -> Process ()

Start the time server.