在Java中将对象引用声明为volatile？

Question

我有一个Spring bean类，看起来类似于以下内容：

@Component
public class Foo{

    private Config conf;

    @PostConstruct
    public void init(){
        conf = ConfigFileLoader.loadConfigFromFile();
    }

    public Config getConfig(){
        return conf;
    }

    public void updateConfig(){
        conf = ConfigFileLoader.loadConfigFromFile();
    } 

}

ConfigFileLoader.loadConfigFromFile（）从文件中读取配置并返回一个新的Config对象。

有两种类型的线程：

• 更新程序线程：
  • 只有一个
  • 它定期调用updateConfig（当它检测到配置文件上的更改时）
  • 多个线程正在使用Config对象调用getConfig以执行
  • 只要最终读卡器线程开始获取最新的配置对象，它就不在乎是否接收到当前执行的过时配置对象实例

  我的问题是，我应该将私有conf字段标记为volatile，还是为conf字段添加某种同步？

  我担心的是以下情况：更新程序线程更新conf引用，但更改从未对读者线程可见。

  任何帮助或解释将不胜感激。

Answer 1

Volatile=试图让其他线程看到对象状态的更新值，但不保证线程同步运行，并且不会进入另一个线程无法正常工作的情况

通过内部锁同步代码=试图确保线程看到更新的对象状态保证线程同步工作并等待彼此，以便没有干扰。

您在这里定义的加载方法将具有非原子的指令集。它读取文件并更新加载到的对象。

单线程的读取和更新操作必须以一种没有其他线程干扰并尝试重做的方式在一次运行中完成。

Volatile不是解决问题的可靠方法，因为您的操作不是一个单独的声明/分配过程。

建议在对象上使用：内部锁，并使读取和更新方法同步工作。

public class Foo{

    private Config conf;
    Object lock = new Object();
    @PostConstruct
    public void init(){
        synchronize(lock)
        {
            conf = ConfigFileLoader.loadConfigFromFile();
        }
    }

    public Config getConfig(){
        synchronize(lock)
        {
            return conf;
        }
    }

    public void updateConfig(){
        synchronize(lock)
        {
            conf = ConfigFileLoader.loadConfigFromFile();
        }
    }

}

Answer 2

这里的危险在于，无论您是使用易失性，还是接受@sibnick的建议并使用ReaderWriterLock，一些线程将在很长一段时间内保留对Config对象的私有引用：

 Config myConfig = foo.getConfig();
 while (conditionThatWillBeTrueForManyIterations()) {
      doSomethingWith(myConfig);
 }

编写一段时间内不保留自己私有引用的代码是不可能的，因为无论您对Config对象做什么，都是在互斥对象之外进行的。

即使你只写了这个：

doSomethingWith(foo.getConfig());

有可能其他线程会在foo.getConfig（）调用和do某物with（...）调用之间更新配置。

你的程序必须能够应对这种可能性。