Sé que volátil no impone atomicidad en int, por ejemplo, pero ¿lo hace si accede a un solo byte? La semántica requiere que las escrituras y las lecturas sean siempre de memoria si no recuerdo mal.

O en otras palabras: ¿las CPU leen y escriben bytes siempre atómicamente?