synchronized 关键字

最新推荐文章于 2023-07-24 18:02:02 发布

自由飛祥

最新推荐文章于 2023-07-24 18:02:02 发布

阅读量96

点赞数

分类专栏：关键字文章标签： synchronized

本文链接：https://blog.csdn.net/qq_37254296/article/details/100072288

版权

1 篇文章 0 订阅

订阅专栏

在 JVM 中，对象在内存中的布局分为三块区域：对象头、实例数据、和对齐填充。Java对象头是实现 synchronized 对象锁的基础。

synchronized 的对象锁，其指针指向的是一个 monitor(监视器) 对象的起始地址，每一个对象都一个 monitor 。其中 monitor 可以与对象一起创建、销毁，或者当线程试图获取对象时自动生成。

monitor 是由 ObjectMonitor 实现

ObjectMonitor(){
    _count = 0;
    _owner = NULL;
    _WaitSet = NULL;
    _WaitSetLock = 0;
    _EnyryList = NULL;
}

同步语句块的实现使用的是 monitorenter 和 monitorexit 指令

当执行 monitorenter 指令时，当前线程试图获取 objectf（对象锁）对应的 monitor 的持有权，当 objectf 的 monitor 进入计数器为0，线程成功取得 monitor ，并将计数器值设置为1，去锁成功。
如果当前线程已经拥有了 monitor 的持有权，那么它可以重入这个 monitor ，重入时计数器也会加1。
如果其他线程已经拥有了 monitor 的持有权，那么当前线程将会被阻塞，直到正在执行的线程执行完毕，即 monitorexit 指令被执行，执行线程释放 monitor ，并设置计数器为0，其他线程将有机会持有 monitor 。
无论线程以什么样的方式结束，编译器都要确保 monitorenter 与 monitorexit 正确配对执行，编译器会自动产生一个异常处理器来处理所有的异常，目的就是用来执行 monitorexit 指令。

synchronized方法底层

方法级的同步是隐式的，无需通过字节码指令来控制，它实现在方法调用和返回操作之中。JVM 可以从方法常量池的方法表结构（method_info_Structure）中的 ACC_SYNCHRONIZED 访问标志区分一个方法是否同步。
当方法调用时，调用指令将会检查方法的 ADD_SYNCHRONIZED 的访问标志是否被设置，如果设置了，执行线程先持有 monitor ，然后再执行方法，最后在方法完成时（正常 or 非正常）释放 monitor 。
在方法执行期间，其他任何线程都无法再获得同一个 monitor 。如果方法执行期间遇到了异常，且内部无法处理，那这个同步方法所持有的 monitor 将在异常抛出到同步方法之外时自动释放。

关注