剑指Java面试 -- 锁和线程池_对java的锁机制、线程池面试-CSDN博客

本文链接：https://blog.csdn.net/remon6/article/details/129740073

文章详细探讨了Java中synchronized关键字用于解决线程安全问题的原理，包括互斥锁的概念、锁的分类和实现，以及synchronized的底层实现和优化策略。此外，还介绍了Java内存模型JMM对可见性、有序性和原子性的保证，volatile关键字的作用，以及CAS无锁编程和线程池的相关知识。

摘要由CSDN通过智能技术生成

仅作为面试知识点记录，具体课程请在慕课网搜索剑指Java面试-Offer直通车

文章目录

synchronized

synchronized

线程安全问题的主要诱因

存在共享数据（也称临界资源）
存在多条线程共同操作这些共享数据

解决问题的根本方法

同一时刻有且只有一个线程在操作共享数据，其他线程必须等到该线程处理完数据后再对共享数据进行操作

互斥锁

互斥锁的特性

互斥锁：即在同一时间只允许一个线程持有某个对象锁，通过这种特性来实现多线程的协调机制，这样在同一时间只有一个线程对需要同步的代码块（复合操作）进行访问。互斥性也称为操作的原子性

可见性：必须确保在锁被释放之前，对共享变量所做的修改，对于随后获得该锁的另一个线程是可见的（即在获得锁时应获得最新共享变量的值）否则另一个线程可能是在本地缓存的某个副本上继续操作，从而引起不一致

synchronized锁的不是代码，锁的都是对象

根据获取锁的分类：获取对象锁和获取类锁

获取对象锁的两种用法

同步代码块（synchronized(this)，synchronized(类实例对象)），锁是小括号()中的实例对象
同步非静态方法（synchronized method），锁是当前对象的实例对象

获取类锁的两种用法

同步代码块（synchronized(类.class)），锁是小括号()中的类对象（Class对象)
同步静态方法（synchronized static method），锁是当前对象的类对象（Class对象）

对象锁和类锁的总结

有线程访问对象的同步代码块时，另外的线程可以访问该对象的非同步代码块；
若锁住的是同一个对象，一个线程在访问对象的同步代码块时，另一个访问对象的同步代码块的线程会被阻塞；
若锁住的是同一个对象，一个线程在访问对象同步方法时，另一个访问对象同步方法的线程会被阻塞，反之亦然；
若锁住的时同一个对象，一个线程在访问对象的同步代码块时，另一个访问对象同步方法的线程会被阻塞，反之亦然；
同一个类的不同对象的对象锁互不干扰；
类锁由于也是一种特殊的对象锁，因此表现和上述1，2，3，4一致，而由于一个类只有一把对象锁，所以同一个类的不同对象使用类锁将会是同步的；
类锁和对象锁互不干扰

synchronized底层实现原理

实现synchronized的基础

Java对象头
Monitor

对象在内存中的布局

对象头
实例数据
对齐填充

对象头的结构

在这里插入图片描述

Mark Word

在这里插入图片描述

Monitor：每个Java对象天生自带了一把看不见的锁

Monitor锁的竞争、获取和释放

在这里插入图片描述

什么是重入

从互斥锁的设计上来说，当一个线程试图操作一个由其他线程持有的对象锁的临界资源时，将会处于阻塞状态，但当一个线程再次请求自己持有对象锁的临界资源时，这种情况属于重入

自旋锁与自适应自旋锁

自旋锁

许多情况下，共享数据的锁定状态持续时间较短，切换线程不值得
通过让线程执行忙循环等待锁的释放，不让出CPU
缺点：若锁被其他线程长时间占用，会带来许多性能上的开销

自适应自旋锁

自旋的次数不再固定
由前一次在同一个锁上的自旋时间及锁的拥有者的状态来决定

锁清除 – 更彻底的优化

JIT编译时，对运行上下文进行扫描，去除不可能存在竞争的锁

锁粗化 – 另一种极端

通过扩大加锁的范围，避免反复加锁和解锁

synchronized的四种状态

无锁、偏向锁、轻量级锁、重量级锁

锁膨胀方向：无锁 -> 偏向锁 -> 轻量级锁 -> 重量级锁

偏向锁：减少同一线程获取锁的代价

大多数情况下，锁不存在多线程竞争，总是由同一线程多次获得
核心思想：
如果一个线程获得了锁，那么锁就进入偏向模式，此时Mark Word的结构也变为偏向锁结构，当该线程再次请求锁时，无需再做任何同步操作，即获取锁的过程只需要检查Mark Word的锁标记位为偏向锁以及当前线程ID等于Mark Word的ThreadID即可，这样就省去了大量有关锁申请的操作

不适用于锁竞争比较激烈的多线程场合

锁的内存语义

