Simulation.Aivika.RealTime.RT

Tested with: GHC 8.0.1

This module defines a soft real-time computation based on IO.

Soft real-time computation

data RT m a

The soft real-time computation based on IO-derived computation m.

Instances

Monad m => Monad (RT m)

Defined in Simulation.Aivika.RealTime.Internal.RT

Methods

(>>=) :: RT m a -> (a -> RT m b) -> RT m b

(>>) :: RT m a -> RT m b -> RT m b

return :: a -> RT m a

Functor m => Functor (RT m)

Defined in Simulation.Aivika.RealTime.Internal.RT

Methods

fmap :: (a -> b) -> RT m a -> RT m b

(<$) :: a -> RT m b -> RT m a

Applicative m => Applicative (RT m)

Defined in Simulation.Aivika.RealTime.Internal.RT

Methods

pure :: a -> RT m a

(<*>) :: RT m (a -> b) -> RT m a -> RT m b

liftA2 :: (a -> b -> c) -> RT m a -> RT m b -> RT m c

(*>) :: RT m a -> RT m b -> RT m b

(<*) :: RT m a -> RT m b -> RT m a

(Monad m, MonadIO m, MonadException m) => EventIOQueueing (RT m)

An implementation of the EventIOQueueing type class.

Defined in Simulation.Aivika.RealTime.RT

Methods

enqueueEventIO :: Double -> Event (RT m) () -> Event (RT m) ()

(Monad m, MonadIO m, MonadException m, MonadComp m) => MonadDES (RT m)

An implementation of the MonadDES type class.

Defined in Simulation.Aivika.RealTime.RT

(Monad m, MonadIO m) => MonadRef (RT m)

The RT monad is an instance of MonadRef.

Defined in Simulation.Aivika.RealTime.Ref.Base.Strict

Associated Types

data Ref (RT m) a

Methods

newRef :: a -> Simulation (RT m) (Ref (RT m) a)

readRef :: Ref (RT m) a -> Event (RT m) a

writeRef :: Ref (RT m) a -> a -> Event (RT m) ()

modifyRef :: Ref (RT m) a -> (a -> a) -> Event (RT m) ()

equalRef :: Ref (RT m) a -> Ref (RT m) a -> Bool

MonadIO m => MonadRef0 (RT m)

The RT monad is an instance of MonadRef0.

Defined in Simulation.Aivika.RealTime.Ref.Base.Strict

Methods

newRef0 :: a -> RT m (Ref (RT m) a)

(Monad m, MonadIO m) => MonadRef (RT m)

The RT monad is an instance of MonadRef.

Defined in Simulation.Aivika.RealTime.Ref.Base.Lazy

Associated Types

data Ref (RT m) a

Methods

newRef :: a -> Simulation (RT m) (Ref (RT m) a)

readRef :: Ref (RT m) a -> Event (RT m) a

writeRef :: Ref (RT m) a -> a -> Event (RT m) ()

modifyRef :: Ref (RT m) a -> (a -> a) -> Event (RT m) ()

equalRef :: Ref (RT m) a -> Ref (RT m) a -> Bool

MonadIO m => MonadRef0 (RT m)

The RT monad is an instance of MonadRef0.

Defined in Simulation.Aivika.RealTime.Ref.Base.Lazy

Methods

newRef0 :: a -> RT m (Ref (RT m) a)

(Functor m, Monad m, MonadIO m, MonadException m) => MonadComp (RT m)

An instantiation of the MonadComp type class.

Defined in Simulation.Aivika.RealTime.Comp

MonadIO m => EventQueueing (RT m)

An implementation of the EventQueueing type class.

Defined in Simulation.Aivika.RealTime.Internal.Event

Associated Types

data EventQueue (RT m)

Methods

newEventQueue :: Specs (RT m) -> RT m (EventQueue (RT m))

enqueueEvent :: Double -> Event (RT m) () -> Event (RT m) ()

runEvent :: Event (RT m) a -> Dynamics (RT m) a

runEventWith :: EventProcessing -> Event (RT m) a -> Dynamics (RT m) a

eventQueueCount :: Event (RT m) Int

(Functor m, Monad m, MonadIO m) => MonadGenerator (RT m)

Defined in Simulation.Aivika.RealTime.Generator

Associated Types

data Generator (RT m)

Methods

