主旨には同意するが

> アトミックである事を保証できないのならvolatile修飾子の意味は
> 無い事になってしまう。

これは言い過ぎ。例えば
volatile x;
x = 2;
x = 3;
の x = 2; が実行されることが保証されること等、
アトミシティ以外にも存在する意味はある。