Package org.elasticsearch.cluster.coordination
-
Interface Summary Interface Description LinearizabilityChecker.KeyedSpec Sequential specification of a datatype that allows for keyed access, providing compositional checking (seeLinearizabilityChecker.SequentialSpec.partition(List)
).LinearizabilityChecker.SequentialSpec Sequential specification of a datatype. -
Class Summary Class Description AbstractCoordinatorTestCase CoordinationStateTestCluster DeterministicTaskQueue LinearizabilityChecker Basic 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).LinearizabilityChecker.Event LinearizabilityChecker.History Sequence of invocations and responses, recording the run of a concurrent system.MockSinglePrioritizingExecutor 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)
. -
Enum Summary Enum Description LinearizabilityChecker.EventType