为什么需要JMM
在多CPU的系统中,每个CPU都有多级缓存,一般分为L1、L2、L3缓存,因为这些缓存的存在,减轻了数据总线上数据传输的压力,但是也带来了新的问题,两个CPU之间对共享变量的操作是不可见的,就会有线程安全问题。
JMM是什么
Java内存模型(Java Memory Model,简称JMM)是一种规范,它定义了Java虚拟机(JVM)在计算机内存(RAM)中的工作方式,即规范了Java虚拟机与计算机内存之间是如何协同工作的。它规定了一个线程如何和何时可以看到其他线程修改过的共享变量的值,以及在必须时如何同步地访问共享变量。
在JMM中,将内存分为了工作内存(L1,L2,L3)和主内存。当操作一个共享变量时不能直接在主内存中修改,需要从主内存中复制一份共享变量的副本到工作内存中,操作完后将共享变量刷新到主内存中。JMM保证了可见性,原子性,有序性。
happens-before原则
是对JMM规范的一种实现。如果A线程在B线程执行之前执行,那么就是A happens-before B。此时会保证可见性和有序性,B可以读取到A最新修改的值,指令重排序不会影响先执行A再执行B的顺序。