generateUniform :: Generator (RT m) -> Double -> Double -> RT m Double

generateUniformInt :: Generator (RT m) -> Int -> Int -> RT m Int

generateTriangular :: Generator (RT m) -> Double -> Double -> Double -> RT m Double

generateNormal :: Generator (RT m) -> Double -> Double -> RT m Double

generateLogNormal :: Generator (RT m) -> Double -> Double -> RT m Double

generateExponential :: Generator (RT m) -> Double -> RT m Double

generateErlang :: Generator (RT m) -> Double -> Int -> RT m Double

generatePoisson :: Generator (RT m) -> Double -> RT m Int

generateBinomial :: Generator (RT m) -> Double -> Int -> RT m Int

generateGamma :: Generator (RT m) -> Double -> Double -> RT m Double

generateBeta :: Generator (RT m) -> Double -> Double -> RT m Double

generateWeibull :: Generator (RT m) -> Double -> Double -> RT m Double

generateDiscrete :: Generator (RT m) -> DiscretePDF a -> RT m a

generateSequenceNo :: Generator (RT m) -> RT m Int

newGenerator :: GeneratorType (RT m) -> RT m (Generator (RT m))

newRandomGenerator :: RandomGen g => g -> RT m (Generator (RT m))

newRandomGenerator01 :: RT m Double -> RT m (Generator (RT m))

MonadException m => MonadException (RT m)

Defined in Simulation.Aivika.RealTime.Internal.RT

Methods

catchComp :: Exception e => RT m a -> (e -> RT m a) -> RT m a

finallyComp :: RT m a -> RT m b -> RT m a

throwComp :: Exception e => e -> RT m a

MonadIO m => MonadIO (RT m)

Defined in Simulation.Aivika.RealTime.Internal.RT

Methods

liftIO :: IO a -> RT m a

(MonadComp m, MonadIO m) => QueueStrategy (RT m) SIRO

An implementation of the SIRO queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Associated Types

data StrategyQueue (RT m) SIRO :: Type -> Type

Methods

newStrategyQueue :: SIRO -> Simulation (RT m) (StrategyQueue (RT m) SIRO a)

strategyQueueNull :: StrategyQueue (RT m) SIRO a -> Event (RT m) Bool

(MonadComp m, MonadIO m) => QueueStrategy (RT m) StaticPriorities

An implementation of the StaticPriorities queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Associated Types

data StrategyQueue (RT m) StaticPriorities :: Type -> Type

Methods

newStrategyQueue :: StaticPriorities -> Simulation (RT m) (StrategyQueue (RT m) StaticPriorities a)

strategyQueueNull :: StrategyQueue (RT m) StaticPriorities a -> Event (RT m) Bool

(MonadComp m, MonadIO m) => QueueStrategy (RT m) LCFS

An implementation of the LCFS queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Associated Types

data StrategyQueue (RT m) LCFS :: Type -> Type

Methods

newStrategyQueue :: LCFS -> Simulation (RT m) (StrategyQueue (RT m) LCFS a)

strategyQueueNull :: StrategyQueue (RT m) LCFS a -> Event (RT m) Bool

(Monad m, MonadComp m, MonadIO m) => QueueStrategy (RT m) FCFS

An implementation of the FCFS queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Associated Types

data StrategyQueue (RT m) FCFS :: Type -> Type

Methods

newStrategyQueue :: FCFS -> Simulation (RT m) (StrategyQueue (RT m) FCFS a)

strategyQueueNull :: StrategyQueue (RT m) FCFS a -> Event (RT m) Bool

(QueueStrategy (RT m) SIRO, MonadComp m, MonadIO m) => DequeueStrategy (RT m) SIRO

An implementation of the SIRO queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyDequeue :: StrategyQueue (RT m) SIRO a -> Event (RT m) a

(QueueStrategy (RT m) StaticPriorities, MonadComp m, MonadIO m) => DequeueStrategy (RT m) StaticPriorities

An implementation of the StaticPriorities queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyDequeue :: StrategyQueue (RT m) StaticPriorities a -> Event (RT m) a

(QueueStrategy (RT m) LCFS, MonadComp m, MonadIO m) => DequeueStrategy (RT m) LCFS

An implementation of the LCFS queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyDequeue :: StrategyQueue (RT m) LCFS a -> Event (RT m) a

