Java内存模型
CPU运行程序是把数据从硬盘拿出来,放到主内存,再把数据加载到高速缓存,真正运行程序主要和高速缓存打交道
Java内存线程模型和CPU线程模型类似,线程会把主内存的共享变量复制一份副本到工作内存,每个线程使用的是工作内存的共享变量副本的值。
变量被volatile关键字修饰,线程会开启总线嗅探机制,当有一个线程把变量的值改变了,做assign操作(赋值,先store再write),在store之前会给主内存变量加lock,在store的过程中经过总线,其他线程通过总线嗅探机制知道这个值改变了,会把工作内存的值失效掉,然后重新去主内存获取值。只有在改变值的线程unlock,其他线程才会读取值。
volatile有序性
多线程通过抢占时间片来执行自己的代码体,所以我们会感觉到线程是同时执行完的,除了引入了时间片以外,由于处理器优化和指令重排等,CPU还可能对输入代码进行乱序执行,volatile可以禁止指令重排,这就保证了代码的程序会严格按照代码的先后顺序执行。
JVM底层简化了内存屏障硬件指令的实现,使用lock指令可以完成类似内存屏障的功能。
volatile保证变量值的可见性和有序性不保证原子性
因为同时asgin 会使另一个线程的变量失效掉,asgin操作会丢失