线程系列(八)synchronized实现原理与应用

目录

1. synchronized的特性

2. synchronized的原理

3. synchronized的具体实现方式

4. 32位虚拟机MarkWord图解

---

序号	名称	链接地址
1	并发编程系列(一)创建线程的三种方式及线程如何完成上下文如何切换	https://blog.csdn.net/qq_38130094/article/details/103443997
2	并发编程系列(二)之线程的中断	https://blog.csdn.net/qq_38130094/article/details/103444171
3	并发系列(三)线程常用的方法	https://blog.csdn.net/qq_38130094/article/details/103446126
4	并发编程系列(四)之Thread类源码分析(一)	https://blog.csdn.net/qq_38130094/article/details/103448160
5	并发编程系列(五)volatile关键字详解	https://blog.csdn.net/qq_38130094/article/details/103448564
6	并发编程系列(六)volatile 之 as-if-serial 指令重排 volatile内存语义 volatile原理	https://blog.csdn.net/qq_38130094/article/details/103543998
7	线程系列(七)synchronized使用方式	https://blog.csdn.net/qq_38130094/article/details/103537663
8	线程系列(八)synchronized实现原理与应用	https://blog.csdn.net/qq_38130094/article/details/103537668
9	并发编程系列(九)ThreadLocala是如何解决共享变量的并发问题及源码分析	https://blog.csdn.net/qq_38130094/article/details/103665098
10	并发编程系列(十)AQS同步器独占锁加锁与解锁-源码解读	https://blog.csdn.net/qq_38130094/article/details/103540315
11	并发编程系列(十一)AQS同步器共享锁加锁解锁源码解读	https://blog.csdn.net/qq_38130094/article/details/103646505
12	并发编程系列(十二)AQS同步器条件锁(Condition)加锁解锁源码解读	https://blog.csdn.net/qq_38130094/article/details/103679146
13	发编程系列(十三)ReentrantLock 重入锁	https://blog.csdn.net/qq_38130094/article/details/103843779
14	发编程系列(十四)Semaphore信号量	https://blog.csdn.net/qq_38130094/article/details/103846420
15	发编程系列(十五) CountDownLatch闭锁	https://blog.csdn.net/qq_38130094/article/details/103855632
16	并发编程系列(十六) CyclicBarrier	https://blog.csdn.net/qq_38130094/article/details/103859704

在多线程并发编程中synchronized一直是元老级角色，很多人都会称呼它为重量级锁。但是，随着Java SE 1.6对synchronized进行了各种优化之后，有些情况下它就并不那么重了。本文详细介绍Java SE 1.6中为了减少获得锁和释放锁带来的性能消耗而引入的偏向锁和轻量级锁，以及锁的存储结构和升级过程。

从JVM规范中可以看到Synchonized在JVM里的实现原理，JVM基于进入和退出Monitor对象来实现方法同步和代码块同步，但两者的实现细节不一样。代码块同步是使用monitorenter和monitorexit指令实现的，而方法同步是使用另外一种方式实现的，细节在JVM规范里并没有详细说明。但是，方法的同步同样可以使用这两个指令来实现。

1. synchronized的特性

synchronize的的作用特性：

原子性：确保线程互斥的访问同步代码块

可见性：保证共享变量的修改能够及时可见

有序性：有效的解决重排问题

synchronized内置锁是一种对象锁（锁的是对象而非是引用变量），作用粒度是对象可以用来实现对临界资源的同步互斥访，是可重入的；可重入最大的作用是避免死锁

2. synchronized的原理

synchronized修饰的代码块和方法都是通过监视器锁(monitor)实现的；当monitor被占用时就处于锁定状态

当线程执行monitorenter指令尝试获取monitor所有权时的过程如下：

1. 当某线程尝试获取monitor时，如果monitor的进入数为零，monitor会将进入数设置为1，这个线程成为monitor的所有者
2. 如果线程已经占有该monitor，那就会重入，monitor的进入数加1；
3. 如果其他线程已经占有该monitor，则这个线程会进入阻塞，等monitor进入数为0后，再重新尝试获取monitor的所有权

monitorexit：执行这个指令的线程必须是monitor的所有者；当执行这个指令后monitor进入数减1，如果monitor进入数为0后，那这个线程退出monitor不在是这个monitor的所有者，其他被这个monitor阻塞的线程可以再次去尝试获取这个monitor的所有权；

monitorexit指令出现两次，一次是线程正常退出执行；另一个是当异常出现时释放锁;

由此可知synchronized的实现原理：synchronized的语义底层是通过一个monitor对象来完成的

synchronized修饰的方法会有一个ACC_SYNCHROIZED访问标示符，这和上面的方式一样的，本质上没有区别，只是方法的同步是隐式的方式来实现的，无需通过字节码来完成

monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处，JVM要保证每个monitorenter必须有对应的monitorexit与之配对。任何对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态。线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获得对象的锁。

3. synchronized的具体实现方式

synchronized的实现和java内存模型有关，这里先介绍下java对象(主要以32位为例讲解Mark Word下的lock标记)

长度	java对象
32/64bit	对象头	实例数据	对齐填充(非必须)

对象头：java虚拟机对象头一般占2个机器码；（在32位虚拟机中1个机器码等于4字节也就是32bit，在64位虚拟机中，1个机器码是八个字节也就是64bit）

实例数据：存放类的属性数据信息，包括父类的属性信息

对齐填充：由于虚拟机需要，对象起始地址必须是8字节的整数倍，填充数据不是必须存在的，仅仅是为了字节对齐

 

长度	对象头(Object Header)
32/64bit	对象自身运行时数据(Mark Word)	类型指针(class pointer)	如果是数组对象，要记录数据长度

Mark Word：这部分主要用来存储对象自身的运行时数据，如hashcode、gc分代年龄等。mark word的位长度为JVM的一个Word大小，也就是说32位JVM的Mark Word为32位，64位JVM为64位。为了让一个字大小存储更多的信息，JVM将字的最低两个位设置为标记位，不同标记位下的Mark

类型指针(class pointer)：用于存储对象的类型指针，该指针指向它的类元数据，JVM通过这个指针确定对象是哪个类的实例。该指针的位长度为JVM的一个字大小，即32位的JVM为32位，64位的JVM为64位。如果应用的对象过多，使用64位的指针将浪费大量内存，统计而言，64位的JVM将会比32位的JVM多耗费50%的内存。为了节约内存可以使用选项+UseCompressedOops开启指针压缩，其中，oop即ordinary object pointer普通对象指针。开启该选项后，下列指针将压缩至32位

array length：如果对象是一个数组，那么对象头还需要有额外的空间用于存储数组的长度，这部分数据的长度也随着JVM架构的不同而不同：32位的JVM上，长度为32位；64位JVM则为64位。64位JVM如果开启+UseCompressedOops选项，该区域长度也将由64位压缩至32位。

4. 32位虚拟机MarkWord图解

MarkWord
锁状态	25bit		4bit	1bit	2bit
	23bit	2bit		是否是偏向锁	锁标志位
无锁状态	对象hashcode，对象分代年龄			0	01
轻量级锁	指向栈中锁记录的指针				00
重量级锁	指向互斥量(重量级锁)的指针				10
GC标记	空				11
偏向锁	线程ID	Epoch	对象分代年龄	1	01

对象头的最后两位存储了锁的标志位，01是初始化，为加锁，其对象头里存储的是对象本身的哈希吗，随着锁级别的不同，对象头里会存储不同的内容，偏向锁存储的是当前占用此对象的线程ID；轻量级则存储指向线程栈中锁记录的指针；

锁：锁记录+对象头里的引用指针