(QueueStrategy (RT m) FCFS, MonadComp m, MonadIO m) => DequeueStrategy (RT m) FCFS

An implementation of the FCFS queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyDequeue :: StrategyQueue (RT m) FCFS a -> Event (RT m) a

(DequeueStrategy (RT m) SIRO, MonadComp m, MonadIO m) => EnqueueStrategy (RT m) SIRO

A template-based implementation of the SIRO queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyEnqueue :: StrategyQueue (RT m) SIRO a -> a -> Event (RT m) ()

(DequeueStrategy (RT m) LCFS, MonadComp m, MonadIO m) => EnqueueStrategy (RT m) LCFS

An implementation of the LCFS queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyEnqueue :: StrategyQueue (RT m) LCFS a -> a -> Event (RT m) ()

(DequeueStrategy (RT m) FCFS, MonadComp m, MonadIO m) => EnqueueStrategy (RT m) FCFS

An implementation of the FCFS queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyEnqueue :: StrategyQueue (RT m) FCFS a -> a -> Event (RT m) ()

(DequeueStrategy (RT m) SIRO, MonadComp m, MonadIO m) => DeletingQueueStrategy (RT m) SIRO

An implementation of the SIRO queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyQueueDelete :: Eq a => StrategyQueue (RT m) SIRO a -> a -> Event (RT m) Bool

strategyQueueDeleteBy :: StrategyQueue (RT m) SIRO a -> (a -> Bool) -> Event (RT m) (Maybe a)

strategyQueueContains :: Eq a => StrategyQueue (RT m) SIRO a -> a -> Event (RT m) Bool

strategyQueueContainsBy :: StrategyQueue (RT m) SIRO a -> (a -> Bool) -> Event (RT m) (Maybe a)

(DequeueStrategy (RT m) StaticPriorities, MonadComp m, MonadIO m) => DeletingQueueStrategy (RT m) StaticPriorities

An implementation of the StaticPriorities queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyQueueDelete :: Eq a => StrategyQueue (RT m) StaticPriorities a -> a -> Event (RT m) Bool

strategyQueueDeleteBy :: StrategyQueue (RT m) StaticPriorities a -> (a -> Bool) -> Event (RT m) (Maybe a)

strategyQueueContains :: Eq a => StrategyQueue (RT m) StaticPriorities a -> a -> Event (RT m) Bool

strategyQueueContainsBy :: StrategyQueue (RT m) StaticPriorities a -> (a -> Bool) -> Event (RT m) (Maybe a)

(DequeueStrategy (RT m) LCFS, MonadComp m, MonadIO m) => DeletingQueueStrategy (RT m) LCFS

An implementation of the LCFS queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyQueueDelete :: Eq a => StrategyQueue (RT m) LCFS a -> a -> Event (RT m) Bool

strategyQueueDeleteBy :: StrategyQueue (RT m) LCFS a -> (a -> Bool) -> Event (RT m) (Maybe a)

strategyQueueContains :: Eq a => StrategyQueue (RT m) LCFS a -> a -> Event (RT m) Bool

strategyQueueContainsBy :: StrategyQueue (RT m) LCFS a -> (a -> Bool) -> Event (RT m) (Maybe a)

(DequeueStrategy (RT m) FCFS, MonadComp m, MonadIO m) => DeletingQueueStrategy (RT m) FCFS

An implementation of the FCFS queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyQueueDelete :: Eq a => StrategyQueue (RT m) FCFS a -> a -> Event (RT m) Bool

strategyQueueDeleteBy :: StrategyQueue (RT m) FCFS a -> (a -> Bool) -> Event (RT m) (Maybe a)

strategyQueueContains :: Eq a => StrategyQueue (RT m) FCFS a -> a -> Event (RT m) Bool

strategyQueueContainsBy :: StrategyQueue (RT m) FCFS a -> (a -> Bool) -> Event (RT m) (Maybe a)

(DequeueStrategy (RT m) StaticPriorities, MonadComp m, MonadIO m) => PriorityQueueStrategy (RT m) StaticPriorities Double

An implementation of the StaticPriorities queue strategy.

Defined in Simulation.Aivika.RealTime.QueueStrategy

Methods

strategyEnqueueWithPriority :: StrategyQueue (RT m) StaticPriorities a -> Double -> a -> Event (RT m) ()

