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

Ord TimeServerParams

Show TimeServerParams

Generic TimeServerParams

Binary TimeServerParams

type Rep TimeServerParams

defaultTimeServerParams :: TimeServerParams

The default time server parameters.

timeServer :: TimeServerParams -> Process ()

Start the time server.