The atomicity of each operation including internal ones is fairly vague in the current implementation of the persistent storage. More discrete and clear definitions of the atomicity are required for every statement in the source programs.
The atomicity is definitely required for the achievement of security, robustness, concurrency, and all the other reliability and performance issues.