Package jline.lang.state

Class CtmcPool

java.lang.Object
jline.lang.state.CtmcPool
All Implemented Interfaces:
Serializable
public class CtmcPool extends Object implements Serializable
Server-pool bookkeeping of a heterogeneous station (Queue.addServerType) as rewritten for the CTMC by jline.solvers.ctmc.handlers.Solver_ctmc_pools; port of MATLAB sn.nodeparam{ind}.ctmcpool. The class-r server block holds one sub-block of phases per compatible pool, in ascending pool order, so a phase identifies both the pool and the service phase. Indices are 0-based.

ALIS and FAIRNESS keep a global pool order. When some class has two or more compatible pools that order is part of the state, as a 1-based index into perms held in the local-variable column nvars(ind, 2R).

See Also:

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    int[]
    alfsorder
    Pools by ascending number of compatible classes, ties by index (ALFS).
    double[][][]
    alpha
    alpha[r][k], exit[r][k]: entry vector and exit rates of block k.
    boolean[][]
    compat
    compat[t][r]: pool t serves class r.
    int[]
    count
    Servers per pool.
    Matrix[][]
    D0
    D0 of block k of class r.
    double[][][]
    exit
     
    double[][]
    fsfrate
    fsfrate[t][r]: 1/mean of the law of r at pool t (FSF).
    int[][]
    len
     
    int
    ntypes
    Number of pools.
    int[][]
    off
    off[r][k], len[r][k]: offset and length of block k in the class-r server block.
    int[][]
    perms
    Pool orders, lexicographic (identity first).
    HeteroSchedPolicy
    policy
    Pool-selection policy of the station.
    int[][]
    pools
    pools[r]: compatible pools of class r, ascending; empty when r is not served.
    boolean
    rotate
    True when the ALIS/FAIRNESS pool order is part of the state.
    int
    varpos
    0-based position of the pool-order variable inside the local-variable block.

  • Constructor Summary

    Constructors
    Constructor
    Description
    CtmcPool()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    blockOf(int r, int t)
    Index of pool t among the compatible pools of class r, or -1.
    int
    permIndexOf(int[] order)
    1-based index of a pool order in perms.

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

    • ntypes

      public int ntypes
      Number of pools.

    • count

      public int[] count
      Servers per pool.

    • compat

      public boolean[][] compat
      compat[t][r]: pool t serves class r.

    • policy

      public HeteroSchedPolicy policy
      Pool-selection policy of the station.

    • pools

      public int[][] pools
      pools[r]: compatible pools of class r, ascending; empty when r is not served.

    • off

      public int[][] off
      off[r][k], len[r][k]: offset and length of block k in the class-r server block.

    • len

      public int[][] len

    • alpha

      public double[][][] alpha
      alpha[r][k], exit[r][k]: entry vector and exit rates of block k.

    • exit

      public double[][][] exit

    • D0

      public Matrix[][] D0
      D0 of block k of class r.

    • fsfrate

      public double[][] fsfrate
      fsfrate[t][r]: 1/mean of the law of r at pool t (FSF).

    • alfsorder

      public int[] alfsorder
      Pools by ascending number of compatible classes, ties by index (ALFS).

    • rotate

      public boolean rotate
      True when the ALIS/FAIRNESS pool order is part of the state.

    • perms

      public int[][] perms
      Pool orders, lexicographic (identity first).

    • varpos

      public int varpos
      0-based position of the pool-order variable inside the local-variable block.

  • Constructor Details

    • CtmcPool

      public CtmcPool()

  • Method Details

    • permIndexOf

      public int permIndexOf(int[] order)
      1-based index of a pool order in perms.

    • blockOf

      public int blockOf(int r, int t)
      Index of pool t among the compatible pools of class r, or -1.