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

QueueStrategy DIO FCFS

An implementation of the FCFS queue strategy.

Associated Types

data StrategyQueue (DIO :: * -> *) FCFS a :: *

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 a :: *

Methods

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

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

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 ()