Package org.elasticsearch.cluster.coordination
package org.elasticsearch.cluster.coordination
-
ClassDescriptionBasic implementation of the Wing and Gong Graph Search Algorithm, following the descriptions in Gavin Lowe: Testing for linearizability Concurrency and Computation: Practice and Experience 29, 4 (2017).Sequence of invocations and responses, recording the run of a concurrent system.Sequential specification of a datatype that allows for keyed access, providing compositional checking (see
LinearizabilityChecker.SequentialSpec.partition(List)
).Sequential specification of a datatype.Mock single threadedPrioritizedEsThreadPoolExecutor
based onDeterministicTaskQueue
, simulating the behaviour of an executor returned byEsExecutors.newSinglePrioritizing(java.lang.String, java.util.concurrent.ThreadFactory, org.elasticsearch.common.util.concurrent.ThreadContext, java.util.concurrent.ScheduledExecutorService, org.elasticsearch.common.util.concurrent.PrioritizedEsThreadPoolExecutor.StarvationWatcher)
.