Correct Under Concurrent Access

Back to Thread Safety

Thread-safe code produces correct results regardless of how threads are scheduled or interleaved. Achieved through immutability (no shared mutable state), synchronization (locks, atomics), confinement (thread-local data), or using thread-safe data structures.

concurrency thread-safety correctness