二、synchronized实现原理
先来看下面一段代码:
public class SynchronizedTest {
public static void main(String[] args) {
synchronized (SynchronizedTest.class) {
System.out.println(“被锁内容。。。”);
}
}
}
这是一个被synchronized修饰的同步代码块,将这段代码反编译后结果如下。
可以看到反编译的结果中出现了monitorenter和monitorexit两个指令。这个两个指令的意义:当虚拟机执行到monitorenter指令时就会尝试获取对象的监视器锁(monitor),如果monitor的进入数为0,则该线程进入monitor,然后将进入数+1,该线程即为monitor的所有者;如果该线程已经是monitor的所有者了,则重新进入,monitor的进入数+1;如果已经有其他线程占有了该monitor,则该线程进入阻塞状态,直到monitor进入数为0,再重新尝试获取monitor拥有权。当虚拟机执行到monitorexit指令时,monitor的进入数-1,如果减1后进入数为0,则线程退出monitor,该线程不再是monitor的所有者,其他被这个monitor阻塞的线程可以尝试获取monitor的所有权。
上面是被synchronized修饰的同步代码块,再来看下面这段代码:
public class SynchronizedTest {
public static synchronized void method () {
System.out.println(“被锁内容。。。”);
}
public static void main(String[] args) {
method();
}
}
method()是一个被synchronized修饰的静态同步方法,同样对这段代码进行反编译后结果如下。
可以看到在反编译结果中,method()方法的flags中出现了一个ACC_SYNCHRONIZED标识。它的意义:当方法被调用时,调用指令将会先检查是否有ACC_SYNCHRONIZED标识,如果有,则线程先获取monitor,获取成功后再执行方法体,方法执行完后再释放monitor,在此期间其他线程无法获取同一个monitor对象。
**总结:**对于同步代码块,在编译前后会被编译器生成monitorenter和monitorexit两个指令;而对于同步方法,在编译后会多出一个ACC_SYNCHRONIZED标识。他们的共同作用是,通过在对象头设置标记达到获取锁和释放
《一线大厂Java面试题解析+后端开发学习笔记+最新架构讲解视频+实战项目源码讲义》
【docs.qq.com/doc/DSmxTbFJ1cmN1R2dB】 完整内容开源分享
锁的目的。
三、对synchronized的优化
JDK1.6以后,Java对synchronized做了很多的优化。
****自旋锁:****线程在阻塞和唤醒之间的切换所要花费的代价非常大。自旋锁是在把线程进行阻塞前先让线程进行自旋等待一段时间,因为很有可能在这段时间其他线程会释放该线程所需要的锁,这样的话该线程就不用再进行阻塞操作,也避免了阻塞和唤醒之间的切换。
****锁消除:****虚拟机编译器在运行时,对于一些代码上要求同步,但经过检测(逃逸分析)发现实际上不可能存在共享数据竞争的情况,于是将锁进行消除。如StringBuffer中的append()方法是被Synchronized修饰过的,但在很多情况下它只会在一个线程中被使用,如果编译器能够确定这个StringBuffer对象只会在一个线程中被使用,就代表这个线程一定是安全的,就会做出一定的优化,把对应的synchronized消除,省去加锁解锁的开销,提高效率。