Simulation.Aivika.Trans.GPSS.Facility

Tested with: GHC 8.0.1

This module defines the GPSS Facility entity.

Facility Type

data Facility m a

Represents a GPSS Facility entity.

Instances

MonadDES m => Eq (Facility m a)

Methods

(==) :: Facility m a -> Facility m a -> Bool

(/=) :: Facility m a -> Facility m a -> Bool

data FacilityPreemptMode m a

The facility preemption mode.

Constructors

FacilityPreemptMode

Fields

• facilityPriorityMode :: Bool

  the Priority mode; otherwise, the Interrupt mode

• facilityTransfer :: Maybe (FacilityPreemptTransfer m a)

  where to transfer the preempted transact, passing in the remaining time from the process holding computation such as the ADVANCE block

• facilityRemoveMode :: Bool

  the Remove mode

type FacilityPreemptTransfer m a = Transact m a -> Maybe Double -> Process m ()

Proceed with the computation by the specified preempted transact and remaining time from the process holding computation such as the ADVANCE block.

Creating Facility

newFacility :: MonadDES m => Event m (Facility m a)

Create a new facility.

Facility Properties

facilityCount :: MonadDES m => Facility m a -> Event m Int

Return the current available count of the facility.

facilityCountStats :: MonadDES m => Facility m a -> Event m (TimingStats Int)

Return the statistics for the available count of the facility.

facilityCaptureCount :: MonadDES m => Facility m a -> Event m Int

Return the current capture count of the facility.

facilityUtilisationCount :: MonadDES m => Facility m a -> Event m Int

Return the current utilisation count of the facility.

facilityUtilisationCountStats :: MonadDES m => Facility m a -> Event m (TimingStats Int)

Return the statistics for the utilisation count of the facility.

facilityQueueCount :: MonadDES m => Facility m a -> Event m Int

Return the current queue length of the facility.

facilityQueueCountStats :: MonadDES m => Facility m a -> Event m (TimingStats Int)

Return the statistics for the queue length of the facility.

facilityTotalWaitTime :: MonadDES m => Facility m a -> Event m Double

Return the total wait time of the facility.

facilityWaitTime :: MonadDES m => Facility m a -> Event m (SamplingStats Double)

Return the statistics for the wait time of the facility.

facilityTotalHoldingTime :: MonadDES m => Facility m a -> Event m Double

Return the total holding time of the facility.

facilityHoldingTime :: MonadDES m => Facility m a -> Event m (SamplingStats Double)

Return the statistics for the holding time of the facility.

facilityInterrupted :: MonadDES m => Facility m a -> Event m Bool

Whether the facility is currently interrupted.

Seizing-Releasing and Preempting-Returning Facility

seizeFacility

Arguments

:: MonadDES m

=> Facility m a

the requested facility

-> Transact m a

the transact that tries to seize the facility

-> Process m ()

Seize the facility.

releaseFacility

Arguments

:: MonadDES m

=> Facility m a

the facility to release

-> Transact m a

the active transact that tries to release the facility

-> Process m ()

Release the facility by the active transact.

preemptFacility

Arguments

:: MonadDES m

=> Facility m a

the requested facility

-> Transact m a

the transact that tries to preempt the facility

-> FacilityPreemptMode m a

the Preempt mode

-> Process m ()

Preempt the facility.

returnFacility

Arguments

:: MonadDES m

=> Facility m a

the facility to return

-> Transact m a

the active transact that tries to return the facility

-> Process m ()

Return the facility by the active transact.

Statistics Reset

resetFacility :: MonadDES m => Facility m a -> Event m ()

Reset the statistics.

Signals

facilityCountChanged :: MonadDES m => Facility m a -> Signal m Int

Signal triggered when the facilityCount property changes.

facilityCountChanged_ :: MonadDES m => Facility m a -> Signal m ()

Signal triggered when the facilityCount property changes.

facilityCaptureCountChanged :: MonadDES m => Facility m a -> Signal m Int

Signal triggered when the facilityCaptureCount property changes.

facilityCaptureCountChanged_ :: MonadDES m => Facility m a -> Signal m ()

Signal triggered when the facilityCaptureCount property changes.

facilityUtilisationCountChanged :: MonadDES m => Facility m a -> Signal m Int

Signal triggered when the facilityUtilisationCount property changes.

facilityUtilisationCountChanged_ :: MonadDES m => Facility m a -> Signal m ()

Signal triggered when the facilityUtilisationCount property changes.

facilityQueueCountChanged :: MonadDES m => Facility m a -> Signal m Int

Signal triggered when the facilityQueueCount property changes.

facilityQueueCountChanged_ :: MonadDES m => Facility m a -> Signal m ()

Signal triggered when the facilityQueueCount property changes.

facilityWaitTimeChanged :: MonadDES m => Facility m a -> Signal m (SamplingStats Double)

Signal triggered when the facilityTotalWaitTime and facilityWaitTime properties change.

facilityWaitTimeChanged_ :: MonadDES m => Facility m a -> Signal m ()

Signal triggered when the facilityTotalWaitTime and facilityWaitTime properties change.

facilityHoldingTimeChanged :: MonadDES m => Facility m a -> Signal m (SamplingStats Double)

Signal triggered when the facilityTotalHoldingTime and facilityHoldingTime properties change.

facilityHoldingTimeChanged_ :: MonadDES m => Facility m a -> Signal m ()

Signal triggered when the facilityTotalHoldingTime and facilityHoldingTime properties change.

facilityChanged_ :: MonadDES m => Facility m a -> Signal m ()

Signal triggered when one of the facility counters changes.