That's certainly good to know. I had been under the impression that ARM's memory model was similar to PowerPC in that regard (which doesn't offer atomicity guarantees like x86).