On ARM architecture, unfortunately I don't know exactly what chip it is, is a 32 bit int read/write atomic?
Is there any sort of guarantees about reads/writes to basic types?
It should be atomic, EXCEPT if that int is stored on a non-aligned address.