8) Это следует из изначальной логики операции: она называется "запись значения в память". Следовательно до памяти она должна в итоге дойти и, соответственно, стать видимой для остальных. А все навороты с кэшами только несколько можифицируют её путь, но не отменяют исходной задачи.

Написано это например в описании команды move: "the destination operand can be a general-purpose register, segment register or memory location". Никаких кэшей как видишь, запись именно в память. ;)