Class GammaStmConfig


  • public final class GammaStmConfig
    extends Object
    Contains the default configuration for all transactions created by the GammaStm. With the TxnFactoryBuilder, this behavior can be overridden.

    Once the GammaStm has been created, changes on this structure are ignored because the content of this configuration is copied.

    • Field Detail

      • permanentListeners

        public List<TxnListener> permanentListeners
        Contains the permanent TxnListeners that should always be executed. Null references are not allowed.
      • propagationLevel

        public PropagationLevel propagationLevel
        The default propagation level for all transactions executed by the Stm.
      • isolationLevel

        public IsolationLevel isolationLevel
        The default isolation level for all transactions executed by the GammaStm.
      • readLockMode

        public LockMode readLockMode
        The default isolation level for all reads. Putting this to a level higher than LockMode.None has the same effect as putting the isolationLevel to IsolationLevel.Serialized although the former approach will be pessimistic and the later be optimistic.
      • writeLockMode

        public LockMode writeLockMode
        The default isolation level for all writes. For a write also a read is acquired, so the highest one wins.

        Putting it the LockMode.Write gives the same behavior as you have with Oracle. Reads are still allowed (even though a WriteLock is allowed) only other transactions are not able to acquire a lock on it (whatever the lock should be).

      • blockingAllowed

        public boolean blockingAllowed
        The default behavior if blocking transactions are allowed.
      • interruptible

        public boolean interruptible
        The default behavior for blocking transactions if they are allowed to be interrupted.
      • timeoutNs

        public long timeoutNs
        The default timeout for a transaction if it blocks. A Long.MAX_VALUE indicates that there is no timeout.
      • readonly

        public boolean readonly
        The default readonly behavior. Setting this to true would be quite useless.
      • spinCount

        public int spinCount
        The default number of spins a transaction is allowed for a read/write/commit if something is locked.
      • dirtyCheck

        public boolean dirtyCheck
        The default behavior for writing 'dirty' changes for an update transaction. If it is set to true, a change needs to be made. If there is no change, it will not be written (and essentially be seen as a read).
      • minimalVariableLengthTransactionSize

        public int minimalVariableLengthTransactionSize
        The minimal size for the internal array for a variable length transaction. A variable length transaction internally uses an array to store its content and when the transaction grows, the array will grow accordingly.
      • trackReads

        public boolean trackReads
        If reads should be tracked by the transaction (this is something else than (semi)visible reads). The advantage of readtracking is there is less overhead once it has been read, but the disadvantage is that the transaction needs to track more changes.
      • maxRetries

        public int maxRetries
        The default number of retries a transaction is allowed to do if a transaction fails for a read/write conflict. The GammaStm also uses a speculative configuration mechanism that can consume some, so setting it to a very low value in combination with speculativeConfigEnabled is not recommended.
      • speculativeConfigEnabled

        public boolean speculativeConfigEnabled
        The GammaStm makes use of a speculative mechanism to select the optimal transaction settings/implementation for executing a transactional closure. An TxnExecutor will start cheap and grow to use more expensive transaction implementations (see the Lean/Fat transactions) and use the automatic retry mechanism of the STM to rescue itself from a situation where the speculation was incorrect. Setting it to false reduces the number of unwanted conflicts (once the TxnExecutor has learned it will not make the same mistakes again, so you only need to pay the price of speculation in the beginning) at the cost of overhead.
      • maxFixedLengthTransactionSize

        public int maxFixedLengthTransactionSize
        The maximum size size of a fixed length transaction. A fixed length transaction is very cheap compared to a variable length, but the big problem of the fixed length is that it needs to do a full transaction scan to see if the desired data is there. So there is a point where the full scan gets more expensive (O(N) vs O(log n)) expensive.

        Atm there has not been put much research in finding the optimal size and it could differ from machine to machine.

        It also is important that the fixed length transactions are able to put a frequently read ref in a hot spot, making the overhead of searching lower.

      • backoffPolicy

        public BackoffPolicy backoffPolicy
        If a transaction fails for a read/write conflict it should not hammer the system by trying again and running in the same conflict The default backoff policy helps to back threads of by sleeping/yielding.
      • traceLevel

        public TraceLevel traceLevel
        With the trace level you have control if you get output of transactions executing. It helps with debugging. If the org.multiverse.MultiverseConstants.___TracingEnabled is not set to true, this value is ignored and the whole profiling stuff is removed by the JIT since it effectively has become dead code.
      • controlFlowErrorsReused

        public boolean controlFlowErrorsReused
        If control flow errors should be reused. Normally exception reuse would be a very very very bad thing to do. But if they are used to regulate control flow, they can be thrown thousands of times a second and this puts a lot of pressure on the gc. The most expensive part is building the StackTrace.

        For more info about the control flow errors see the subclasses of the ControlFlowError like the ReadWriteConflict, RetryError and the SpeculativeConfigurationError.

      • isFat

        public boolean isFat
        Should only be used internally to select fat instead of lean transactions. Normally the speculative configuration takes care of this but for testing purposes you want to control it manually.
      • maximumPoorMansConflictScanLength

        public int maximumPoorMansConflictScanLength
        The maximum size of a transaction that is allowed to do a full conflict scan instead of arrive/depart operations. Arrive/depart is more expensive since it increased the pressure on refs that a full conflict scan for short transactions, but at a certain length of the transaction only needing to do a full conflict scan when the global conflict counter increases, becomes cheaper.
      • readBiasedThreshold

        public int readBiasedThreshold
        The number of times a transactional object is only read before becoming readbiased. The advantage of a readBiased transactional object is that you don't need to arrive/depart (richmans conflict scan), but the disadvantage is that it could cause transactions to do full conflict scans even though they are not required.
    • Constructor Detail

      • GammaStmConfig

        public GammaStmConfig()
    • Method Detail

      • validate

        public void validate()
        Checks if the configuration is valid.
        Throws:
        IllegalStateException - if the configuration isn't valid.