java – 同步,易失性和线程安全

我最近正在阅读一些关于 java并发的书.关于线程安全性,如果无法使类不可变,则可以始终通过同步其数据来确保线程安全.

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

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;
  }
}

现在问题是,通过使用volatile我可以保证其他线程会看到更新的值,所以这让我觉得这个类应该是线程安全的

public class NotSure {
  private volatile int value;

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

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

最后一个类是线程安全的??

解决方法

简短回答：

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

更长的答案：

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

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

…那么这不是线程安全的,因为它涉及对ns.value(读和写)的两个操作,而volatile只给你一个操作的原子性.在这种情况下,即使向getter和setter同步添加也是不够的,因为可以在两个方法调用之间注入操作.

最后一点实际上是声称“你可以通过同步[对象的]数据来确保线程安全”的一个反驳论点.如果您想要一种线程安全的方法来增加NotSure.value,您需要同步整个增量操作,而不仅仅是访问对象的数据.在这种情况下,您需要同步setter,因为它可以在增量方法的操作之间插入它自己. getter仍然不需要同步,因为volatile关键字将确保getter获得预递增或后递增的值.