JVM--学习笔记（四） --内存模型

最新推荐文章于 2024-10-04 16:07:18 发布

Swing_zzZ

最新推荐文章于 2024-10-04 16:07:18 发布

阅读量124

点赞数

分类专栏：个人学习笔记学习笔记 java基础文章标签： jvm 学习 java

本文链接：https://blog.csdn.net/qq_42435122/article/details/126632811

版权

个人学习笔记同时被 3 个专栏收录

40 篇文章 2 订阅

订阅专栏

学习笔记

26 篇文章 0 订阅

订阅专栏

java基础

5 篇文章 0 订阅

订阅专栏

1 java内存模型

java内存模型是 Java Memory Model（JMM），JMM定义了一套在多线程读写共享数据（成员变量、数组）时，对数据的可见性、有序性和原子性的规则和保障

例如，完成静态变量的自增、自减需要在主存和线程内存中进行数据交换：
在这里插入图片描述
先从主内存中读取i值，然后在线程内存中进行操作，最后把i值重新赋值给主内存

原子性

synchronized（同步关键字）

synchronized（对象）{
	要作为原子操作代码
}

可见性

volatile（易变关键字），可用来修饰成员变量和静态成员变量，它可以避免线程从自己的工作缓存中查找变量的值，必须到主存中获取它的值，线程操作volatile变量都是直接操作主存

保证在多个线程之间，一个线程对volatile变量的修改对另一个线程可见，不能保证原子性，仅用在一个写线程，多个读线程的情况

synchronized 语句块既可以保证代码块的原子性，也同时保证代码块内变量的可见性，但缺点是属于重量级操作，性能相对更低

有序性

JIT编译器在运行时的一些优化，包括 指令重排

同一线程内，JVM会在不影响正确性的前提下，调整语句的执行顺序
在这里插入图片描述

该特性称为【指令重排】，多线程下【指令重排】会影响正确性，double-checked locking模式实现单例：

在这里插入图片描述
实现特点：

· 懒惰实例化
· 首次使用getInstance（）才使用synchronized加锁，后续使用时无需加锁

但在多线程的环境下，上述代码存在一定问题，INSTANCE = new Singleton()对应的字节码为：

在这里插入图片描述

其中。4、7步的顺序不是固定，jvm会优化为：先将引用地址赋值给INSTANCE变量后，再执行构造方法，如果两个线程t1,t2按如下时间序列执行：

在这里插入图片描述
此时t1还未完全将构造方法执行完毕，，如果在构造方法中执行很多初始化操作，那么t2得到的是一个未初始化完毕的单例

volatile修饰的变量，可以禁用指令重排

happens-before

happens-before规定了哪些写操作对其它线程的读操作可见，它是可见性与有序性的一套规则总结：

· 线程解锁m之前对变量的写，对于接下来对m加锁的其它线程对该变量的读可见
在这里插入图片描述
· 线程对volatile变量的写，对接下来其它线程对该变量的读可见

在这里插入图片描述

· 线程start前对变量的写，对该线程开始后对该变量的读可见

在这里插入图片描述
· 线程结束前对变量的写，对其它线程得知它结束后的读可见（比如其他线程调用t1.isAlive() 或 t1.join()等待它结束）

在这里插入图片描述
· 线程 t1 打断 t2 （interrupt）前对变量的写，对于其他线程得知 t2 被打断后对变量的读可见（通过 t2.interrupted 或 t2.isInterrupted ）

在这里插入图片描述

· 对变量默认值（0，false，null）的写，对其它线程对该变量的读可见
· 具有传递性，如果 x hb->y 并且 y hb->z 那么有 x hb->z

CAS与原子类

CAS

CAS 即Compare and Swap ，它体现的是一种乐观锁的思想

例如多个线程要对一个共享的整型变量执行+1操作：
在这里插入图片描述
获取共享变量时，为保证该变量的可见性，需要使用volatile修饰。结合CAS 和 volatile 可实现无锁并发，适用于竞争不激烈、多核CPU的场景下

· 因为没使用synchronized，所以线程不会陷入阻塞（不会发生线程的上下文切换，将线程当前运行状态保存下来），这是效率提升的因素之一
· 如果竞争激烈，可想到重试（不断利用cpu时间）必然频繁发生，反而效率会受影响

CAS底层依赖于一个Unsafe类来直接调用操作系统底层的CAS指令

原子类

· CAS是基于乐观锁的思想：最乐观的估计，不怕别的线程来修改共享变量，就算改了也没关系，可以再重试
· synchronized是基于悲观锁的思想：最悲观的估计，得防着其线程来修改共享变量，我上了锁你们都别想改，我改完了再开锁，你们才有机会。

原子操作类
juc（java.util.concurrent）中提供了原子操作类，可以提供线程安全的操作。例如：AtomicInteger、AtomicBoolean等，底层采用CAS技术+volatile来实现

synchronized 优化

java HotSpot 虚拟机中，每个对象都有对象头（包括class指针和Mark Word）。Mark Word平时存储这个对象的哈希码、分代年龄，当加锁时，这些信息就根据情况被替换为标记为、线程锁记录指针、重量级锁指针、线程ID等内容

轻量级锁

如果一个对象虽然是多线程访问，但多线程访问的时间是错开的（即没有竞争），则可以使用轻量级锁来优化

无竞争

每个线程的栈帧都包含一个锁记录结构，内部存储锁定对象的Mark Word

在这里插入图片描述

锁膨胀（轻量转重量）

如果在尝试加轻量级锁过程中，CAS操作无法成功，这时一种情况就是有其它线程为此对象加上了轻量级锁（有竞争），这时需要进行锁膨胀，将轻量级锁变成重量级锁

在这里插入图片描述

重量锁

重量级锁竞争的时候，还可使用自旋来进行优化，如果当前线程自旋成功（即这时持锁线程已经退出了同步块，释放了锁），这时当前线程就可以避免阻塞。

自旋重试成功的情况：

在这里插入图片描述

自旋重试失败的情况：

在这里插入图片描述
在Java6之后自旋锁是自适应的，比如对象刚刚的一次自旋操作成功过，那么认为这次自旋成功的可能性会高，就多自旋几次；反之，就少自旋甚至不自旋，总之，比较智能。

· 自旋会占用CPU时间，单核CPU自旋就是浪费，多核CPU自旋才能发挥优势。
· 好比等红灯时汽车是不是熄火，不熄火相当于自旋，熄火相当于阻塞
· Java7 之后不能控制是否开启自旋功能

偏向锁

轻量级锁在无竞争时，每次重入仍然需要执行CAS操作。Java6 中引入了偏向锁来做进一步优化：

只有第一次使用CAS将线程ID设置到对象的Mark Word头，之后发现这个线程ID是自己的就表示没有竞争，不用重新CAS

· 撤销偏向需要将持锁线程升级为轻量级锁，这个过程中所有线程需要暂停（STW）
· 访问对象的hashCode 也会撤销偏向锁
· 如果对象虽然被多个线程访问，但没有竞争，这时偏向了线程T1的对象仍有机会重新偏向T2，重偏向会重置对象的Thread ID（对象锁开始记录线程1的ID，如果线程2多次访问，那么可更改为线程2的ID）
· 撤销偏向和重偏向都是批量进行的，以类为单位
· 如果撤销偏向到达某个阈值，整个类的所有对象都会变为不可偏向的
· 可以主动使用 -XX:-UseBiasedLocking 禁用偏向锁

在这里插入图片描述