synchronized
是 Java
语言的一个 关键字
,它本身的意思为同步,是用来保证线程安全的,可用来给对象和方法或者代码块加锁,当它锁定一个方法或者一个代码块的时候,同一时刻最多只有一个线程执行这段代码。
synchronized
一句话来解释其作用就是: 能够保证同一时刻最多只有一个线程执行该段代码,以达到并发安全的效果
。 synchronized
就犹如一把锁,当一个线程获取到该锁,别的线程只能等待其执行完才能执行。
synchronized
可以说是Java中元老级的关键字了,也是面试的高频的问点,在 jdk1.6
之前它是一把重量级锁,性能不被大家看好,在次之后对它做了很多优化,性能也大大提升。
那么 synchronized
的实现的底层原理是什么, jdk1.6
之后又对它做了哪些优化呢?接下来我们一步一步的分析。
synchronized
能够保证在多线程的情况下线程安全,直接可以它的特性进行总结原因, synchronized
有以下 四个特性
:
synchronized
修饰的一个或者多个操作,在执行的过程中不会被任何的因素打断,即所谓的 原子操作
,直到锁被释放。 可见性:保证持有锁的当前线程在释放锁之前,对共享变量的修改会刷新到主存中,并对其它线程可见。
有序性:保证多线程时刻中只有一个线程执行,线程执行的顺序都是有序的。
可重入性:保证在多线程中,有其他的线程试图竞争持有锁的临界资源时,其它的线程会处于等待状态,而当前持有锁的线程可以重复的申请自己持有锁的临界资源。
上面的也是粗略的进行概括,接下来就一步一步的进行深入的分析 synchronized
的这四个特性的底层原理。
上面介绍了原子性就是 一个或者多个操作 ,在执行的过程中不会被任何的因素打断,这里的任何因素打断具体一点主要是指 cpu的线程调度 。
在Java语言中对 基本数据类型读取和赋值才是原子操作
,这些操作在执行的过程不会被中断。而像 a++
或者 a+=1
类似的操作,都并非是原子性操作。
因为这些操作底层执行的流程分为这三步: 读取值 、 计算值 、 赋值 。才算完成上面的操作,在多线程的时候就会存在线程安全的问题,产生脏数据,导致最后的结果并非预期的结果。
在面试的过程中也会有很多面试官常常拿 volatile
和 synchronized
做比较,在原子性方面区别就是 volatile
没有办法保证原子性,而 synchronized
可以实现原子性。
这里简单的只对 volatile
做一个 简介
, volatile
的具体作用主要有两个: 保证可见性
、 禁止指令重排
,这里画了一个图给大家,可以参考:
具体的volatile为什么没办法保证原子操作,我之前写过一篇关于volatile详细的文章,可以参考这一篇文章[]。
那么 synchronized
的底层又是怎么实现原子性的呢?这里又要从 synchronized
的字节码说起,在idea中写了一段简单的代码如下所示:
public class TestSynchronized implements Runnable {
@Override
public void run() {
synchronized (this) {
System.out.println("同步代码块");
}
}
public static void main(String[] args) {
TestSynchronized sync = new TestSynchronized();
Thread t = new Thread(sync);
t.start();
}
}
代码很简单,通过字节码进行分析,执行的字节码如下图所示,在字节码中可以看出在执行代码块中的代码之前有一个 monitorenter
,后面的是离开 monitorexit
。
不难猜测执行同步代码块中的代码时,首先要获取 对象锁
,对应使用 monitorenter
指令 ,在执行完代码块之后,就要 释放锁
,所对应的指令就是 monitorexit
。
在这里又会有一个面试考点就是: 什么会出现两次的monitorexit呢?
这是因为一个线程对一个对象上锁了,后续就一定要解锁,第二个 monitorexit
是为了保证在 线程异常
时,也能正常 解锁
,避免造成 死锁
。
synchronized
实现可见性就是在解锁之前,必须将 工作内存
中的数据同步到 主内存
,其它线程操作该变量时每次都可以看到被修改后的值。
说到工作内存和主内存这个要从 JMM
说起, 主存
是放 共享变量
的地方,而 工作内存
是 线程私有
的,存放的是 主存的变量的副本
,线程不会对主存的变量直接操作。这里画了一张图给大家理解:
具体讲解 JMM
的文章我之前写过一篇详细的文章,这里只做上面的概述,详细了解 JMM
的可以看这一篇[]。
synchronized
在实现有序性时,多线程并发访问只有一个线程执行,从而保证线程执行的顺序都是有序的。
synchronized
为了实现有序性,通过 阻塞其它线程
的方式,来达到线程的有序执行,接下来看一个简单的代码:
public class TestSynchronized implements Runnable {
Object o= new Object();
public static void main(String[] args) throws InterruptedException {
TestSynchronized sync = new TestSynchronized ();
Thread t1 = new Thread(sync);
Thread t2 = new Thread(sync);
t1.start();
t2.start();
}
@Override
public void run() {
synchronized (o) {
try {
System.out.println(Thread.currentThread().getName() + "线程开始执行");
Thread.sleep(5000);
System.out.println(Thread.currentThread().getName() + "线程等待5秒后执行完毕");
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
}
这个毋庸置疑,当你加了 synchronized
代码块的时候,这两个线程执行必须是有序的,同一个线程前后的输出一定会在一起,执行的结果如图所示:
假如注释掉 synchronized
的代码块,两个线程的执行就不再是有序的执行,就会出现如图所示的情况:
synchronized
的可重入性就是当一个线程已经持有锁对象的临界资源,当该线程再次请求对象的临界资源,可以请求成功,这种情况属于重入锁。
实现的底层原理就是 synchronized
底层维护一个 计数器
,当线程获取该锁时,计数器 +1
,再次获取锁时继续 +1
,释放锁时,计数器-1,当计数器值为0时,表明该锁未被任何线程所持有,其它线程可以竞争获取锁。
前面详细的介绍了 synchronized
的基本特性,接下来详细的介绍 synchronized
的基本用法,我们基本都知道大部分是时候只会用到同步方法上,但是它的用法有下面三种:
同步普通方法:在方法上添加synchronized关键字。
同步静态方法:在方法上添加synchronized关键字,并且方法被static修饰。
同步代码块:执行的代码操作被synchronized修饰。
锁定this实例或者实例对象
锁定类字节码
在同步方法中这个相信大家都是知道,代码如下图所示:
private synchronized void syncMethod() {
// 逻辑代码
}
这里有一个问题就是对于 synchronized
的锁无非就是两种,对于 同步方法中的锁对象又是什么呢?
,这里画了一张图给大家,如下如图所示:
在同步普通方法中锁对象就是 this
,也就是当前对象,哪个对象调用的同步方法,锁对象就是就是它。
当然 同步普通方法只能作用在单例 上,若不是单例,同步方法就会失效,原因很简单, 多例中锁对象不一样,没办法生效 。
在 同步静态方法 中的锁对象是当前类的 class对象 ,这个相信大家都能想到。
在同步代码块中,可以有很多的玩法,因为锁对象是任意的,由程序员自己操作指定,主要这几种方式获得锁对象: this 、 Object 、 this.getClass() 、 className.getClass() 。
具体用哪种就要看你的具体的业务场景了,这里只是做了总结和归纳。
在 JVM
的书籍中介绍到, synchronized
在 jdk6
之前一直使用的是 重量级锁
,在 jdk6
之后便对其进行了优化,新增了 偏向锁
、 轻量级锁(自旋锁)
,并通过 锁消除
、 锁粗化
、 自旋锁
、 自适应自旋
等方法使用于各种场景,大大提升了 synchronized
的性能。
下面就来详细的介绍synchronized被 优化的过程以及原理 ,对synchronized优化的实现的具体的原理图如下所示:
在synchronized优化的最重要的就是锁升级的优化过程,也是大厂面试的必问的锁知识点,接下来我们就详细的了解这个过程。
在讲解锁升级的过程,先了解对象的在内存中的布局情况,为什么呢?因为锁的信息是存储在对象的 markword
中,只有了解了对象的布局,对深入的了解锁升级会更有帮助。
在我们创建一个对象后,大部分时候,对象都是分配在堆中,因为还有可能对象在栈上分配,所以这里用大部分情况。
对于一个对象创建完之后,在内存中的布局情况,我之前也写过一篇文章,详细可以参考这一篇[],这里做一个大概的回顾,一个对象在内存中的布局图如下所示。
对象在内存布局中主要分为以下三个部分: 对象头(markword、class pointer)、示例数据(instance data)、对齐(可有可无) 。
其中对象头中,若是对象为数组则还包含 数据的长度
,其中 markword
中主要包含信息有: GC年龄信息
、 锁对象信息
、 hashCode信息
。
class pointer是类型指针,指向当前对象class文件,实例数据若是一个对象有属性 private int n=1
,这是 n=1
即使存储在示例数据中。
最后的填充可有可无,这个取决于对象的大小,所示对象大小能被8字节整除,则该部分没有,不能被整除,就会 填充对象大小到能够被8字节整除 。
在对象的内存布局中,最值得我们关注的就是 markword
,因为 markword
是存储锁信息的,接下来的实验中,就是要观察 markword
包含的位里面的大小的变化。
要在实际中观察到对象的内存布局情况,可以借助 JOL
依赖库,全程是 JAVA Objct Layout
,即是 Java对象布局
,只需要在你的maven工程里面引入如下maven坐标:
<dependency>
<groupId>org.openjdk.jol</groupId>
<artifactId>jol-core</artifactId>
<version>0.9</version>
</dependency>
然后创建一个SpringBoot项目,加入上面Maven依赖,接着创建Java类 JaveObjectLayout
,代码如下:
public class JaveObjectLayout {
public static void main(String[] args) {
Object o = new Object();
String s = ClassLayout.parseInstance(o).toPrintable();
System.out.println(s);
}
}
执行代码后输出的结果如下图所示:
有人问这是啥?不慌,且听我慢慢道来,这个就是Java在内存中的布局数据,前八个字节表示的是 markword
,其中 OFFSET
表示起始位, SIZE
表示偏移位。
比如第一行 0 4
,表示 第0个字节开始算4个字节
,然后第二行 4 4
表示 第4个字节开始算4个字节
,这样就一共 8个字节
,表示 完整的markword信息
。
其中后面的 VAlUE
数据表示的是对应的这4个字节上的具体位的数据, 1字节=8位
,这个也刚好对应。
在能看懂这个之前必须要了解各种锁对应的位数上的是0还是1,才能够知道上面输出的表示是什么信息,看一张各种锁表示的信息图:
其中无锁状态位001,偏向锁为101,轻量级锁为00,而重量级锁为10,最后11表示GC信息。这个怎么对应呢?我们再来看上面的那种图:
从代码中可以看出,是没有加锁的,所有对应的最低三位为001为无锁状态,当代码改成如下图所示:
Object o = new Object();
synchronized (o) {
String s = ClassLayout.parseInstance(o).toPrintable();
System.out.println(s);
}
再次输出,这时候便表示 轻量级锁
,前四个字节的数据明显变大,后面字节的数据都没有变化,说明锁信息是存储在 markword
中的,所谓的 加锁
,就是 在对象的markword中储存锁信息
(包括线程的 ThreadID
),并且对象的锁状态由0改为了1,表示该对象已经被哪个线程所持有。
接下来我们来聊聊详细的锁升级的过程,当初始化完对象后,对象处于无锁状态,在只有一个线程第一次使用该对象,不存在锁竞争时,我们便会认为该线程偏向于它。
偏向锁的实质
就是将线程的 ThreadID
存储于 markword
中,表明该线程偏向于它
。
若是某一时刻又来了线程二、线程三也想竞争这把锁,此时是轻度的竞争,便升级为 轻量级锁 ,于是这三个线程就开始竞争了,他们就会去判断锁是否由释放,若是没有释放,没有获得锁的线程就会自旋,这就是 自旋锁 。
在自旋的过程,也会尝试的去获取锁,直到获取锁成功。在 jdk1.6
之后又出现了 自适应自旋
,就是 jdk根据运行的情况和每个线程运行的情况决定要不要升级
。
自适应自旋是对自旋锁优化方式的进一步优化,它的 自旋的次数不再固定,其自旋的次数由前一次在同一个锁上的自旋时间及锁的拥有者的状态来决定 ,这就解决了自旋锁带来的缺点。
这个竞争的过程的实质就是看谁能把自己的 ThreadID
贴在对象的 markword
中,而这个过程就是 CAS操作
,原子操作。
倘若此时又来了线程四、线程5.....线程n,都想获取该锁,竞争越来越激烈了,此时就会升级为 重量级锁 。
所谓的重量级锁,为什么叫做重量级呢? 因为重量级锁要通过操作系统,由用户态切换到内核态的过程,这个切换的过程是非常消耗资源的,并且经过系统调用 。
那么为啥重量级锁那么消耗资源?还要它,要它有何用?是这样的,假如没有重量级锁,不管有多少个线程都是自旋,那么当线程是大了,等待的线程永远在自旋。
自旋是要消耗cpu资源的,这样cpu就撑不住了,反而性能会大大下降,在经过反复的测试后,肯定是有一个 临界值 ,当超过这个临界值时, 反而使用重量级锁性能更加高效 。
因为 重量级锁不需要消耗cpu的资源 ,都把等待的线程放在了一个等待的队列中,需要的时候在唤醒他们。
在 jdk1.6
之前当 线程的自选次数超过10次
或者 等待的自旋的线程数超过了CPU核数的二分之一
,就会升级为重量级锁。
当然也有情况就是偏向锁一开始就重度竞争,这是就直接升级为重量级锁,这个在互联网项目中也是很常见的。
经过上面的详细讲解于是就出现了下面的锁升级图,在不同的条件就会升级为不同的锁:
锁消除是另一种锁的优化措施,在 编译期间 , 会对上下文进行扫描,去除掉不可能存在竞争的锁 ,这样就不必执行没有必要的上锁和解锁操作消耗性能。
锁粗化就是 扩大所得范围,避免反复执行加锁和释放锁 ,避免不必要的性能消耗。
特别推荐一个分享架构+算法的优质内容,还没关注的小伙伴,可以长按关注一下:
长按订阅更多精彩▼
如有收获,点个在看,诚挚感谢