java内存模型
即JMM,它定义了主存、工作内存抽象概念,底层对应着CPU寄存器、缓存、硬件内存、CPU指令优化等等
主要有以下几个特点:
1、原子性:保证指令不会收到线程上下文切换的影响
2、可见性:保证指令不会收到CPU缓存的影响
比如说这段代码,main线程中的run对t线程是不可见,所以导致run读取的一直是true,无法停下来
这里主要分析下原因:
1、初始状态,t线程开始从主内存读取了run的值到工作内存
2、因为t线程要频繁的从主内存读取run值,JIT编译器会将run的值保存到自己的高速缓冲区中,减少对主内存的run的访问
3、1秒之后主线程修改了run的值,但是t线程中的高速缓冲区中的值没有发生改变,仍然是true,所以不会退出循环,所以是不可见
那么有没有解决方案?
答案是使用volatile关键字,它可以避免线程从自己的工作内存去查找对应的变量值,而是从主内存去获取
3、有序性:保证指令不会收到CPU并行优化的影响
jvm在不影响正确性的前提下,会调整代码语句的执行顺序,就比如以下:
这种称为指令重排序,多线程下指令重排序会影响正确性,这个可以使用volatile来禁止指令重排序
happen before
happen before规定了对共享变量的写操作对于其他线程是不可见的,它是有序性和可见性的组合,JMM不能保证一个线程对共享变量的写,对于其他线程对共享变量的读可见
就比如下面这段代码,t1和t2线程执行时,t2线程对t1线程执行的结果是不可见的,所以读取到的是默认为0