Lexicon

Thread Safety

Kind: quality-attribute

Layer: Computation Core

Record: lexicon:thread-safety

Canonical: Lexicon

The degree to which data can be accessed concurrently without corruption.

Listed in Lexicon terms, after Stateful Operations and before Make Effects Explicit.

Category

  • Correctness / Determinism / Verification

Reinforced by

  • Immutability

Linked from

  • Correctness / Determinism / Verification