This is a nice read too (the whole blog actually)

http://igoro.com/archive/volatile-keyword-in-c-memory-model-...

It's a bit old by now (2010), but I always remembered the mental model Igor created.