Scala多线程更新同一变量（赋值相同值）是否存在JVM问题？

针对这段Scala代码：

var currentState: Map[Int, Int] = _

核心结论 #

认为“赋值相同值无需加锁”的观点不完全正确——虽然引用赋值本身是原子操作，但存在可见性风险，可能导致线程间状态不一致。

具体分析 #

• 原子性无问题：JVM对引用类型的赋值操作是原子的，多个线程同时给currentState赋值同一个Map引用时，不会出现“半赋值”的中间状态，最终变量一定会是这个目标引用值。
• 可见性是关键隐患：如果没有同步机制，线程对变量的修改可能无法及时被其他线程感知。JVM内存模型允许线程缓存变量的本地副本，某个线程完成赋值后，其他线程可能一直读取自己缓存里的旧值（比如初始的null），永远看不到更新后的引用。
• 即使赋值相同值也不能忽略同步：哪怕所有线程都赋值同一个值，只要没有可见性保证，部分线程可能始终无法获取到最新的变量状态，导致业务逻辑出现异常。

可行的解决方案 #

• 给变量添加@volatile修饰，强制线程每次读取都从主内存获取最新值：

  @volatile var currentState: Map[Int, Int] = _
  

• 用同步块或锁包裹赋值和读取操作，确保线程间的状态同步；
• 使用java.util.concurrent.atomic.AtomicReference来包装变量，利用原子类的内置可见性保证。

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