Interlocked.MemoryBarrierProcessWide（） 如何在内部工作？

问：

基于这篇文章： https://www.albahari.com/threading/part4.aspx 我们知道，易失性不会阻止先写后读被交换，这可能会产生脑筋急转弯：

class IfYouThinkYouUnderstandVolatile
{
  volatile int x, y;
 
  void Test1()        // Executed on one thread
  {
    x = 1;            // Volatile write (release-fence)
    int a = y;        // Volatile read (acquire-fence)
    ...
  }
 
  void Test2()        // Executed on another thread
  {
    y = 1;            // Volatile write (release-fence)
    int b = x;        // Volatile read (acquire-fence)
    ...
  }
}

A 和 B 都有可能以 0 的值结束（尽管在 X 和 Y 上都使用了 volatile）：

基于本文： https://onurgumus.github.io/2021/02/07/Demystifying-the-volatile-keyword.html

我们可以将示例修复为

解决方案一：

class IfYouThinkYouUnderstandVolatile
{
  volatile int x, y;
 
  void Test1()        // Executed on one thread
  {
    x = 1;            
    Interlocked.MemoryBarrier();
    int a = y;        
    ...
  }
 
  void Test2()        // Executed on another thread
  {
    y = 1; 
    Interlocked.MemoryBarrier();          
    int b = x;
    ...
  }
}

解决方案二：

class IfYouThinkYouUnderstandVolatile
{
  volatile int x, y;
 
  void Test1()        // Executed on one thread
  {
    x = 1;            
    Interlocked.MemoryBarrierProcessWide();
    int a = y;        
    ...
  }
 
  void Test2()        // Executed on another thread
  {
    y = 1; 
    int b = x;
    ...
  }
}

我对解决方案二有疑问。我可以理解可能存在第三种方法。使用相同变量的此类代码可能隐藏在不同的库中，我们可能不知道它。这就是作者使用Interlocked.MemoryBarrierProcessWide();

但是，由于仅在一个地方使用，编译器如何知道它需要在 Test2 方法的指令中插入另一个内存屏障，甚至是访问这些字段的另一个方法？Interlocked.MemoryBarrierProcessWide();