一尘不染

Java中的Volatile与Static

java

static对所有对象而言值的volatile一个副本和对所有线程而言值的一个副本是否正确?

无论如何,static变量值也将成为所有线程的一个值,那么为什么要这样做volatile呢?


阅读 1149

收藏
2020-03-08

共2个答案

一尘不染

在Java中声明一个静态变量,意味着将只创建一个副本,而不管该类创建了多少个对象。即使根本没有Objects创建,也可以访问该变量。但是,线程可能具有其本地缓存的值。

当变量是易变的而不是静态的时,每个变量将只有一个Object。因此,从表面上看,它与普通变量没有什么区别,但与static完全不同。但是,即使具有Object字段,线程也可以在本地缓存变量值。

这意味着,如果两个线程同时更新同一对象的变量,并且该变量未声明为volatile,则可能存在其中一个线程在缓存中保留旧值的情况。

即使你通过多个线程访问静态值,每个线程也可以拥有其本地缓存副本!为避免这种情况,你可以将变量声明为static volatile,这将强制线程在每次全局值时读取。

但是,volatile不能替代适当的同步!
例如:

private static volatile int counter = 0;

private void concurrentMethodWrong() {
  counter = counter + 5;
  //do something
  counter = counter - 5;
}

concurrentMethodWrong同时执行多次可能会导致计数器的最终值不同于零!
要解决该问题,你必须实现一个锁:

private static final Object counterLock = new Object();

private static volatile int counter = 0;

private void concurrentMethodRight() {
  synchronized (counterLock) {
    counter = counter + 5;
  }
  //do something
  synchronized (counterLock) {
    counter = counter - 5;
  }
}

或使用AtomicInteger该类。

2020-03-08
一尘不染

在Java中声明一个静态变量,意味着将只创建一个副本,而不管该类创建了多少个对象。即使根本没有Objects创建,也可以访问该变量。但是,线程可能具有其本地缓存的值。

当变量是易变的而不是静态的时,每个变量将只有一个Object。因此,从表面上看,它与普通变量没有什么区别,但与static完全不同。但是,即使具有Object字段,线程也可以在本地缓存变量值。

这意味着,如果两个线程同时更新同一对象的变量,并且该变量未声明为volatile,则可能存在其中一个线程在缓存中保留旧值的情况。

即使你通过多个线程访问静态值,每个线程也可以拥有其本地缓存副本!为避免这种情况,你可以将变量声明为static volatile,这将强制线程在每次全局值时读取。

但是,volatile不能替代适当的同步!
例如:

private static volatile int counter = 0;

private void concurrentMethodWrong() {
  counter = counter + 5;
  //do something
  counter = counter - 5;
}

concurrentMethodWrong同时执行多次可能会导致计数器的最终值不同于零!
要解决该问题,你必须实现一个锁:

private static final Object counterLock = new Object();

private static volatile int counter = 0;

private void concurrentMethodRight() {
  synchronized (counterLock) {
    counter = counter + 5;
  }
  //do something
  synchronized (counterLock) {
    counter = counter - 5;
  }
}

或使用AtomicInteger该类。

2020-03-08