JVM 内存模型 JMM



Java内存模型：用来屏蔽掉各种硬件（高速缓存、cpu指令重排）、操作系统、编译器优化（JVM指令重排）的一个抽象层。

内容：java内存模型主要定义了各个变量（字段，静态字段这样的共享变量，私有变量不涉及竞争问题，本文变量均为该意思）的访问规则，及将变量存储到内存和从内存中取出的细节。

1.主内存与工作内存：

    java内存模型规定了所有变量都存储在主内存。每个线程还拥有自己的工作内存。线程的工作内存保存了被该线程使用到的变量的主内存的副本，线程对变量的所有操作都必须在工作内存中进行，不能直接操作主内存中的变量。工作内存是私有的，不同线程不能直接访问对方的工作内存中的变量。线程间的变量传递需要通过驻内存完成。如图：

2.指令重排：

为了充分利用计算机资源CPU、JVM都会对指令进行重排序优化运行速度。但是重排序是遵从happens-before原则的，以保证代码能正确的执行。

3.volatile和synchronized如何保证同步：

    volatile：

        可见性：插入内存屏障保证，对volatile的操作会立即刷新到主内存中。每次使用volatile变量也会从主内存中现获取。

        有序性：内存屏障(指令重排不能将内存屏障之后的指令排到内存屏障之前，并会刷新工作内存)禁止了指令重排的语意。

    synchronized：

        原子性：同一时间只有一个线程运行同步代码块。

      可见性：线程进入synchronized块之前，会清除当前线程工作空间的共享变量副本，使用时重新读取最新值。退出synchronized块之前把共享变量改动值刷新到主内存。

        有序性：synchronized也会插入内存屏障，禁止synchronized块内的指令重排到块外，但不能阻止块内指令间的重排。

   

未完待续...

参考自：

深入理解JVM

部分参考：

http://blog.evercoding.net/2017/08/20/memory-barrier-in-synchronized点击打开链接

http://menuet.xyz/technology/java/Java%E5%86%85%E5%AD%98%E5%8F%AF%E8%A7%81%E6%80%A7%E3%80%90Java%E7%B3%BB%E5%88%97%E7%AC%94%E8%AE%B0%E3%80%91/点击打开链接

(指令举例)http://www.infoq.com/cn/articles/memory_barriers_jvm_concurrency点击打开链接

https://www.cnblogs.com/flystar32/p/6684593.html点击打开链接

https://www.jianshu.com/p/43cb37df87c8点击打开链接

http://www.infoq.com/cn/articles/memory_barriers_jvm_concurrency点击打开链接

https://www.jianshu.com/p/4f4f3e09a81b点击打开链接

(缓存一致性协议)https://zhuanlan.zhihu.com/p/24146167点击打开链接

(缓存一致性协议)http://www.voidcn.com/article/p-yrkgjnvk-bw.html点击打开链接