My favorite illustrations for the concepts discussed here (in an accessible form, not the processor optimization manuals) has long been [0].
For me, this really makes working with a modern microprocessor a science, as anyone who has written benchmarks knows -- it's difficult to reason about the complex behaviour and performance cliffs without testing.
Another excellent example of the weirdness has to be JVM anatomy quarks [1]