Synchronized底层实现原理

1：Java对象头

每个对象分为三块区域:对象头、实例数据和对齐填充。

对象头包含两部分，第一部分是Mark Word，用于存储对象自身的运行时数据，如哈希码（HashCode）、GC分代年龄、锁状态标志、线程持有的锁、偏向线程 ID、偏向时间戳等等，这一部分占一个字节。第二部分是Klass Pointer（类型指针），是对象指向它的类元数据的指针，虚拟机通过这个指针来确定这个对象是哪个类的实例，这部分也占一个字节。(如果对象是数组类型的，则需要3个字节来存储对象头，因为还需要一个字节存储数组的长度)
实例数据存放的是类属性数据信息，包括父类的属性信息，如果是数组的实例部分还包括数组的长度，这部分内存按4字节对齐。
填充数据是因为虚拟机要求对象起始地址必须是8字节的整数倍。填充数据不是必须存在的，仅仅是为了字节对齐。
对象头信息是与对象自身定义的数据无关的额外存储成本，考虑到虚拟机的空间效率，Mark Word被设计成一个非固定的数据结构以便在极小的空间内存储尽量多的信息，它会根据对象的状态复用自己的存储空间。例如在32位的HotSpot虚拟机 中对象未被锁定的状态下，Mark Word的32个Bits空间中的25Bits用于存储对象哈希码(HashCode)，4Bits用于存储对象分代年龄，2Bits用于存储锁标志 位，1Bit固定为0，在其他状态(轻量级锁定、重量级锁定、GC标记、可偏向)下对象的存储内容如下表所示。

对象头存储结构

从对象头的内容可以看出，锁的状态都保存在对象头中。当标识为10时，表示锁为重量级锁，其指针执行monitor对象的起始地址。下面重点看看monitor对象。

2：Monitor对象

monitor对象是操作系统提供的，每个对象都有一个对应的Monitor，它有以下几个关键属性。
_count用来记录该线程获取锁的次数.
_EntryList用来存放当前尝试获取对象锁，但没有获取到，处于阻塞状态的线程。
_WaitSet存放处于wait状态的线程队列。
_owner指向持有ObjectMonitor对象的线程。

当多个线程同时访问一段同步(同步代码块或同步方法)时，首先都会进入到EntryList中阻塞。当某个线程获取到对象的monitor后进入_Owner区域并把monitor中的_owner变量设置为当前线程，同时monitor中的计数器_count加1，若线程调用wait()方法，将释放当前持有的monitor，_owner变量恢复为null，_count自减1，同时该线程进入_WaitSet集合中等待被唤醒。若当前线程执行完毕也将释放monitor(锁)并复位变量的值，以便其他线程进入获取monitor(锁)。如下图所示