Skip to content
DKKB

Race condition

Section titled “Race condition”

A race condition exists when correct behavior depends on which concurrent operation happens first.

The failure comes from an unsafe interleaving, not from concurrency by itself. Lost updates, duplicate work, and invalid state transitions are common outcomes.

A data race is a more specific low-level condition in some memory models. The broader term race condition describes the correctness dependency on timing.

Used in DKKB

Race conditionSystem behavior depends on the relative timing or interleaving of concurrent operations.
Race conditionSystem behavior depends on the relative timing or interleaving of concurrent operations.
Concurrent state transitions and lost updatesProtect state transitions when concurrent actors can read the same state and attempt incompatible updates.