回顾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方法里,两步操作打破了原子性