Another one of Bartosz' great blogs: http://www.reddit.com/r/programming/comments/7bmkt/who_ordered_memory_fences_on_an_x86/ This will be required reading when we start implementing shared types.