VacuityFloors
constructor(strictAncestorPairs: Double = 0.15, concurrentPairs: Double = 0.15, effectiveRetireSteps: Double = 0.1, maxNoOpSteps: Double = 0.25, totalOrder: Boolean = false)
Parameters
strictAncestorPairs
minimum fraction of ordered pairs that are strict-ancestor pairs.
concurrentPairs
minimum fraction of ordered pairs that are concurrent. Waived by totalOrder.
effectiveRetireSteps
minimum fraction of steps that retire and change the state.
maxNoOpSteps
maximum fraction of steps that leave the state unchanged. Set this per-binding on anything that retires — see the section above for the rule, and the binding's own comment for the measurement behind its constant. The 25% default is the shared value and is pinned by GSet; it is far too loose to say anything about a retiring binding.
totalOrder
the type's reachable states form a chain, so the concurrency floor is unreachable rather than unmet. Waives that one floor and nothing else.