【深入理解并发可见性、有序性、原子性与JMM内存模型】

三河与木

已于 2023-10-09 14:20:29 修改

阅读量57

点赞数

分类专栏：并发专栏文章标签：安全 java

于 2023-10-08 21:48:54 首次发布

本文链接：https://blog.csdn.net/weixin_42070243/article/details/133684308

版权

8 篇文章 0 订阅

订阅专栏

一、原子性

一个或多个操作，要么全部执行且在执行过程中不被任何因素打断，要么全部不执行

通过加锁或者CAS方式来确保并发场景下的原子性：

是指多个线程访问同一个变量，其中的一个线程将当前的变量更改，其他线程能看得到当前变量修改的值

即程序执行的顺序按照代码的先后顺序执行。为了提升性能，编译器和处理器常常会对指令做重排序，所以存在有序性问题

在这里插入图片描述

在上图中，主要是处理两个关键问题，第一个是多线程间是如何通讯的，第二个是多线程间是如何同步的

线程间通讯与同步：
由上图，可知，线程A与线程B之间的通讯，必须要经历两个步骤：线程B先把本地内存中更新过的flag值刷新到主内存中==>线程B到主内存中读取线程A之前更新过的共享变量数据，其交互协议如下：

lock（锁定）：作用于主内存的变量，把一个变量标识为一条线程独占状态。
unlock（解锁）：作用于主内存变量，把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁
定。
read（读取）：作用于主内存变量，把一个变量值从主内存传输到线程的工作内存中，以便随后的load动作使用
load（载入）：作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作内存的变量副本中。
use（使用）：作用于工作内存的变量，把工作内存中的一个变量值传递给执行引擎，每当虚拟机遇到一个需要
使用变量的值的字节码指令时将会执行这个操作。
assign（赋值）：作用于工作内存的变量，它把一个从执行引擎接收到的值赋值给工作内存的变量，每当虚拟机
遇到一个给变量赋值的字节码指令时执行这个操作。
store（存储）：作用于工作内存的变量，把工作内存中的一个变量的值传送到主内存中，以便随后的write的操
作。
write（写入）：作用于主内存的变量，它把store操作从工作内存中得到的变量的值放入主内存的变量中。

当线程获取锁时：JMM会将当前线程对应的本地内存置为无效

当线程释放锁时，JMM会把该线程对应的本地内存中的共享变量刷新到主内存中

当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量值刷新到主内存

当读一个volatile变量时，JMM会把该线程对应的本地内存置为无效，线程接下来将从主内存中读取共享变量

JMM属于语言级的内存模型，它确保在不同的编译器和不同的处理器平台之上，通过禁止特定类型的编译器重排序和处理器重排序，为程序员提供一致的内存可见性保证

关注