synchronized优化原理

synchronized锁并不是每时每刻都会和Monitor对象关联，对于将共享独享关联到Monitor的方法来说树与重量级锁，开销大同时效率较低，所以JVM在底层会自动帮我们优化synchronized，来达到高效并行。

一、轻量级锁 

从前文我们了解到synchronized重量级锁的处理方式，即将共享对象关联到Monitor对象，但还有一些情况，比如说两个线程的对某一共享对象锁的使用事件完全是错开的，如果还要继续选择将对象关联到Monitor对象，未免花销太高。

举个例子，比如不同专业的同学公用一个自习室，但是由于课程安排的原因，两个专业的同学对自习室的使用时间完全不同，此时如果一个专业的同学使用完自习室就要上锁，未免太过于浪费。

为了应对在程序中类似于上面的情况，synchronized会自动帮我们转换成轻量级锁。

 

 如图，我们每个开辟的线程中都会有一个lock record对象，内部可以存储锁定对象的Mark word。

当我们的对象被锁定到某个线程时，lock record会指向我们的锁定对象，同时调用cas，将object的Mark word存入lock record中，同时将lock record中的标识该线程的值加入到mark word中。此时就代表锁定对象已经被该线程锁定。

而此时当我们有另一个线程加入到我们的锁定对象的争夺之中，会和所对象建立连接，但当调用cas再次尝试交换信息时，会发现对象中的mark word已经存在了另一个线程的标志，交换失败。

cas失败的原因：

1.如果其他线程持有该object的轻量级锁，表示有竞争，进入锁膨胀过程

2.如果自己执行synchronized锁重入，那么再添加一条lock record（标志位null）作为重入的计数

解锁：

        当线程中的栈顶记录的lock record标志为null时，会重置该lock record（在线程中删除），当标志不为null时，会尝试和关联的object调用cas交换信息，若成功则解锁成功；失败说明轻量级锁以经锁膨胀或者升级成为重量级锁，进入重量级锁的解锁流程（解除对Monitor的owner占用，唤醒阻塞队列中的线程争抢锁资源）。

二、自旋优化

自旋在前文中有所提及，此处的优化就代表该线程可以持续不断的抢占锁资源，直到抢占成功。该优化可以避免该线程的阻塞。

三、偏向锁

        轻量级锁在没有竞争时(就自己这个线程),每次重入仍然需要执行 CAS 操。Java6中引入了偏向锁来做进一步优化:只有第一次使用 CAS 将线程 ID 设置到对象的 Mark Word 头,之后发现这个线程 D 是自己的就表示没有竞争,不用重新 Cas ,以后只要不发生竞争,这个对象就归该线程所有。

1、如果开启了偏向锁(默认开启),那么对象创建后, markword 值为OxO5即最后3位为101,这时它的
 thread 、 epoch 、 age 都为0

2、偏向锁是默认是延迟的,不会在程序启动时立即生效,如果想避免延迟,可以加 VM 参数—批量撒销 XX : BiasedLockingStartupDelay =0来禁用延迟

3、如果没有开启偏向锁,那么对象创建后, markword 值为Ox01即最后3位为001,这时它的 hashcode 、 age
 

批量重偏向

如果对象虽然被多个线程访问,但没有竞争,这时偏向了线程T1的对象仍有机会重新偏向12,重偏向会重置对象的 Thread ID。

 
当撤销偏向锁翻值超过20次后, jvm 会这样觉得,我是不是偏向错了呢,于是会在给这些对象加锁时重新偏向至加锁线程。

批量撤销

当撤销偏向锁阈值超过40次后, jvm 会这样觉得,自己确实偏向错了,根本就不该偏向。于是整个类的所有对象都会变为不可偏向的,新建的对象也是不可偏向的

简单来说，就是JVM会撤销默认的锁偏向（Mark word末尾标记为101），新new的对象也不会有锁偏向的性质（Mark word末尾标记变为001）。

锁消除 

锁消除是指JVM会自动帮我们过滤掉不需要加锁的情景，使锁操作撤销，如该代码

public class MyBenchmark {
    static int x = 0;
    public void a() throws Exception{
        x++;
    }
    public void b() throws Exception{
        Object o = new Object();
        synchronized (o){
            x++;
        }
    }
}

此时方法b中的x++不受是否加锁的影响，也就是说加不加锁对x的值变化没有影响。此时JVM会自动帮我们撤销该锁。 

总结：

量级优先级关系：重量级锁>轻量级锁>偏向锁

以上就是JVM对synchronized的优化，大部分的锁优化手段都是JVM帮我们自动完成，并不需要手动操作。