synchronized底层原理
1.synchronized能修饰什么
1.synchronized修饰实例方法(锁当前对象),静态方法(锁当前类),和同步代码块(锁指定对象/类)。
synchronized修饰方法,分为静态方法和实例方法,此时获取的锁前者为当前class的锁,后者为对象的锁。
2.如何获取synchronized修饰的对象的锁。(.Class文件——>ObjectMonitor对象)
2.1 被synchronized修饰的.Class文件解析
通过获取被synchronized修饰的代码中字节码文件(.class文件)如下图
public class SynchronizedDemo {
public void method() {
synchronized (this) {
System.out.println(“synchronized 代码块”);
}
}
}
可以看到monitorenter
指令和 monitorexit
指令。
monitorenter指令就是获取对象的监视器**monitor
** 。
每个对象都有对象头,每个对象中都内置了一个 ObjectMonitor
对象(monitor
在HotSpot中的具体实现)。
2.2 ObjectMonitor对象的重要属性。
2.3 ObjectMonitor对象如何实现监视器。
ObjectMonitor中有两个队列,_WaitSet 和 _EntryList,用来保存ObjectWaiter对象列表( 每个等待锁的线程都会被封装成ObjectWaiter对象),_owner指向持有ObjectMonitor对象的线程,当多个线程同时访问一段同步代码时,首先会进入 _EntryList 集合,当线程获取到对象的monitor 后进入 _Owner 区域并把monitor中的owner变量设置为当前线程同时monitor中的计数器count加1,若线程调用 wait() 方法,将释放当前持有的monitor,owner变量恢复为null,count自减1,同时该线程进入 WaitSe t集合中等待被唤醒。若当前线程执行完毕也将释放monitor(锁)并复位变量的值,以便其他线程进入获取monitor(锁)
具体流程如下图所示: