Concurrency Correctness

Kind: test-surface

Record: reasoning:test-surface-concurrency-correctness

Canonical: Reasoning

for-all interleavings: linearizable(history)

Listed in Reasoning records, after Temporal Correctness and before Memory Correctness.

Dimension

• behavior

Evidence grounds

• ver-evidence

Evidence source

• runtime-observation

Invariant

• safe-concurrent-behavior

Lens

• temporal

Predicate grounds

• ver-ground-truth

Predicate type

• invariant

Techniques

• stress-testing
• deterministic-replay

Verdict domain

• pass
• fail
• unknown

Linked from

• The nodes
• The dimensions
• The lenses
• The techniques
• The invariants
• Verdicts
• Predicate types
• Evidence sources