getter 和 setter 需要同步

Question

可能是一个非常愚蠢的问题。只是想确认一下我的理解。

class Test
{
       private volatile String id;

       public void setID(String id)
       {
             this.id = id;
       }

       public String getID()
       {
             return id;
       }
}

假设上述类的对象可以被多个线程访问。我的理解是，在像上面这样简单的 getter 和 setter 的情况下（进行简单的初始化），我不需要使这些方法同步，对吗？
我想 volatile 是需要的，否则 id 的值可能会在不同的线程中过时。
那么，如果我们没有同步这些方法，任何人都可以看到任何问题吗？

Answer 1

我的理解是，如果像上面这样简单的getter和setter（做简单的初始化），我不需要让这些方法同步，对吗？

正确，因为它们获取和设置的内容（对象引用）由 JVM 原子处理。

如果您使用的是long 或double 并且您没有将其标记为@，那么答案将是“不，您确实需要同步” 987654324@.

JLS 中涵盖了这两个方面，§17.7：

17.7。双长非原子处理

出于 Java 编程语言内存模型的目的，对非易失性 long 或 double 值的单次写入被视为两次单独的写入：每个 32 位一半。这可能会导致线程从一次写入中看到 64 位值的前 32 位，而从另一次写入中看到后 32 位。

volatile long 和 double 值的写入和读取始终是原子的。

对引用的写入和读取始终是原子的，无论它们是作为 32 位还是 64 位值实现的。

Answer 2

如果您在multi-threaded 环境中。几个线程可以访问您的数据。读取值（get）很好。但是想想写入（set），那么你的数据就会变得不一致。所以你必须Synchronized。

Answer 3

您不需要使任何这些函数同步，也不需要使用volatile 关键字，设置引用始终是原子的。然而，非同步/非挥发性会引起其他问题。

首先：线程 A 通过 getID 读取的内容可能不是线程 B 通过 setID 写入的内容，因为线程 A 太早或...

第二：线程 A 准时，但由于缺少 volatile，它正在读取 缓存的线程变量，而不是实际值。

虽然第一个问题只能通过外部线程同步或代码架构来解决，但第二个问题可能会导致基于 happens-before 问题的问题。举个例子：

线程 A：

myId.setId(3);
idSet = true;

线程 B：

if (idSet) {
  accessData(myId.getId());
}

这看起来是正确的——而且有点像——但是在 JVM 优化步骤中可能发生的是首先执行 idSet = true，然后执行 myId.setId(3)。所以在最坏的情况下，线程 B 在 if 子句上成功，但随后读取了错误的值。将 id 标记为 volatile 将解决该问题，因为它保证每当 id 被修改时，之前发生的所有事情都已实际发生。

解决这个问题的另一种方法是使用不可变类，因此没有 setter，id 是 final 并通过构造函数设置。

Answer 4

My understanding is that in case of simple getter and setters like above
(doing simple initialization), I do not need to make these methods
 synchronized, correct ? 

使变量 volatile 只是确保不会出现竞争条件。所有线程都将读取相同的变量值，因为易失性变量直接存储在主内存中，而不是在线程本地缓存中。

但是有可能一个线程进入public String getID() 函数。此时其他线程很可能通过执行public void setID(String id) 方法来改变变量的值。第一个线程将看到这个修改后的值。

所以不要混淆使用原子变量和同步函数。