Simulation.Aivika.Distributed.Optimistic.QueueStrategy

Tested with: GHC 7.10.3

This module defines queue strategies FCFS and LCFS for the DIO computation.

Orphan instances

DequeueStrategy DIO FCFS

An implementation of the FCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue DIO FCFS a -> Event DIO a

DequeueStrategy DIO LCFS

An implementation of the LCFS queue strategy.

Methods

strategyDequeue :: StrategyQueue DIO LCFS a -> Event DIO a

EnqueueStrategy DIO FCFS

An implementation of the FCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue DIO FCFS a -> a -> Event DIO ()

EnqueueStrategy DIO LCFS

An implementation of the LCFS queue strategy.

Methods

strategyEnqueue :: StrategyQueue DIO LCFS a -> a -> Event DIO ()

QueueStrategy DIO FCFS

An implementation of the FCFS queue strategy.

Associated Types

data StrategyQueue DIO FCFS :: Type -> Type

Methods

newStrategyQueue :: FCFS -> Simulation DIO (StrategyQueue DIO FCFS a)

strategyQueueNull :: StrategyQueue DIO FCFS a -> Event DIO Bool

QueueStrategy DIO LCFS

An implementation of the LCFS queue strategy.

Associated Types

data StrategyQueue DIO LCFS :: Type -> Type

Methods

newStrategyQueue :: LCFS -> Simulation DIO (StrategyQueue DIO LCFS a)

strategyQueueNull :: StrategyQueue DIO LCFS a -> Event DIO Bool