回顾Java 内存模型中的可见性、原子性和有序性:
可见性,是指线程之间的可见性,一个线程修改的状态对另一个线程是可见的
原子性,指的是这个操作是原子不可拆分的,不允许别的线程中间插队操作
有序性指的是你写的代码的顺序要和最终执行的指令保持一致。因为在Java内存模型中,允许编译器和处理器对指令进行重排序,重排序过程不会影响到单线程程序的执行,却会影响到多线程并发执行的正确性。
volatile要解决的就是可见性和有序性问题。
public class VolatileTest extends Thread {
private static boolean flag = true;
public void run() {
while (flag) ;
System.out.println("finish");
}
public static void main(String[] args) throws Exception {
new VolatileTest().start();
Thread.sleep(2000);
flag = false;
}
}
上述代码如果没加上volatile,会进死循环,具体原因是因为内部编译器优化了,单循环了很多次(验证是10000次左右)之后还是同样的结果,会直接进行优化。
验证无原子性:
public class Test {
private static volatile int i=0;
public int get(){
return i;
}
public void inc(){
int j=get();
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
i=j+1;
}
public static void main(String[] args) throws InterruptedException {
Test test = new Test();
for (int i1 = 0; i1 < 10; i1++) {
new Thread(()->test.inc()).start();
}
Thread.sleep(3000);
System.out.println(test.i);
}
}
//值为非10 原因是inc方法里,两步操作打破了原子性