「字段同步不一致」提示是否合理？读写锁不一致场景答疑

这个代码检测提示完全合理，你的写法在多线程场景下会引发严重问题，具体原因如下：

先贴出你的代码示例（补充了遗漏的syncRoot定义）：

class Foo {

  private object field;
  private readonly object syncRoot = new object();

  public object Field { get => this.field; }

  public void SomeMethod(){

    lock(syncRoot)
    {
      // 假设存在判断逻辑
      if (someCondition)
        this.field = newValue;
    }

  }
}

核心问题点 #

• 可见性失效：多线程环境中，无锁的读取操作无法保证获取到其他线程写入的最新值。CPU缓存、指令重排等优化会导致读取线程一直使用本地缓存的旧值，永远感知不到field的更新。
• 内存屏障缺失：lock语句会自动插入内存屏障，保证锁块内读写操作的顺序和可见性。读取操作不加锁，就跳过了这个屏障，导致线程间的内存状态无法同步。
• 潜在脏读风险：如果field是非原子类型（比如自定义结构体），无锁读取可能拿到部分更新的不完整数据；就算是object这类原子赋值的类型，结合业务逻辑时，读取的值也可能和写入的业务状态不匹配（比如写入时的判断逻辑和读取后的逻辑脱节）。

修复方案 #

最稳妥的方式是让读取操作也加入同步锁，保证读写操作的一致性：

class Foo {

  private object field;
  private readonly object syncRoot = new object();

  public object Field 
  { 
    get 
    {
      lock(syncRoot)
      {
        return this.field;
      }
    }
  }

  public void SomeMethod(){

    lock(syncRoot)
    {
      if (someCondition)
        this.field = newValue;
    }

  }
}

如果追求更高性能，也可以用volatile修饰field（仅保证可见性，无法解决复合操作的原子性问题），但这种方式适用场景有限，不如加锁可靠。

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