java中synchronization修饰的同步块的同步原理及出现异常时的自动资源释放原理

在java语言里，我们要进行同步块的控制，一般使用锁和synchronization关键字，用lock同步是在代码层进行资源的抢占控制，

而用synchronization进行的同步jvm层的控制，在一个方法体里，被synchronizatioin修饰的语句块，其实在编译成字节码时，

会被monitorenter和monitorexit指令包围，多个线程在进入monitorenter控制的字节码时，需要进入等候队列排队，同时会

隐士的在字节码里添

加异常处理器，在异常处理器里添加monitorexit指令，保证了同步块里出现异常时能释放资源。

如有同步java语句：

void  aMethod(Object o){

   synchronized(f) {

      doSomething();

  }

}

编译后代码如下字节码：

 Method void aMethod(Object){

       04     aload_1                           //把参数0从本地变量表加载到操作数栈
       05      dup                                  //备份操作数栈顶元素，及备份栈顶元素
       06      astore_2                          //把备份的操作栈元素o赋值给本地变量2
       07      monitorenter                     //进入o对象关联的监视器
       08      aload_0                            // 加载this到操作栈
       09      invokevirtual    #5             //调用doSomeThing()
       10      aload_2                            //加载o进操作栈
       11      monitorexit                       //退出o对象关联的monitor
       12      goto     18                        //返回
       13      astore_3                          //出现异常时执行这里，把栈顶元素保存到本地变量3
       14      aload_2                           // 加载本地变量2(0对象)进操作栈顶
       15      monitorexit                      //退出o对象关联的监视器Monitor
       16      aload_3                          //加载本地变量3进栈顶
       17      athrow                            //抛出异常
       18      return                             //返回
    Exceptiono  table:
    From                 To             Target                     Type
    4                        10                13                         any
    13                      16                13                         any
             return                             //