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