Lexicon

Safe Sharing

Kind: capability

Layer: Computation Core

Record: lexicon:safe-sharing

Canonical: Lexicon

The ability to share data freely across threads because it cannot be modified.

Listed in Lexicon terms, after Safe Operation and before Specification Compliance.

Category

  • Correctness / Determinism / Verification

Enabled by

  • Immutability

Linked from

  • Correctness / Determinism / Verification