在之前已经将如下这样的源文件对应的字节码文件完整的分析完了,如下:
这次再来写一个内容稍丰富一点的类,准备再来从头至尾的来分析一下,对其字节码的理解进一步巩固,如下:
然后用javap -verbose来查看一下反编译信息:
xiongweideMacBook-Pro:jvm_lectue xiongwei$ cd out/production/classes/
xiongweideMacBook-Pro:classes xiongwei$ javap -verbose com/jvm/bytecode/MyTest2.class
Classfile /Users/xiongwei/Documents/workspace/IntelliJSpace/jvm_lectue/out/production/classes/com/jvm/bytecode/MyTest2.classLast modified Sep 11, 2018; size 831 bytesMD5 checksum 22c52151c374d39068e39938d1b3e72cCompiled from "MyTest2.java"
public class com.jvm.bytecode.MyTest2minor version: 0major version: 52flags: ACC_PUBLIC, ACC_SUPER
Constant pool:#1 = Methodref #10.#34 // java/lang/Object."
{java.lang.String str;descriptor: Ljava/lang/String;flags:public static java.lang.Integer in;descriptor: Ljava/lang/Integer;flags: ACC_PUBLIC, ACC_STATICpublic com.jvm.bytecode.MyTest2();descriptor: ()Vflags: ACC_PUBLICCode:stack=2, locals=1, args_size=10: aload_01: invokespecial #1 // Method java/lang/Object."
}
SourceFile: "MyTest2.java"
由于这次的类中声明有静态变量,所以标红处多了一个static块,下面将“-verbose”参数去掉可以看到一个更精简的信息,如下:
其中注意此时有一个setX()方法的,那如果将setX()方法访问修饰符由“public”改为"private",看会发生啥:
为啥呢?其实并非私有的方法在字节码信息中就不存在了,而是用javap命令需要再加一个参数才能看到私有的方法,如下:
由于此篇讨论的话题是关于synchronized关键字在字节码中的含义,所以接下来咱们给setX()方法加一个同步锁然后再来分析其字节码,在加之前先来看下不带synchronized所对应字节码的信息,如下:
接下来给方法加上synchronized,如下:
然后看一下此时对应的字节码会发生啥变化:
貌似网上有很多资料看到对于同步方法在字节码中表现通常会有“moniterenter”和“moniterexit”,但是为啥咱们自己通过javap -verbose查看不到呢?因为修饰的是实例方法,也就是给当前对象上锁,表现则是在方法说明之上而非代码中,如果改为修饰方法中的代码的话则就会可以看到啦,如下:
当然上面的这个是对参数str进行上锁,实际没啥意义,因为str是一个可变的值,正常的做法应该是对一个不可变的对象进行上锁,这里只是为了说明问题,下面再来看一下字节码信息:
private void test(java.lang.String);descriptor: (Ljava/lang/String;)Vflags: ACC_PRIVATECode:stack=3, locals=4, args_size=20: aload_11: dup2: astore_23: monitorenter4: getstatic #10 // Field java/lang/System.out:Ljava/io/PrintStream;7: ldc #11 // String hello world~9: iconst_010: anewarray #12 // class java/lang/Object13: invokevirtual #13 // Method java/io/PrintStream.printf:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/io/PrintStream;16: pop17: aload_218: monitorexit19: goto 2722: astore_323: aload_224: monitorexit25: aload_326: athrow27: returnException table:from to target type4 19 22 any22 25 22 anyLineNumberTable:line 23: 0line 24: 4line 25: 17line 26: 27LocalVariableTable:Start Length Slot Name Signature0 28 0 this Lcom/jvm/bytecode/MyTest2;0 28 1 str Ljava/lang/String;StackMapTable: number_of_entries = 2frame_type = 255 /* full_frame */offset_delta = 22locals = [ class com/jvm/bytecode/MyTest2, class java/lang/String, class java/lang/Object ]stack = [ class java/lang/Throwable ]frame_type = 250 /* chop */offset_delta = 4
确实是看到了monitorenter,monitorexit了,其加了同步锁在字节码的流程可以大致分析一下:
另外synchronized还可以修饰静态方法,下面写一个:
很显然它锁的是整个class对象,下面也来看一下它对应的字节码信息:
由于synchronized修饰的是方法,而非它里面的代码,所以在javap中只看到了方法签名上有同步信息。
关于同步锁需要了解一下如下概念:重入锁:所谓重入锁就是说同一个线程可以访问多个同步方法,比如说:
访问一次同步方法其引用计数就加1,像上面的引用计数就会变为2,而当setB()执行完之后,则引用计数就会减为1,再setX()执行完则引用计数会减为0。
非重入锁:是指多个线程而言的,比如一个线程访问了一个同步方法,另一个线程再访问同一个对象的该方法则会阻塞。