Synchronized实现原理

查看带有Synchronized语句块的class文件可以看到在同步代码块的起始位置插入了moniterenter指令,在同步代码块结束的位置插入了monitorexit指令。(JVM需要保证每一个monitorenter都有一个monitorexit与之相对应,但每个monitorexit不一定都有一个monitorenter)
但是查看同步方法的class文件时,同步方法并没有通过指令monitorenter和monitorexit来完成,而被翻译成普通的方法调用和返回指令,只是在其常量池中多了ACC_SYNCHRONIZED标示符。JVM就是根据该标示符来实现方法的同步的:当方法调用时,调用指令将会检查方法的 ACC_SYNCHRONIZED 访问标志是否被设置,如果设置了,执行线程将先获取monitor,获取成功之后才能执行方法体,方法执行完后再释放monitor。在方法执行期间,其他任何线程都无法再获得同一个monitor对象。 其实本质上没有区别,只是方法的同步是一种隐式的方式来实现,无需通过字节码来完成

synchronized的实现原理和应用总结
(1)synchronized同步代码块:synchronized关键字经过编译之后,会在同步代码块前后分别形成monitorenter和monitorexit字节码指令,在执行monitorenter指令的时候,首先尝试获取对象的锁,如果这个锁没有被锁定或者当前线程已经拥有了那个对象的锁,锁的计数器就加1,在执行monitorexit指令时会将锁的计数器减1,当减为0的时候就释放锁。如果获取对象锁一直失败,那当前线程就要阻塞等待,直到对象锁被另一个线程释放为止。
(2)同步方法:方法级的同步是隐式的,无须通过字节码指令来控制,JVM可以从方法常量池的方法表结构中的ACC_SYNCHRONIZED访问标志得知一个方法是否声明为同步方法。当方法调用的时,调用指令会检查方法的ACC_SYNCHRONIZED访问标志是否被设置,如果设置了,执行线程就要求先持有monitor对象,然后才能执行方法,最后当方法执行完(无论是正常完成还是非正常完成)时释放monitor对象。在方法执行期间,执行线程持有了管程,其他线程都无法再次获取同一个管程。

moniterenter和moniterexit指令是通过monitor对象实现的。
Synchronized的实现不仅与monitor对象有关,还与另一个东西密切相关,那就是对象头

下面我们就来看下Java对象头和monitor对象与Synchronized的实现有着怎样的关系。

JVM规范中对monitorenter和monitorexit指令的描述如下:
monitorenter :
Each object is associated with a monitor. A monitor is locked if and only if it has an owner. The thread that executes monitorenter attempts to gain ownership of the monitor associated with objectref, as follows:
• If the entry count of the monitor associated with objectref is zero, the thread enters the monitor and sets its entry count to one. The thread is then the owner of the monitor.
• If the thread already owns the monitor associated with objectref, it reenters the monitor, incrementing its entry count.
• If another thread already owns the monitor associated with objectref, the thread blocks until the monitor’s entry count is zero, then tries again to gain ownership.

这段话的大概意思为:
每个对象都有一个监视器锁(monitor)与之对应。当monitor被占用时就会处于锁定状态,线程执行monitorenter指令时尝试获取monitor的所有权,过程如下:
1、如果monitor的进入数为0,则该线程进入monitor,然后将进入数设置为1,该线程即为monitor的所有者。
2、如果线程已经占有该monitor,只是重新进入,则进入monitor的进入数加1.
3.如果其他线程已经占

  • 22
    点赞
  • 108
    收藏
    觉得还不错? 一键收藏
  • 9
    评论
`synchronized` 是 Java 中用于实现线程同步的关键字,它可以用来修饰代码块或方法。当某个线程执行一个被 `synchronized` 修饰的代码块或方法时,它会尝试获取对象的(monitor),如果没有被其他线程占用,则该线程会获取到,并继续执行代码块或方法;如果已经被其他线程占用,则该线程会被阻塞,直到获取到为止。 `synchronized` 的实现原理可以分为以下几个步骤: 1. 当一个线程尝试获取某个对象的时,它会先检查是否被其他线程占用。 2. 如果未被占用,则该线程会获取到,并继续执行代码块或方法。 3. 如果已经被其他线程占用,则该线程被阻塞,并被放入对象的等待队列中。 4. 当被释放时,等待队列中的线程会被唤醒,然后再次尝试获取。 5. 如果此时有多个线程都被唤醒,则它们会竞争获取,只有一个线程能够获取到,其他线程仍然被阻塞。 在 `synchronized` 中,是以对象为单位的。每个对象都有一个与之关联的,称为对象的监视器(monitor)。当一个线程进入某个对象的 `synchronized` 代码块或方法时,它会尝试获取该对象的监视器。如果监视器未被其他线程占用,则该线程获取到监视器并继续执行代码块或方法;如果监视器已经被其他线程占用,则该线程被阻塞,直到获取到监视器为止。当代码块或方法执行完毕后,该线程会释放监视器。
评论 9
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值