Java多线程——volatile关键字

volatile关键字

关键字volatile的主要作用是修饰变量，每次使用强制从内存中取最新值。

在Java语言编写的程序中，有时为了提高程序的运行效率，编译器会自动对其进行优化，把经常被访问的变量缓存起来，程序在读取这个变量时有可能会直接从缓存（例如寄存器）中来读取这个值，而不会从内存中读取。这样做的一个好处是提高了程序的运行效率，但当遇到多线程编程时，变量的值可能因为别的线程而改变了，而缓存的值不会相应改变，从而造成线程读取的值和实际的变量值不一致。

volatile是一个类型修饰符，它是被设计用来修饰被不同线程访问和修改的变量。
被volatile类型定义的变量，系统每次用到它时都是直接从对应的内存中提取，而不会利用缓存。

例如：

public class Test implements Runnable{
    private volatile boolean flag = true;
    
    public void stop(){
        flag = flase;
    }

    public void run(){
        while(flag)
            ;//do something
    }
}

以上代码是用来停止线程最常用的一种方法，如果flag没有被声明为volatile，那么，当这个线程的run方法在判断flag值时，使用的有可能是缓存的值，此时就不能及时的获取其他线程对flag所做的操作，因此会导致线程不能及时的停止。

volatile会阻止编译器对代码的优化，降低程序的执行效率。所以，除非迫不得已，否则能不用就尽量不用。

Volatile保证可见性，不保证原子性（所以不能代替synchronized），一定程度上保证有序性。

final变量

除非使用锁或volatile修饰符，否则无法从多个线程安全的读取一个域。

但还有一种情况可以安全的访问一个共享域，即这个域声明为final。

考虑以下声明：

final Map<String, Double> accounts = new HashMap<>();

其他线程会在构造函数完成构造之后才看到这个accounts变量。
如果不使用final，就不能保证其他线程看到的是accounts更新后的值，它们可能都只是看到null，而不是新构造的HashMap。
当然，对这个映射表的操作并不是线程安全的。如果多个线程在读写这个映射，仍然需要进行同步。