Synchronized关键字底层原理

                    Synchronized关键字底层原理

Synchronized关键字是在多线程环境下保证线程安全的一个非常重要的关键字，通常用来修饰方法和代码块。

1.修饰方法

    public synchronized void test(){

    }

    public void test1(){

    }

这里有一个synchronized修饰的方法和普通方法，那么底层的区别是什么呢，通过javap的反汇编代码来看

可以看到相对于普通方法，synchronized修饰的方法在常量池中多了一个synchronized——ACC的标识，这就是为什么synchronized修饰方法可以保证线程安全的原因：
首先我们要知道每个对象都有属于自己的monitor，当在线程中调用某个synchronized修饰的方法时，该线程发现这个方法存在ACC——synchronized标识，就会先去获取当前的monitor，只有获取到这个监视器，才会去执行方法，那么其他线程自然无法再次获取到这个monitor，因为一个对象只存在一个monitor，A线程获取到了这个monitor，其他线程自然无法获取，所以修饰方法时可以保证线程安全性。

2.修饰代码块

   synchronized (object){


        }

        {


        }

继续通过javap命令来看


通过对比两个代码块可以发现，拥有 synchronized加锁的代码块在底层多出了monitorenter 和 monitorexit，这就是 synchronized修饰代码块保证线程安全的原因所在，当你想去访问这个被 synchronized锁的代码块，你首先需要monitorenter获取这个对象的监视器，并且每个对象只有一个monitor，所以一个线程获取了这个监视器，其他线程自然无法获取这个监视器，只有当走到monitorexit，当前线程释放了这个监视器，其他线程才可以去抢夺这个监视器，为什么我们看到出现了一个monitorenter，但是却出现了两次monitorexit，按理来说monitorenter和monitorexit应该是一对一存在，这里就是关键所在，JVM为了防止异常，防止出现获得锁的线程无法释放的情况，规定了synchronized锁修饰的代码块当线程执行异常时，会自动释放对象锁。因此这里有两个monitorexit指令，分别对应正常释放和异常释放。