[pcwalton]

Also multicore memory hierarchies are very different on ARM -- e.g. atomics are much more expensive there in my experience.