JUC探险-2、synchronized-CSDN博客

本文链接：https://blog.csdn.net/NarutoConanKing/article/details/99870325

文章目录

一、：synchronized机制
- Java对象头
二、：锁膨胀机制与几类锁
三、：具体synchronized流程
系列文章传送门：

一、：synchronized机制

synchronized关键字是JAVA中常用的同步功能，提供了简单易用的锁功能。 synchronized有三种用法，分别为：
●用在普通方法上，能够锁住当前对象。
●用在静态方法上，能够锁住类。
●用在代码块上，锁住的是synchronized()里的对象。

在JDK6之前，synchronized使用的是重量级锁，在之后synchronized加入了锁膨胀机制，显著提升了synchronized关键字的效率。

synchronized锁是非公平锁。并且一个被synchronized锁住的对象或类，就是一把锁。

另外一提，所有锁都是存储在Java对象头里的，Java对象头里的Mark Word里默认存储对象的HashCode、分代年龄和锁标记位。也就是说Mark Word记录了锁的状态。

Java对象头

以Hotspot虚拟机为例，Hotspot的对象头主要包括两部分数据：Mark Word（标记字段）、Klass Pointer（类型指针）。
●Mark Word：默认存储对象的HashCode，分代年龄和锁标志位信息。这些信息都是与对象自身定义无关的数据，所以Mark Word被设计成一个非固定的数据结构以便在极小的空间内存存储尽量多的数据。它会根据对象的状态复用自己的存储空间，也就是说在运行期间Mark Word里存储的数据会随着锁标志位的变化而变化。
●Klass Pointer：对象指向它的类元数据的指针，虚拟机通过这个指针来确定这个对象是哪个类的实例。

二、：锁膨胀机制与几类锁

锁膨胀是不可逆的。

①无锁

无锁指没有对资源进行锁定，所有的线程都能访问并修改同一个资源，但同时只有一个线程能修改成功。

无锁的特点就是修改操作在循环内进行，线程会不断的尝试修改共享资源。如果没有冲突就修改成功并退出，否则就会继续循环尝试。如果有多个线程修改同一个值，必定会有一个线程能修改成功，而其他修改失败的线程会不断重试直到修改成功。无锁无法全面代替有锁，但无锁在某些场合下的性能是非常高的。

②偏向锁

synchronized在JDK1.6以后默认开启偏向锁，synchronized最初都是偏向锁。

偏向锁是指一段同步代码一直被一个线程所访问，那么该线程会自动获取锁，降低获取锁的代价。
在大多数情况下，锁总是由同一线程多次获得，不存在多线程竞争，所以出现了偏向锁。其目标就是在只有一个线程执行同步代码块时能够提高性能。

当一个线程访问同步代码块并获取锁时，会在Mark Word里存储锁偏向的线程ID。在线程进入和退出同步块时不再通过CAS操作来加锁和解锁，而是检测Mark Word里是否存储着指向当前线程的偏向锁。引入偏向锁是为了在无多线程竞争的情况下尽量减少不必要的轻量级锁执行路径，因为轻量级锁的获取及释放依赖多次CAS原子指令，而偏向锁只需要在置换ThreadID的时候依赖一次CAS原子指令即可。

偏向锁只有遇到其他线程尝试竞争偏向锁时，持有偏向锁的线程才会释放锁，线程不会主动释放偏向锁。偏向锁的撤销，需要等待全局安全点（在这个时间点上没有字节码正在执行），它会首先暂停拥有偏向锁的线程，判断锁对象是否处于被锁定状态。撤销偏向锁后恢复到无锁（标志位为“01”）或轻量级锁（标志位为“00”）的状态。

优点：在只有一个线程使用锁的时候获取和退出锁没有任何花费。

缺点：锁竞争激烈会很快升级为轻量锁，那么维持偏向锁的过程就是在浪费计算机资源。（不过因为偏向锁本身就很轻量，因此浪费的资源并不多）

小结：只有一个线程使用锁的情况下，synchronized使用的锁为偏向锁。如果锁竞争激烈，可以通过JVM参数关闭偏向锁：-XX:-UseBiasedLocking=false，关闭之后程序默认会进入轻量级锁状态。

③轻量锁

一把锁不止一个线程使用，则偏向锁膨胀为轻量锁。

轻量级锁是指当锁是偏向锁的时候，被另外的线程所访问，偏向锁就会升级为轻量级锁，其他线程会通过自旋的形式尝试获取锁，不会阻塞，从而提高性能。

在代码进入同步块的时候，如果同步对象锁状态为无锁状态（锁标志位为“01”状态，是否为偏向锁为“0”），虚拟机首先将在当前线程的栈帧中建立一个名为锁记录（Lock Record）的空间，用于存储锁对象目前的Mark Word的拷贝，然后拷贝对象头中的Mark Word复制到锁记录中。
拷贝成功后，虚拟机将使用CAS操作尝试将对象的Mark Word更新为指向Lock Record的指针，并将Lock Record里的owner指针指向对象的Mark Word。
如果这个更新动作成功了，那么这个线程就拥有了该对象的锁，并且对象Mark Word的锁标志位设置为“00”，表示此对象处于轻量级锁定状态。
如果轻量级锁的更新操作失败了，虚拟机首先会检查对象的Mark Word是否指向当前线程的栈帧，如果是就说明当前线程已经拥有了这个对象的锁，那就可以直接进入同步块继续执行，否则说明多个线程竞争锁。
若当前只有一个等待线程，则该线程通过自旋进行等待。但是当自旋超过一定的次数，或者一个线程在持有锁，一个在自旋，又有第三个来访时，轻量级锁升级为重量级锁。

优点：在线程之间使用锁不存在竞争时，一次CAS操作就能获取和退出锁。

缺点：与偏向锁类似。

小结：只要一把锁不止一个线程获取过，偏向锁就会膨胀为轻量锁。

④重量锁

一把锁存在多线程竞争，则轻量锁开始自旋，自旋一定次数后仍没获取锁，则膨胀为重量锁。（存在竞争时，轻量锁虽然会先自旋，但是最终往往都会膨胀为重量锁）

线程获取重量锁时，如果获取失败（即锁已被其他线程获取），则使用自适应自旋锁，自旋一定次数后仍没获取锁，则进入阻塞队列等待。升级为重量级锁时，锁标志的状态值变为“10”，此时Mark Word中存储的是指向重量级锁的指针。

优点：未获取到的锁进入阻塞队列，节约CPU资源。（好吧感觉其实是没有啥优点）

缺点：重量锁是通过对象内部的监视器（monitor）实现，其中monitor的本质是依赖于底层操作系统的Mutex Lock实现，操作系统实现线程之间的切换需要从用户态到内核态的切换，切换成本非常高。

小结：只要一把锁存在多线程竞争，轻量锁就会膨胀为重量锁。

Monitor

Monitor可以理解为一个同步工具或一种同步机制，通常被描述为一个对象。每一个Java对象就有一把看不见的锁，称为内部锁或者Monitor锁。
Monitor是线程私有的数据结构，每一个线程都有一个可用monitor record列表，同时还有一个全局的可用列表。每一个被锁住的对象都会和一个monitor关联，同时monitor中有一个Owner字段存放拥有该锁的线程的唯一标识，表示该锁被这个线程占用。