Funny thing,
Just yesterday I did not know almost anything about memory models, cache coherence, etc. Then I've read this book/lecture [1], got interested and later found the same great articles by Peter Sewell[2], you've mentioned
And today I see it on hacker news :)
[1] http://www.morganclaypool.com/doi/abs/10.2200/S00346ED1V01Y2...