JUC多并发编程--＞JＭＭ

最新推荐文章于 2024-07-21 22:25:36 发布

王洛伊

最新推荐文章于 2024-07-21 22:25:36 发布

阅读量839

点赞数 15

分类专栏： JUC 文章标签： java

本文链接：https://blog.csdn.net/weixin_44836762/article/details/135697485

版权

JUC 专栏收录该内容

8 篇文章 0 订阅

订阅专栏

文章目录

三大特性
happens-before
- 八条规则
volatile

JMM java 内存模型：
MM(Java内存模型Java Memory Model，简称JMM)本身是一种抽象的概念并不真实存它仅仅描述的是 一组约定或规范，通过这组规范定义了程序中(尤其是多线程)各个变量的读写访问方式并决定一个线程对共享变量的写入何时以及如何变成对另一个线程可见，关建技术点都是围绕多线程的 原子性、可见性和有序性展开的。

通过JMM来实现线程和主内存之间的抽象关系
屏蔽各个硬件平台和操作系统的内存访问差异以实现让Java程序在各种平台下都能达到一致的内存访问效果。

三大特性

原子性、可见性和有序性

可见性：当一个线程修改了某一个共享变量的值，其他线程是否能够立即知道该变更，JMM规定了所有的变量都存储在主内存中

系统主内存共享变量数据修改被写入的时机是不确定的，多线程并发下很可能出现“脏读”，所以每个线程都有自己的工作内存，线程自己的工作内存#保存了该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作(读取，赋值等 ) 都必需在线程自己的工作内存中进行，而不能够直接读与主内存中的变量。不同线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要通过主内存来完成

原子性：一个操作是不可被打断的，在多线程环境下，操作不能被其它线程干扰
有序性：对于一个线程的执行代码而言，我们总是习惯性认为代码的执行总是从上到下，有序执行。但为了提升性能。编译器和处理器通常会对指今序列进行重新排序。Java规范规定JVM线程内部维持顺序化语义，即只要程序的最终结果与它顺序化执行的结果相等，那么指令的执行顺序可以与代码顺序不一致，此过程叫指令的重排序。
- JVM能根据处理器特性(CPU多级缓存系统、多核处理器等)适当的对机器指今进行重排序，使机器指令能更符合CPU的执行特性，最大限度的发挥机器性能。但是，指令重排可以保证串行语义一致，但没有义务保证多线程间的语义也一致(即可能产生”脏读")，简单说，两行以上不相干的代码在执行的时候有可能先执行的不是第一条，不见得是从上到下顺序执行，执行顺序会被优化。
- 执行的过程

多线程对变量的读写过程
在这里插入图片描述

happens-before

多线程先行发生原则–happens-before

如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见,而且第一个操作的执行顺序排在第二个操作之前。
两个操作之间存在happens-before关系，并不意味着一定要按照happens-before原则制定的顺序来执行如果重排序之后的执行结果与按照happens-before关系来执行的结果一致，那么这种重排序并不非法。

八条规则

程序次序规则：一个线程内，按照代码顺序，书写在前面的操作先行发生于书写在后面的操作；也就是前一个操作的结果可以被后续的操作获取。
管程锁定规则：一个unLock操作先行发生于后面对同一个锁的lock操作；（此处后面指时间的先后）
volatile变量规则：对一个变量的写操作先行发生于后面对这个变量的读操作；（此处后面指时间的先后）
传递规则：如果操作A先行发生于操作B，而操作B又先行发生于操作C，则操作A先行发生于操作C。
线程启动规则：Thread对象的start()方法先行发生于此线程的每个一个动作；
线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生（Thread.interrupted() ）；
线程终止规则：线程中所有的操作都先行发生于线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行；
对象终结规则：一个对象的初始化完成（构造函数执行结束）先行发生于他的finalize()（通常的目的是在对象不可撤销地丢弃之前执行清理操作）方法的开始；

volatile

被volatile修饰的变量有可见性、排序性（排序有时候需要禁重排）俩个特点

volatile内存语义

当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量值立即刷新回主内存中。
当读一个volatile变量时，JMM会把该线程对应的本地内存设置为无效，重新回到主内存中读取最新共享变量
所以volatile的写内存语义是直接刷新到主内存中，读的内存语义是直接从主内存中读取。

内存屏障Memory Barrier

是一种屏障指令，使得CPU或编译器对屏障指令的前和后所发出的内存操作执行一个排序的约束，也叫内存栅栏或栅栏指令，阻止屏障俩边的指令重排
volatile依靠内存屏障Memory Barrier保证可见性和有序性
禁重排：重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段，有时候会改变程序语句的先后顺序不存在数据依赖关系，可以重排序; 存在数据依赖关系，禁止重排序 但重排后的指令绝对不能改变原有的串行语义!

内存屏障

内存屏障(也称内存栅栏，屏障指令等，是一类同步屏障指令，是CPU或编译器在对内存随机访问的操作中的一个同步点，使得此点之前的所有读写操作都执行后才可以开始执行此点之后的操作)，避免代码重排序。
内存屏障其实就是一种JVM指令，Java内存模型的重排规则会要求Java编译器在生成JVM指令时插入特定的内存屏障指令，通过这些内存屏障指令，volatile实现了Java内存模型中的可见性和有序性(禁重排)，但volatile无法保证原子性。
内存屏障之前所有写操作都要回写到主内存中
内存屏障之后的所有读操作都能获得内存屏障之前的所有写操作的最新结果（实现可见性）
写屏障(Store Memory Barrier): 告诉处理器在写屏障之前将所有存储在缓存(store bufferes)中的数据同步到主内存。也就是说当看到Store屏障指令，就必须把该指令之前所有写入指令执行完毕才能继续往下执行。
在写指令之后插入写屏障，强制把写缓冲区的数据刷回到主内存中。
读屏障(Load Memory Barrier): 处理器在读屏障之后的读操作，都在读屏障之后执行。也就是说在Load屏障指令之后就能够保证后面的读取数据指令一定能够读取到最新的数据。
在读指令之前插入读屏障，让工作内存或CPU高速缓存当中的缓存数据失效，重新回到主内存中获取最新数据。