在一秒钟内看到本质的人和花半辈子也看不清一件事本质的人,自然是不一样的命运。
——马里奥·普佐
每当遇到Java面试,“锁”是个必然会被提到的东西。那么,在面试中,谈“锁”都会谈论些什么呢,诸位看官又是否对“锁”有足够的了解?
本文旨在剖析锁的底层原理,以及锁的应用场景。
同一个对象在A、B两个线程中分别访问该对象的两个同步方法writer和reader,是否会产生互斥?
class LockDemo{ int a = 0; public synchronized void writer(){ sleep(10); a++; } public synchronized void reader(){ int i = a; } public static void main(String[] args){ Test test = new Test(); new Thread(() -> { test.writer(); }).start(); sleep(1); new Thread(() -> { test.reader(); }).start(); } }
答案:会。因为synchronized修饰的是方法,锁是 对象锁
,默认当前的对象作为锁的对象。只有当A释放锁之后,B才会获得对象的锁。
不会互斥,因为锁的是 对象
,而不是 方法
。
会互斥,因为锁的是Class对象。
不会互斥。因为一个是对象锁,一个是Class对象锁,锁的类型不同。
思考几个问题
class LockDemo{ static int a = 0; public synchronized void writer(){ System.out.println("writer方法开始调用"); a++; waitNs(20); System.out.println("writer方法调用结束"); } public static synchronized void reader(){ System.out.println("reader方法开始调用"); int i = a; System.out.println("reader方法调用结束"); } public void writer2(){ synchronized (this) { a--; } } }
使用 javac
和 javap -verbose
命令, 反编译
上述代码
... { static int a; descriptor: I flags: ACC_STATIC public com.fonxian.entity.LockDemo(); descriptor: ()V flags: ACC_PUBLIC Code: stack=1, locals=1, args_size=1 0: aload_0 1: invokespecial #1 // Method java/lang/Object."<init>":()V 4: return LineNumberTable: line 6: 0 //同步方法 public synchronized void writer(); descriptor: ()V flags: ACC_PUBLIC, ACC_SYNCHRONIZED Code: stack=2, locals=1, args_size=1 0: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 3: ldc #3 // String writer方法开始调用 5: invokevirtual #4 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 8: getstatic #5 // Field a:I 11: iconst_1 12: iadd 13: putstatic #5 // Field a:I 16: bipush 20 18: invokestatic #6 // Method waitNs:(I)V 21: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 24: ldc #7 // String writer方法调用结束 26: invokevirtual #4 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 29: return LineNumberTable: line 11: 0 line 12: 8 line 13: 16 line 14: 21 line 15: 29 //静态同步方法 public static synchronized void reader(); descriptor: ()V flags: ACC_PUBLIC, ACC_STATIC, ACC_SYNCHRONIZED Code: stack=2, locals=1, args_size=0 0: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 3: ldc #8 // String reader方法开始调用 5: invokevirtual #4 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 8: getstatic #5 // Field a:I 11: istore_0 12: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream; 15: ldc #9 // String reader方法调用结束 17: invokevirtual #4 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 20: return LineNumberTable: line 18: 0 line 19: 8 line 20: 12 line 21: 20 //同步代码块 public void writer2(); descriptor: ()V flags: ACC_PUBLIC Code: stack=2, locals=3, args_size=1 0: aload_0 1: dup 2: astore_1 3: monitorenter 4: getstatic #5 // Field a:I 7: iconst_1 8: isub 9: putstatic #5 // Field a:I 12: aload_1 13: monitorexit 14: goto 22 17: astore_2 18: aload_1 19: monitorexit 20: aload_2 21: athrow 22: return Exception table: from to target type 4 14 17 any 17 20 17 any LineNumberTable: line 25: 0 line 26: 4 line 27: 12 line 28: 22 StackMapTable: number_of_entries = 2 frame_type = 255 /* full_frame */ offset_delta = 17 locals = [ class com/fonxian/entity/LockDemo, class java/lang/Object ] stack = [ class java/lang/Throwable ] frame_type = 250 /* chop */ offset_delta = 4 static {}; descriptor: ()V flags: ACC_STATIC Code: stack=1, locals=0, args_size=0 0: iconst_0 1: putstatic #5 // Field a:I 4: return LineNumberTable: line 8: 0 } SourceFile: "LockDemo.java"
同步代码块:使用monitorenter和monitorexit指令实现,通过监听器对象去 获得锁
和 释放锁
。
同步方法、静态同步方法:使用修饰符 ACC_SYNCHRONIZED
实现。
JDK1.6之前,synchronized只有传统锁机制。
JDK1.6引入两种新的锁类型:偏向锁和轻量级锁。引入的目的是解决,没有多线程竞争或基本没有竞争的情况下,使用传统锁带来的性能问题。
锁的四种状态:无锁状态、偏向锁状态、轻量级锁状态、重量级锁状态。锁可以升级,不能降级。
要了解锁的机制,首先要了解对象头。
Java对象头中的Mark Word默认存储对象的HashCode、分代年龄和锁标记位。
锁状态 | 25bit | 4bit | 1bit是否是偏向锁 | 2bit锁标志位 |
---|---|---|---|---|
无锁状态 | 对象的hashCode | 对象的分代年龄 | 0 | 01 |
锁状态 | 30bit | 2bit |
---|---|---|
轻量级锁 | 指向栈中锁记录的指针 | 锁标志位00 |
重量级锁 | 指向互斥量的指针 | 锁标志位10 |
锁状态 | 23bit | 3bit | 3bit | 1bit | 2bit |
---|---|---|---|---|---|
偏向锁 | 线程ID | Epoch | 对象分代年龄 | 1 | 01 |