Race Detection
Kind: capability
Layer: Causality Core
Record: lexicon:race-detection
Canonical: Lexicon
The ability to detect data races by finding accesses with no happens-before ordering between them.
Listed in Lexicon terms, after Parallel Execution and before Correct Stateful Processing.