Concurrency Correctness
Kind: quality-attribute
Layer: Atomic Boundary
Aliases: Concurrency Safety
Record: lexicon:concurrency-correctness
Canonical: Lexicon
The degree to which concurrent flows produce correct results free of races and lost updates, for example because each unit's state is isolated.
Listed in Lexicon terms, after Ad-Hoc Lock Ordering and before Concurrent-Flow Modeling.