java synchronized实现原理

java synchronized实现原理

1、在理解synchronized的之前，我们先来看看jvm加锁的一个过程和其原理。下图是一个对象中的在jvm的数据模型
![在这里插入图片描述](https://img-blog.csdnimg.cn/20200801114814367.png?x
其中我们看下Mark word ,中的state的字段，这个字段是记录这个对象的锁资源的一个状态，其中有偏向锁（unlocked）,Light-weight locked(轻量级锁)，Heavy-weight locked(重量级锁)，其中还有会记录各个锁的地址，还有对象的年龄，以及当前那个操作这个对象的线程ID.class Metadata Address 是类的描述，比如类中的属性，值的一些记录。

2、同步关键字轻量级锁加锁原理
从上图我们可以知道对象会记录一些锁的信息，和状态，以及线程的ID，可想而知同步关键字在加锁的时候也是去操作对象的Mark word信息。我们这里按问题去理解加锁的过程
2.1、Mark word数据是存在堆内存的，是线程共享的，那么多线程去修改其数据是如何保证原子性的呢？
各个线程去修改对象的state的时候，是通过CAS机制去修改的，会拿当前这个对象的当前的tag值，如果当前值的tag值是01,那么就会拿通过CAS修改成00，并把自己的线程set到对象的线程ID中。并且抢到的锁的资源的线程会把这个对象存到自己的lock records，这个是记录当前线程抢到了哪些对象的列表。如下图

2.2，在图一中看到jvm加锁的过程是由偏向锁->轻量级锁->重量级锁，这个是怎么去理解呢？

这里给出了一个图来帮助我们去理解，偏向锁默认是打开的，其本质就是无锁的机制，就是对象初始化mark word 的时候，线程ID给的一个默认值，当只有一个线程程来抢这把锁的时候就判断线程ID是默认值0，和tag是01表示无锁状态，已是就只是修改线程ID为自己，把这个对象存到自己lock records中。当有第二个线程来抢这把锁的时候，有竞争了，那么就会通过CAS去修改tag 00 ,这个时候锁就升级到了轻量级锁，没抢到锁的线程就会自旋CAS去抢锁，因为不断的自旋是非常消耗CPU资源的，所以JVM做了一个优化，当自旋到一定次数的时候，对象锁升级到重量级锁。其它线程的状态就会直接变成wait，等拥有锁的线程的释放锁的时候，在唤醒所有等到这把锁的线程。