同步、易失性和线程安全

Question

最近我在读一些关于java并发的书。关于线程安全，如果不可能使一个类变为inmutable，那么可以通过同步它的数据来确保线程安全。

下面的类显然不是线程安全的

public class NotThreadSafe {
  private int value;

  public void setValue(int value) {
    this.value = value;
  }

  public int getValue() {
    return this.value;
  }
}

然后我可以同步写，但它不会保持线程安全

public class StillNotThreadSafe {
  private int value;

  public synchronized void setValue(int value) {
    this.value = value;
  }

  public int getValue() {
    return this.value;
  }
}

因为我不仅需要同步写入，还需要同步读取

public class ThreadSafe {
  private int value;

  public synchronized void setValue(int value) {
    this.value = value;
  }

  public synchronized int getValue() {
    return this.value;
  }
}

现在的问题是，通过使用易失性，我可以保证其他线程会看到更新的值，所以这让我认为这个类应该是线程安全的

public class NotSure {
  private volatile int value;

  public synchronized void setValue(int value) {
    this.value = value;
  }

  public int getValue() {
    return this.value;
  }
}

最后一个类线程安全吗？？

Answer 1

如果是，则无需将getValue或setValue方法设置为同步。

我建议将变量值设置为同步。

可以同时进行getter或setter调用。如果从两个单独的线程调用（一个执行getter调用，另一个执行setter调用）。

使被访问的对象或数据成为线程安全的。

Answer 2

简短回答：

是的，但在最后一种情况下，你甚至不需要同步。setValue唯一能做的就是一次操作，一次写操作——每个操作中的挥发分都是原子的。也就是说，每次写入都是原子的，每次读取都是原子的。

更详细的回答：

当然，如果您尝试使用以下模式来增加值：

NotSure ns = new NotSure();
int v = ns.getValue();
ns.setValue(v + 1);

... 那么这不是线程安全的，因为它涉及ns上的两个操作。值（读和写），而volatile只为一个操作提供原子性。在这种情况下，即使向getter和setter添加synchronized，也不够，因为可以在两个方法调用之间注入操作。

最后一点实际上是对“通过同步（对象的）数据始终可以确保线程安全”说法的一点反驳如果你想要一种线程安全的方式来增加不确定。值时，您需要同步整个增量操作，而不仅仅是访问对象的数据。在这种情况下，您需要同步setter，因为它可能会在increment方法的操作之间插入自身。getter仍然不需要同步，因为volatile关键字将确保getter获得递增前或递增后的值。