...
- A write to a variable does not depend on its current value
- The write An operation on the variable does not participate in operations involving reads or involve reads and writes of other variables
- Locking is not required for any other reason (all actions are atomic)
...