The property of working correctly even when accessed simultaneously from multiple threads.
The property that data races or inconsistency are guaranteed not to occur even under simultaneous access from multiple threads. Thread safety can be achieved not only through lock-based mutual exclusion, but also by designing state to be immutable and not shared in the first place.
© 2026 ITBGM