试图理解 Thread.MemoryBarrier() 和上下文切换之间的关系

Question

由于看起来上下文切换可能发生在指令执行的任何时候，我现在想知道为什么代码“部分有问题”（这两条指令）是有意义的，如果上下文切换可以在任何指令之间发生，我们可能会第二条指令在不同的 CPU 内核上。

void B()
  {
    Thread.MemoryBarrier();    // Barrier 3
    if (_complete)
    {
      //PART IN QUESTION
      Thread.MemoryBarrier();       // Barrier 4
      Console.WriteLine (_answer);
      //END PART IN QUESTION
    }
  }

这里关于 MemoryBarrier 的描述似乎并不能保证 MemoryBarrier 在调用它后不会切换 CPU。

（这和这个question有关）

Answer 1

无法保证在MemoryBarrier 周围会或不会发生上下文切换。这些是正交概念。

Answer 2

什么保证在 Thread.MemoryBarrier() 调用后不会发生上下文切换？

什么都没有。 MemoryBarriers 不会阻止上下文切换（或代码的原子执行）。

关于你的另一个问题，为什么需要屏障 4：

在上一个问题的示例代码中，如果屏障 4 不存在，C# 编译器、CLR 或 CPU 可能会在完成变量之前重新排列对 answer 变量的读取。即实际运行的代码可能类似于：

Thread.MemoryBarrier();    // Barrier 3
int tmpanswer = _answer;
if (_complete)
{

  Console.WriteLine (tmpanswer);
}

Console.WriteLine() 之前的障碍将阻止在读取_completed 之前读取_answer

但请记住，代码示例仅提供关于 void B() 中的代码的这一保证（前提是 A() 仅运行一次）

• 如果 _complete 变量为 true ，则 Console.WriteLine 将写出 123 而不是 0。

因此，除非 A 和 B 连续运行，否则代码不会提供任何锁定/通知，因此 B 将始终打印 123。A() 和 B() 可以在其执行的任何时间交错/中断 - 你有无法控制谁可以在何时运行。

不能保证 B() 在 A() 之后运行，无论您以哪个顺序启动 2 个线程。（尽管在代码中的其他地方，您可以先启动 A() 并明确等待它完成在开始 B() 之前）