并发编程系列(四)Synchronized的使用与实现原理

synchronized关键字使我们在多线程并发条件下经常使用的一个关键字，下面我们来详细介绍synchronized的应用场景及底层的实现原理。

synchronized的使用

分类	被锁的对象	伪代码
实例方法	类的实例对象	public synchronized void method (){......}
静态方法	类对象	public static synchronized void method (){......}
实例对象	类的实例对象	synchronized (this){......}
class对象	类对象	synchronized (xx.class){......}
任意实例对象Object	实例对象Object	Object o = new Object synchronized (o){......}

Synchronized属于内置锁，内置锁是可重入的，因此如果某个线程试图获得一个已经由他自己持有的锁，那么这个请求就会成功。“重入"意味着获取锁的操作的粒度是"线程”，而不是“调用”。

实现原理

1.当synchronized同步代码块

通过 javap命令我们可以看到，在代码块中会出现monitorenter和monitorexit这两个指令，如下图所示

monitorenter：每个对象都是一个监视器锁(monitor)。
当monitor被占用时就会处于锁定状态，线程执行monitorenter指令时尝试获取monitor的所有权，过程如下：
(1).如果monitor的进入数是0，则该线程进入monitor，然后将进入数设置为1，该线程即为monitor的所有者；
(2).如果线程已经占有该monitor，只是重新进入，则进入monitor的进入数加1；
(3).如果其它线程已经占有该monitor，则该线程进入阻塞状态，直到monitor的进入数为0，再重新尝试获取monitor的所有权；

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

上述的汇编代码monitorexit指令出现两次，第一次为同步正常退出释放锁；第二次为发生异常退出释放锁。

2.当synchronized同步方法

这和作用于代码块的是方式一样的，本质上没有区别，只是方法的同步是隐式的方式来实现的，无需通过字节码来完成

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

Monitor是什么

Monitor 是线程私有的数据结构，每一个线程都有一个可用monitor record列表，同时还有一个全局的可用列表。每一个被锁住的对象都会和一个monitor关联（对象头的MarkWord中的LockWord指向monitor的起始地址），同时monitor中有一个Owner字段存放拥有该锁的线程的唯一标识，表示该锁被这个线程占用。

我们介绍一下java对象

对象头：java虚拟机对象头一般占2个机器码；（在32位虚拟机中1个机器码等于4字节也就是32bit，在64位虚拟机中，1个机器码是八个字节也就是64bit）
实例数据：存放类的属性数据信息，包括父类的属性信息
对齐填充：由于虚拟机需要，对象起始地址必须是8字节的整数倍，填充数据不是必须存在的，仅仅是为了字节对齐。

对象头由以下数据结构组成

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位。

对象头中存储的数据

对象内容	标志位	状态
对象哈希码、对象分代年龄	01	未锁定
指向所记录的指针	00	轻量级锁定
指向重量级锁的指针	10	重量级锁定
空，不需记录信息	11	GC标记
偏向线程ID，偏向时间戳	01	可偏向

总结
1.Synchronized可以被使用到方法上或是代码块上，Synchronized的锁定对象可以是 实例对象、类的字节码，Synchronized是可重入锁，最大限度减少死锁的可能。
2.Synchronized的底层实现原理是通过对象头上Mark Word中存储的Monitor对象实现的，每一个被锁住的对象都会和一个monitor关联（对象头的MarkWord中的LockWord指向monitor的起始地址），同时monitor中有一个Owner字段存放拥有该锁的线程的唯一标识，表示该锁被这个线程占用。