为什么强内存模型不阻止CPU缓存?

约瑟夫阿尔巴哈里在他的博客中说 here 即使在高内存顺序的CPU(如普通的英特尔酷睿2和奔腾处理器)上,

以下程序从不终止,因为完整变量缓存在 CPU寄存器。在中插入对thread.memorybarrier的调用 当循环(或锁定读取完成)修复错误时。

static void Main()
{
  bool complete = false; 
  var t = new Thread (() =>
  {
    bool toggle = false;
    while (!complete) toggle = !toggle;
  });
  t.Start();
  Thread.Sleep (1000);
  complete = true;
  t.Join();        // Blocks indefinitely
}

按照 here 不应该这样?

一个强大的硬件内存模型是每一条机器指令都隐含着获取和释放语义。因此,当一个CPU核心执行一系列写入时,其他每个CPU核心都会看到这些值的更改顺序与写入顺序相同。

我对这两个引语感到困惑,有人能给我一个更详细的解释吗?