newtype Ref (RT m) a

Defined in Simulation.Aivika.RealTime.Ref.Base.Strict

newtype Ref (RT m) a = Ref {

• refValue :: IORef a

}

newtype Ref (RT m) a

Defined in Simulation.Aivika.RealTime.Ref.Base.Lazy

newtype Ref (RT m) a = Ref {

• refValue :: IORef a

}

data EventQueue (RT m)

Defined in Simulation.Aivika.RealTime.Internal.Event

data EventQueue (RT m) = EventQueueRT {

• queuePQ :: PriorityQueue (Point (RT m) -> RT m ())
• queueBusy :: IORef Bool
• queueTime :: IORef Double
• queueStartUTCTime :: UTCTime

}

data Generator (RT m)

Defined in Simulation.Aivika.RealTime.Generator

data Generator (RT m) = Generator {

• generator01 :: RT m Double
• generatorNormal01 :: RT m Double
• generatorSequenceNo :: RT m Int

}

newtype StrategyQueue (RT m) SIRO a

Defined in Simulation.Aivika.RealTime.QueueStrategy

newtype StrategyQueue (RT m) SIRO a = SIROQueue (Vector a)

newtype StrategyQueue (RT m) StaticPriorities a

Defined in Simulation.Aivika.RealTime.QueueStrategy

newtype StrategyQueue (RT m) StaticPriorities a = StaticPriorityQueue (PriorityQueue a)

newtype StrategyQueue (RT m) LCFS a

Defined in Simulation.Aivika.RealTime.QueueStrategy

newtype StrategyQueue (RT m) LCFS a = LCFSQueue (DoubleLinkedList a)

newtype StrategyQueue (RT m) FCFS a

Defined in Simulation.Aivika.RealTime.QueueStrategy

newtype StrategyQueue (RT m) FCFS a = FCFSQueue (DoubleLinkedList a)

data RTParams

The parameters for the RT computation.

Constructors

RTParams

Fields

• rtScaling :: RTScaling

  The scaling of the modeling time to a real time.

• rtIntervalDelta :: Double

  The real time interval accuracy in seconds.

data RTContext m

The context of the RT computation.

data RTScaling

How the modeling time is scaled to a real time.

Constructors

RTLinearScaling Double

one unit of modeling time interval matches the specified amount of real seconds

RTLogScaling Double

the logarithm of one unit of modeling time interval matches the specified amount of real seconds

RTScalingFunction (Double -> Double -> Double)

we explicitly define how many real seconds will we receive for the interval specified by the provided start time and current modeling time

runRT :: RT m a -> RTContext m -> m a

Run the computation using the specified context.

defaultRTParams :: RTParams

The default parameters for the RT computation, where one unit of modeling time matches one real second and the real time interval is specified with precision of one millisecond.

newRTContext :: RTParams -> IO (RTContext m)

Create a new real-time computation context.

rtParams :: Monad m => RT m RTParams

Return the parameters of the current computation.

rtScale

Arguments

:: RTScaling

the scaling method

-> Double

the start modeling time

-> Double

the current modeling time

-> Double

the real time interval

Scale the modeling time to a real time.

Invoking actions within the simulation

applyEventRT :: MonadIO m => RTContext m -> Event (RT m) a -> m (Async a)

Apply the Event computation within the soft real-time simulation with the specified context and return the result.

applyEventRT_ :: MonadIO m => RTContext m -> Event (RT m) () -> m ()

Apply the Event computation within the soft real-time simulation with the specified context.

enqueueEventRT :: MonadIO m => RTContext m -> Double -> Event (RT m) a -> m (Async a)

Enqueue the Event computation within the soft real-time simulation with the specified context at the modeling time provided and then return the result.

enqueueEventRT_ :: MonadIO m => RTContext m -> Double -> Event (RT m) () -> m ()

Enqueue the Event computation within the soft real-time simulation with the specified context at the modeling time provided.

Orphan instances

(Monad m, MonadIO m, MonadException m) => EventIOQueueing (RT m)

An implementation of the EventIOQueueing type class.

Methods

enqueueEventIO :: Double -> Event (RT m) () -> Event (RT m) ()

(Monad m, MonadIO m, MonadException m, MonadComp m) => MonadDES (RT m)

An implementation of the MonadDES type class.