多线程应用循环内系列if判断执行结果异常问题求助

你遇到的是典型的多线程无同步导致的内存可见性、指令重排、竞态条件问题，和函数执行速度、循环周期没有任何关系，你之前做的耗时测算对排查这个问题没有参考价值。

核心问题点 #

• 内存可见性缺失
  你定义的A、B、Flag1都是普通静态变量，没有任何线程同步修饰，JIT编译器、CPU会把变量缓存到核心私有缓存、寄存器中，Thread1对变量的写入不会立刻刷新到主存，Thread2也不会每次读都从主存拿最新值，可能几千次循环都读到过期的旧值，自然会触发不符合预期的Flag1设置逻辑。
• 指令重排序导致状态不一致
  编译器、CPU会对没有依赖关系的指令做重排优化，Thread1中对A、B的写入顺序可能被调换，Thread2可能读到A是新值、B是旧值的半更新状态，基于错误的中间状态执行判断。
• 竞态窗口导致判断逻辑失效
  Thread2中两个if判断不是原子执行，两次判断之间存在线程切换间隙：
  • 第一个if判断!A到执行Flag1 = true的间隙，Thread1可能已经更新了A的值
  • 第一个if执行完成到第二个if读取A、Flag1的间隙，Thread1也可能修改共享变量
    同一个循环周期内，Thread2两次读取A可能得到完全不同的值，逻辑判断的前提就不成立。
    你描述的「A不满足触发条件时Flag1仍被设为true」，本质就是Thread2读到了过期的A=0旧值，哪怕Thread1已经把A更新为非0的触发值，Thread2还是基于旧值进入第一个if分支修改了Flag1。

修复方案 #

• 不要拆分多次读取共享变量，判断前先把需要用到的共享变量值一次性读到局部变量，基于同一个快照做逻辑判断，避免同轮循环读到不一致的值。
• 如果你只需要保证变量的可见性、不需要A和B的强一致快照，可以给A、B、Flag1加volatile关键字（C#/Java均支持），禁止变量被缓存到寄存器，同时禁止相关指令重排。
• 如果你需要保证A、B是同一次更新的一致状态（不会读到A新B旧的中间值），必须用锁做同步：定义一个静态锁对象，Thread1写A、B时加锁，Thread2读变量、判断修改Flag1时全程加同一把锁，彻底消除竞态窗口。
  参考实现：

  private static readonly object syncRoot = new object();
  
  // Thread1逻辑
  lock(syncRoot)
  {
      A = func1(x, y, z);
      B = func2(p, r, q);
  }
  
  // Thread2逻辑
  bool needDoSomething = false;
  lock(syncRoot)
  {
      int currentA = A;
      bool currentFoobar = foobar1;
      if (currentA == 0)
      {
          Flag1 = true;
      }
      if (Flag1 && currentA != 0 && currentFoobar)
      {
          Flag1 = false;
          needDoSomething = true;
      }
  }
  if (needDoSomething)
  {
      // 耗时操作放到锁外执行，避免阻塞Thread1更新
  }
  

• 不要在锁内部执行耗时操作，否则会拖慢两个线程的循环执行效率。

内容的提问来源于stack exchange，提问作者Blue Turkey