一旦共享数据(类的成员变量、类的静态变量)被volatile修饰后,那么久有两层含义:
1.保证了不同线程对这个变量进行操作时的可见性,即一个线程修改了这个变量的值,这个新值对其他线程来说是立即可见的。volatile关键字会强制将修改的值立即写入内存。
2.禁止进行指令重排序。
volatile不是原子性操作。
什么叫保证部分有序性?
当程序执行到volatile变量的读写操作时,在其前面的操作的更改肯定全部已经进行,且结果已经对后面的操作可见;在其后面的操作肯定还没有进行。
x = 1; //语句1
y = 7; //语句2
volatile flag = true; //语句3
x = 5; //语句4
y = -3; //语句5
由于flag变量为volatile变量,那么在进行指令重排序的过程中,不会将语句3放到语句1/2之前,也不会将语句3放到4/5之后,但是要注意语句1和语句2的顺序,语句4和5的顺序不保证。
使用volatile关键字一般用于状态表记录和单例模式的双重检验锁。