当线程释放锁时，Java内存模型会把该线程对应的本地内存中的共享变量刷新到主内存中；
而当线程获取锁时，Java内存模型会把该线程对应的本地内存置为无效，从而使得被监视器保护的临界区代码必须从主内存中读取共享变量

在这里插入图片描述

偏向锁、轻量级锁、重量级锁的汇总

在这里插入图片描述

synchronized和ReentrantLock的区别

ReentrantLock（再入锁）

位于java.util.concurrent.locks包
和CountDownLatch、FutureTask、Semaphore一样基于AQS实现
能够实现比synchronized更细粒度的控制，如控制fairness
调用lock()之后，必须调用unlock()释放锁
性能未必比synchronized高，并且也是可重入的

ReentrantLock公平性的设置

ReentrantLock fairLock = new ReentrantLock(true)
参数为true时，倾向于将锁赋予等待时间最久的线程
公平锁：获取锁的顺序按先后调用lock方法的顺序（慎用）
非公平锁：抢占的顺序不一定，看运气
synchronized时非公平锁

ReentrantLock将锁对象化

判断是否有线程，或者某个特定线程，在排队等待获取锁
带超时的获取锁的尝试
感知有没有成功获取锁

是否能将wait/notify/notifyAll对象化

java.util.concurrent.locks.Condition

总结

synchronized是关键字，ReentrantLock是类
ReentrantLock可以对获取锁的等待时间进行设置，避免死锁
ReentrantLock可以获取各种锁的信息
ReentrantLock可以灵活地实现多路通知
机制：sync操作Mark Word，lock调用Unsafe类的park()方法

什么是Java内存模型中的happens-before

Java内存模型JMM

Java内存模型（即Java Memory Model，简称JMM）本身是一种抽象的概念，并不真实存在，它描述的是一组规则或规范，通过这组规范定义了程序中各个变量（包括实例字段，静态字段和构成数组对象的元素）的访问方式

在这里插入图片描述

JMM中的主内存和工作内存

JMM中的主内存

存储Java实例对象
包括成员变量、类信息、常量、静态变量等
属于数据共享的区域，多线程并发操作时会引发线程安全问题

JMM中的工作内存

存储当前方法的所有本地变量信息，本地变量对其他线程不可见
字节码行号指示器、Native方法信息
属于线程私有数据区域，不存在线程安全问题

JMM与Java内存区域划分是不同的概念层次

JMM描述的是一组规则，围绕原子性，有序性，可见性展开
相似点：存在共享区域和私有区域

主内存与工作内存的数据存储类型以及操作方式归纳

方法里的基本数据类型本地变量将直接存储在工作内存的栈帧结构中
引用类型的本地变量：引用存储在工作内存中，实例存储在主内存中
成员变量、static变量、类信息均会被存储在主内存中
主内存共享的方式是线程各拷贝一份数据到工作内存，操作完成后刷新回主内存

JMM如何解决可见性问题

在这里插入图片描述

指令重排序需要满足的条件

在单线程环境下不能改变程序运行的结果
存在数据依赖关系的不允许重排序

无法通过happens-before原则推导出来的，才能进行指令的重排序

happens-before的八大原则

在这里插入图片描述

happens-before的概念

如果两个操作不满足上述任意一个happens-before规则，那么这两个操作就没有顺序的保障，JVM可以对这两个操作进行重排序
如果操作A happens-before 操作B，那么操作A在内存上所做的操作对操作B都是可见的

volatile：JVM提供的轻量级同步机制

保证被volatile修饰的共享变量对所有线程总是可见的
禁止指令重排序优化

volatile变量为何立即可见

当写一个volatile变量时，JMM会把该线程对应的工作内存中的共享变量值刷新到主内存中；
当读取一个volatile变量时，JMM会把该线程对应的工作内存置为无效

volatile如何禁止重排优化

内存屏障（Memory Barrier）

保证特定操作的执行顺序
保证某些变量的内存可见性

通过插入内存屏障指令禁止在内存屏障前后的指令执行重排序优化

强制刷出各种CPU的缓存数据，因此任何CPU上的线程都能读取到这些数据的最新版本

volatile和synchronized的区别

volatile本质是在告诉JVM当前变量在寄存器（工作内存）中的值是不确定的，需要从主存中读取；synchronized则是锁定当前变量，只有当前线程可以访问该变量，其他线程被阻塞住直到该线程完成变量操作为止
volatile仅能使用在变量级别；synchronized则可以使用在变量、方法和类级别
volatile仅能实现变量的修改可见性，不能保证原子性；而synchronized则可以保证变量修改的可见性和原子性
volatile不会造成线程的阻塞；synchronized可能会造成线程的阻塞
volatile标记的变量不会被编译器优化；synchronized标记的变量可以被编译器优化