目录
轻量级锁
轻量级锁的工作流程
轻量级锁的解锁
偏向锁
偏向锁的流程:
偏向锁和轻量级锁机区别:
其他优化
自旋锁和自适应自旋锁
锁消除
锁粗化
轻量级锁
“轻量级” 是相对于使用操作系统互斥量来实现的传统锁而言的,因此传统的锁机制就被称为“重量级”锁,它的设计初衷是在没有多线程竞争的前提下,减少传统的重量级锁使用操作系统互斥量产生的性能消耗。
首先我们要了解JVM(这里值HotSpot JVM) 中对象头的内存布局。JVM 把对象头分为两部分,第一部分是Mark Word,存储了哈希码(HashCode)、GC分代年龄等。另一部分用于存储指向方法区对象数据类型的指针。Mark Word他是实现轻量级锁和偏向锁的关键。
轻量级锁的工作流程
在代码即将进入同步块的时候,如果此同步对象没有被锁定(锁标志位为“01”状态),虚拟机首先在当前线程的栈帧中建立一个名为锁记录(Lock Record)的空间,用于存储锁对象的Mark Word的拷贝。
然后,虚拟机将使用CAS操作尝试把对象的Mark Word更新为指向Lock Record的指针。如果CAS成功,那么表示该线程拥有了这个对象的锁,并且将Mark Word 的锁标志位转变为“00”,表示此对象处于轻量级锁定状态。
如果CAS失败,Mark Word 中已经有了指向锁记录的指针,有两种情况:
一:Mark Word中的指针指向的是当前线程的锁记录,表示发生了轻量级锁重入。这时JVM就会再创建一个锁记录,只不过这个所记录不会记录Mark Word的拷贝,会指向null,表示一次锁重入计数。
二:Mark Word中的指针指向的不是当前线程的锁记录,这时说明发生了锁竞争,那轻量级锁就不再有效,必须要膨胀为重量级锁,锁标志转变为“10”,此时Mark Word 就不再存储锁记录的指针了,而是存储重量级锁互斥量(monitor对象)的指针了。
轻量级锁的解锁
同样是用CAS来实现的,用锁记录中保存的原Mark Word的值来替换(恢复)当前Mark Word中的值。
轻量级锁能提升同步性能的依据是“对于绝大多数的锁,在整个同步周期内都是不存在竞争的”这一经验法则。如果没有竞争,那么轻量级锁就避免了使用互斥量的开销;但如果存在锁竞争,那么除了互斥量的开销外,还额外发生了CAS的开销。因此再有竞争的情况下,轻量级锁反而回避重量级锁更慢。
偏向锁
顾名思义,他的意思是这个锁会偏向与第一个获得他的线程。
偏向锁的流程
若JVM 启用了偏向锁,那么当锁对象第一次被线程获取的时候,JVM 将会把对象头的标志位设为“01”,并把偏向模式设置为“1”,表示进入偏向模式。同时使用CAS把获得这个锁的线程ID记录再Mark Word(Mark Word的hashCode位置)中。如果成功,那么持有偏向锁的线程每次进入的这个锁的同步块的时候,将不再进行任何操作(例如锁重入、解锁、更新Mark Word等)
注意:当一个对象已经计算过一致性哈希码后,那么它就再也无法进入偏向锁状态了;而当一个对象当前正处于偏向锁状态,又收到计算哈希码的请求之后,偏向锁会立即膨胀为重量级锁。因为在重量级锁的ObjectMonitor类中有字段可以记录原来的(非加锁)Mark Word,其中自然可以存储原来的哈希码。
偏向锁和轻量级锁机区别
偏向锁在轻量级锁的基础上进一步提升了性能。轻量级锁在无竞争的情况下对于每次的加锁请求都使用CAS来避免了互斥量的使用,而偏向锁就是在无竞争的情况下连CAS都不用做了(只是在线程第一次获取偏向锁的时候使用了CAS),通过判断Mark Word中的ThreadID是不是当前线程即可,如不是,则进行重偏向即可。
其他优化
自旋锁和自适应自旋锁
使用互斥同步来解决线程安全问题时,其中对性能产生很大影响的就是线程阻塞带来的线程上下文文切换,挂起线程和恢复线程都要转入内核态来完成。所以就有了自旋锁的优化:如果物理机器上有多个处理器或处理器多个核心的话,若当前线程第一次获取锁失败,并不会立马进入阻塞,而是会再尝试获取锁几次,我们会让线程执行一个忙循环(自旋)。自适应自选也就是不固定自旋的时间。
锁消除
锁消除的判断依据主要来源于数据的逃逸分析,如果判断到一段代码中,在堆上的数据都不会逃逸出去被其他线程访问到,那么这些数据就可以当作栈上的数据对待,认为他们是线程私有的,这时就没有必要再加锁了。
锁粗化
我们通常加锁的时候尽量让同步块中的代码尽可能的少,在存在锁竞争的情况下,可以尽快的拿到锁。但锁的粒度过小的话,有可能出现对同一个对象反复加锁和解锁,甚至加锁操作是在循环体中,这样就导致了很大的性能消耗。类似于这种情况,JVM 就会扩展(粗化)锁的范围。
一些看起来没有加锁的代码,其实隐式的加了很多锁:
public static String concatString(String s1, String s2, String s3) {
return s1 + s2 + s3;
}
javap 生成字节码
public static java.lang.String concatString(java.lang.String, java.lang.String, java.lang.String);
descriptor: (Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=3, args_size=3
0: new #2 // class java/lang/StringBuilder
3: dup
4: invokespecial #3 // Method java/lang/StringBuilder."<init>":()V
7: aload_0
8: invokevirtual #4 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
11: aload_1
12: invokevirtual #4 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
15: aload_2
16: invokevirtual #4 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
19: invokevirtual #5 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;
22: areturn
String 是一个不可变的类,编译器会对 String 的拼接自动优化。在 JDK 1.5 之前,转化为 StringBuffer 对象的连续 append() 操作,每个 append() 方法中都有一个同步块。反编译后如下:
public static String concatString(String s1, String s2, String s3) {
StringBuffer sb = new StringBuffer();
sb.append(s1);
sb.append(s2);
sb.append(s3);
return sb.toString();
}
扩展到第一个 append() 操作之前直至最后一个 append() 操作之后,只需要加锁一次就可以。