cyc的Java内存模型

最新推荐文章于 2022-06-23 12:02:24 发布

钢铁-程序猿

最新推荐文章于 2022-06-23 12:02:24 发布

阅读量194

点赞数

分类专栏：面试深入理解Java虚拟机

本文链接：https://blog.csdn.net/weixin_38367817/article/details/104723769

版权

10 篇文章 0 订阅

订阅专栏

10 篇文章 1 订阅

订阅专栏

cyc Java内存模型(JMM)

在这里插入图片描述

Java内存模型规定了8个操作来完成主内存和工作内存之间的交互操作(这几个操作具有原子性，除了对于64位数据即double、long的读写)：

原子性
一组操作要么全部成功，要么全部失败。
Java内存模型允许虚拟机将没有被volatile修饰的64位数据即long和double的读写分成两次32位的操作来进行，即load、store、read和write操作可以不具有原子性。
虽然上面的8个操作单独来说一般是具有原子性的，但是组合使用的时候可能会破坏原子性质，比如i++，在执行load assign store的过程之间会破坏原子性。可以使用Atomic这样的类包装原子性。
可见性
一个线程修改了共享变量的值，其他线程能立刻知道这个修改。
volatile可以保证可见性。
有序性
有序性指的是在本线程内观察，所有操作都是有序的，在一个线程观察另外一个线程，操作可能就是无序的，无序是因为发生了指令重排序。
在Java内存模型中允许编译器和处理器对指令进行重排序，重排序过程不会影响单线程程序的执行，但是会影响到多线程并发执行的正确性。

JMM可以通过happens-before关系向程序员提供跨线程的内存可见性保证（如果A线程的写操作a与B线程的读操作b之间存在happens-before关系，尽管a操作和b操作在不同的线程中执行，但JMM向程序员保证a操作将对b操作可见）。

具体的定义为：

1）如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。
2）两个操作之间存在happens-before关系，并不意味着Java平台的具体实现必须要按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before关系来执行的结果一致，那么这种重排序并不非法（也就是说，JMM允许这种重排序）。

单线程happen-before原则：在同一个线程中，书写在前面的操作happen-before后面的操作。
锁的happen-before原则：对一个锁的解锁，happens-before于随后对这个锁的加锁。
volatile的happen-before原则：对一个volatile变量的写操作happen-before对此变量的任意操作(当然也包括写操作了)。
happen-before的传递性原则：如果A操作 happen-before B操作，B操作happen-before C操作，那么A操作happen-before C操作。
线程启动的happen-before原则：同一个线程的start方法happen-before此线程的其它方法。
线程中断的happen-before原则：对线程interrupted()方法的调用先行于被中断线程的代码检测到中断时间的发生。
线程join的happen-before原则：如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。
对象创建的happen-before原则：一个对象的初始化完成先于他的finalize方法调用。