简述Java内存模型(JMM)

现代计算机模型与缓存一致性

现代计算机模型

 现代计算机模型是基于冯诺依曼计算机模型，这里解释一下他的主要理论：

   程序与数据一样存贮，按程序编排的顺序，一步一步地取出指令，自动地完成指令规定的操作是计算机最基本的工作模型。也就是说计算机再运行时，先从内存中取出一条指令(这里的内存可以理解为计算机的运行内存，也就是内存条)，通过控制器的译码，按照指令要求，从存储器取出数据进行运算和逻辑操作，然后将结果写入内存中，然后反复这些操作。

    上图就是冯诺依曼计算机模型。这里的存储器就是内存条，CPU也就是运算器和控制器的组合。但是这样的计算机模型有一个瓶颈，也就是cpu读写运行内存的速度直接影响了程序运行的效率，所以现代计算机再CPU和存储器中间加了一层高速缓存，也就是现在的L1、L2、L3这样的缓存。CPU直接读写高速缓存，这样就很好的解决了读取效率问题。

    但是这样的结构带来一个问题就是缓存的一致性问题，在多处理器系统中，每个处理器都有自己的高速缓存，而它们又共享同一主内存,当多个处理器的运算任务都涉及同一块主内存区域时，将可能导致各自的缓存数据不一致,如果发生这种情况又以谁为准呢？

现在大部分