synchronized修饰的同步代码块是通过在代码块前后加入moniterenter和moniterout两条字节码指令实现。当执行moniterenter,获取该对象的moniter使用权,当执行moniterout释放该对象的moniter使用权。
同步方法是通过Class文件的方法表中将该方法的的access_flags字段中的synchronized标识为1,同时将调用该方法的对象或者该类在vm中的Class对象作为锁对象实现。
从jdk1.6开始对synchronized进行了一系列的优化,锁消除,锁粗化,以及偏向锁->轻量级锁->短暂自旋(自适应自旋)->重量级锁 升级来减少锁的开销。
锁消除,jit编译器在编译阶段会把不存在线程安全的锁消除。
+DoEscapeAnalysis表示开启逃逸分析,+EliminateLocks表示锁消除
逃逸分析:比如StringBuffer作为局部变量时,它要看stringbuffer是否可能逃出它的作用域?如果将stringbuffer作为方法的返回值进行返回,那么它在方法外部可能被当作一个全局对象使用,就有可能发生线程安全问题,这时就可以说stringbuffer这个对象发生逃逸了,因而不应将append操作的锁消除;锁消除就可以带来一定的性能提升。
public String concatString(String s1, String s2, String s3) {
return s1 + s2 + s3;
}
在JDK 1.5之前,会转化为StringBuffer对象的连续append()操作,在JDK 1.5及以后的版本中,会转化为StringBuilder对象的连续append()操作
锁粗化将一系列对同一对象加锁解锁的代码块将锁移至最外层。
偏向锁适用于不存在锁竞争的场景
轻量级锁适用于线程交替执行同步代码的场景,当存在同一时间竞争通一把锁时就会升级为重量级锁
自旋锁通过CAS指令尝试获取锁(自适应是根据上一次自旋成功为参考)进行短时间的CAS自旋,成功则获取锁,失败则升级为重量级锁
首先清除对象在对内存中的结构,对象在内存中分为三部分:对象头,实例数据,填充数据。对象头中包含mark word和类型指针kclass(JVM通过类型指针来确定该对象是哪个类的对象)数组类型对象头多一个记录数组长度。mark word主要存储hashcode(哈希码),GC分代年龄,threadId(线程id),锁状态等
偏向锁偏向于第一个获得锁的线程,通过CAS指令将对象头中的mark word 中的ThreadId 更新为当前线程id,同时锁状态更新为01,偏向标识置为1.当有线程竞争锁时如果当前线程id与mark word 中的 threadId相同则直接进入同步代码。否则偏向锁结束,当持锁线程进入safepoint(全局安全点)时,持锁线程挂起,根据持锁线程的执行情况,将锁置为无锁状态或者轻量级锁状态。
轻量级锁,首先判断当前对象是否处于无锁状态,是则在栈帧中创建 lock record (锁记录)空间,用于存储对象头中mark word的拷贝,通过CAS指令将mark word 更新为指向该锁记录的指针,同时锁记录的owner指针会指向mark word,操作成功获得该对象的轻量级锁,同时更新锁状态为00,失败会检查mark word 是否指向该锁记录,不会马上膨胀为重量级锁,会进行短暂的CAS自旋,如果还是不能获得锁,则膨胀为重量级锁,更新锁状态为10,后续线程进入阻塞等待唤醒