java synchronized关键字的底层实现

每个对象都有一个锁(Monitor,监视器锁),class对象也有锁,如果synchronized关键字修饰同步代码块,通过反编译可以看到,其实是有个monitorenter和monitorexit指令,也就是说,某个线程必须首先获得该对象的监视器锁,才能进入同步代码块,如果此时其它线程也去获取该对象的锁,则会阻塞直至当前线程释放掉监视器锁。synchronized(this)是锁当前对象,synchronized(A.class)是锁class对象。

如果synchronized关键字修饰普通方法,那么线程必须首先获取对象的锁之后才能调用对象的同步方法,如果此时其他线程也在调用该对象的其他同步方法,则会阻塞。如果synchronized关键字修饰static静态方法,因为静态方法是属于类的,所以必须先获取class对象的锁。

通过反编译可以看到,在方法前加synchronized关键字,实质上是在方法体中加了一个

ACC_SYNCHRONIZED(access synchronized) flag,当方法调用时,首先会检查方法的ACC_SYNCHRONIZED 是否被设置,如果设置了,执行线程将先获取对象的监视器锁,获取成功之后才能执行方法体,方法执行完后再释放monitor。在方法执行期间,其他任何线程都无法再获得该对象的监视器锁。

synchronized关键字解决了原子性(不中断,互斥),可见性(保证修改即使可见)和一致性问题(防止重排序)。

原文地址:https://www.cnblogs.com/james111/p/7262612.html