深入理解JVM之 09——JVM 指令详解

引言:

java虚拟机(java运行时的环境),通过JDK中的编译程序(javac)将java文件编译成.class字节码文件,在JRE上运行这些JAVA字节码,JVM解析这些字节码,映射到CPU指令集或OS的系统调用。

JVM指令由一个字节长度的,代表着某种特定操作含义的数字(操作码)以及跟随其后若干个代表此操作所需参数(操作数)而构成,大多数没有操作数;
操作码的长度为1个字节. 所以指令集的操作码总数不超过256条
指令助记符是为了方便阅读指令而语义化的一些符号
比如00000001的指令的助记符为iload;

对于深入理解jvm,jvm指令是一个绕不开的话题,我们可以通过以下方式简单获取jvm在执行项目代码时候使用的jvm指令。

1、在项目的编译包target中首先选中一个.java代码文件

2、右键点击该文件,点击Open in Terminal

输入javap -c +该java文件的class字节码文件

若要获取更加详细的信息,可使用javap -v 

当然也可以使获取到的内容输入到一个txt文件中,便于查看

打开生成的txt文本,全部内容如下

Compiled from "ECooperateMerController.java"
public class com.cloud.web.web.ECooperateMerController extends com.cloud.web.web.DefaultController {
  public static final org.slf4j.Logger logger;

  public com.cloud.web.web.ECooperateMerController();
    Code:
       0: aload_0
       1: invokespecial #2                  // Method com/cloud/web/web/DefaultController."<init>":()V
       4: return

  public com.cloud.commons.response.Result queryECooperateMerInfo(com.cloud.commons.dto.ECooperateMer);
    Code:
       0: new           #3                  // class com/cloud/commons/response/Result
       3: dup
       4: invokespecial #4                  // Method com/cloud/commons/response/Result."<init>":()V
       7: astore_2
       8: new           #5                  // class java/util/HashMap
      11: dup
      12: iconst_4
      13: invokespecial #6                  // Method java/util/HashMap."<init>":(I)V
      16: astore_3
      17: aload_0
      18: getfield      #1                  // Field eCooperateMerService:Lcom/cloud/commons/service/ECooperateMerService;
      21: aload_1
      22: invokeinterface #7,  2            // InterfaceMethod com/cloud/commons/service/ECooperateMerService.queryECooperateMerInfo:(Lcom/cloud/commons/dto/ECooperateMer;)Lcom/cloud/commons/dto/ECooperateMer;
      27: invokestatic  #8                  // Method java/util/Optional.ofNullable:(Ljava/lang/Object;)Ljava/util/Optional;
      30: astore        4
      32: aload         4
      34: invokevirtual #9                  // Method java/util/Optional.isPresent:()Z
      37: ifeq          67
      40: aload_3
      41: ldc           #10                 // String eCooperateMer
      43: aload         4
      45: invokevirtual #11                 // Method java/util/Optional.get:()Ljava/lang/Object;
      48: invokeinterface #12,  3           // InterfaceMethod java/util/Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
      53: pop
      54: aload_2
      55: aload_3
      56: invokevirtual #13                 // Method com/cloud/commons/response/Result.setResultData:(Ljava/lang/Object;)V
      59: aload_2
      60: ldc           #15                 // String 1
      62: invokevirtual #16                 // Method com/cloud/commons/response/Result.setResultCode:(Ljava/lang/String;)V
      65: aload_2
      66: areturn
      67: new           #17                 // class java/lang/Exception
      70: dup
      71: ldc           #18                 // String 该eCooperateMer不存在
      73: invokespecial #19                 // Method java/lang/Exception."<init>":(Ljava/lang/String;)V
      76: athrow
      77: astore        4
      79: getstatic     #20                 // Field logger:Lorg/slf4j/Logger;
      82: ldc           #21                 // String 系统异常
      84: aload         4
      86: invokeinterface #22,  3           // InterfaceMethod org/slf4j/Logger.error:(Ljava/lang/String;Ljava/lang/Throwable;)V
      91: aload_2
      92: ldc           #23                 // String 0
      94: invokevirtual #16                 // Method com/cloud/commons/response/Result.setResultCode:(Ljava/lang/String;)V
      97: aload_2
      98: ldc           #21                 // String 系统异常
     100: invokevirtual #24                 // Method com/cloud/commons/response/Result.setResultMessage:(Ljava/lang/String;)V
     103: aload_2
     104: areturn
    Exception table:
       from    to  target type
          17    66    77   Class java/lang/Exception
          67    77    77   Class java/lang/Exception

  public com.cloud.commons.response.Result queryECooperateMerListPage(com.cloud.commons.dto.ECooperateMer) throws java.lang.InterruptedException;
    Code:
       0: new           #3                  // class com/cloud/commons/response/Result
       3: dup
       4: invokespecial #4                  // Method com/cloud/commons/response/Result."<init>":()V
       7: astore_2
       8: new           #5                  // class java/util/HashMap
      11: dup
      12: iconst_4
      13: invokespecial #6                  // Method java/util/HashMap."<init>":(I)V
      16: astore_3
      17: new           #25                 // class com/cloud/web/web/ECooperateMerController$1
      20: dup
      21: aload_0
      22: aload_1
      23: invokespecial #26                 // Method com/cloud/web/web/ECooperateMerController$1."<init>":(Lcom/cloud/web/web/ECooperateMerController;Lcom/cloud/commons/dto/ECooperateMer;)V
      26: astore        4
      28: bipush        25
      30: invokestatic  #27                 // Method java/util/concurrent/Executors.newFixedThreadPool:(I)Ljava/util/concurrent/ExecutorService;
      33: astore        5
      35: iconst_0
      36: istore        6
      38: iload         6
      40: getstatic     #28                 // Field com/cloud/commons/constants/Constants.NUMBER_100:Ljava/lang/Integer;
      43: invokevirtual #29                 // Method java/lang/Integer.intValue:()I
      46: if_icmpge     65
      49: aload         5
      51: aload         4
      53: invokeinterface #30,  2           // InterfaceMethod java/util/concurrent/ExecutorService.submit:(Ljava/lang/Runnable;)Ljava/util/concurrent/Future;
      58: pop
      59: iinc          6, 1
      62: goto          38
      65: aload_0
      66: getfield      #1                  // Field eCooperateMerService:Lcom/cloud/commons/service/ECooperateMerService;
      69: aload_1
      70: invokeinterface #31,  2           // InterfaceMethod com/cloud/commons/service/ECooperateMerService.queryECooperateMerListPage:(Lcom/cloud/commons/dto/ECooperateMer;)Lcom/cloud/commons/response/QueryECooperateMerResponse;
      75: astore        6
      77: aload_3
      78: ldc           #32                 // String eCooperateMerList
      80: aload         6
      82: invokevirtual #33                 // Method com/cloud/commons/response/QueryECooperateMerResponse.geteCooperateMerList:()Ljava/util/List;
      85: invokeinterface #12,  3           // InterfaceMethod java/util/Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
      90: pop
      91: aload_2
      92: ldc           #15                 // String 1
      94: invokevirtual #16                 // Method com/cloud/commons/response/Result.setResultCode:(Ljava/lang/String;)V
      97: aload_2
      98: aload_3
      99: invokevirtual #13                 // Method com/cloud/commons/response/Result.setResultData:(Ljava/lang/Object;)V
     102: goto          131
     105: astore        4
     107: getstatic     #20                 // Field logger:Lorg/slf4j/Logger;
     110: ldc           #21                 // String 系统异常
     112: aload         4
     114: invokeinterface #22,  3           // InterfaceMethod org/slf4j/Logger.error:(Ljava/lang/String;Ljava/lang/Throwable;)V
     119: aload_2
     120: ldc           #23                 // String 0
     122: invokevirtual #16                 // Method com/cloud/commons/response/Result.setResultCode:(Ljava/lang/String;)V
     125: aload_2
     126: ldc           #21                 // String 系统异常
     128: invokevirtual #24                 // Method com/cloud/commons/response/Result.setResultMessage:(Ljava/lang/String;)V
     131: aload_2
     132: areturn
    Exception table:
       from    to  target type
          17   102   105   Class java/lang/Exception

  public java.lang.String testError() throws java.lang.Exception;
    Code:
       0: new           #17                 // class java/lang/Exception
       3: dup
       4: ldc           #34                 // String occur error
       6: invokespecial #19                 // Method java/lang/Exception."<init>":(Ljava/lang/String;)V
       9: athrow

  static com.cloud.commons.service.ECooperateMerService access$000(com.cloud.web.web.ECooperateMerController);
    Code:
       0: aload_0
       1: getfield      #1                  // Field eCooperateMerService:Lcom/cloud/commons/service/ECooperateMerService;
       4: areturn

  static {};
    Code:
       0: ldc           #35                 // class com/cloud/web/web/ECooperateMerController
       2: invokestatic  #36                 // Method org/slf4j/LoggerFactory.getLogger:(Ljava/lang/Class;)Lorg/slf4j/Logger;
       5: putstatic     #20                 // Field logger:Lorg/slf4j/Logger;
       8: return
}

可以看出里面都是jvm执行代码时使用的指令、具体详细指令的意义请参考下面jvm指令自行查看,进而可明白java源代码执行的过程中jvm做了那些事情。

JVM指令

一、未归类系列A

此系列暂未归类。

指令码    助记符                            说明

0x00         nop                                什么都不做

0x01        aconst_null                   将null推送至栈顶

二、const系列

该系列命令主要负责把简单的数值类型送到栈顶。该系列命令不带参数。注意只把简单的数值类型送到栈顶时,才使用如下的命令。

比如对应int型才该方式只能把-1,0,1,2,3,4,5(分别采用iconst_m1,iconst_0, iconst_1, iconst_2, iconst_3, iconst_4, iconst_5)

送到栈顶。对于int型,其他的数值请使用push系列命令(比如bipush)。

指令码    助记符                            说明

0x02         iconst_m1                   将int型(-1)推送至栈顶

0x03         iconst_0                      将int型(0)推送至栈顶

0x04         iconst_1                      将int型(1)推送至栈顶

0x05         iconst_2                      将int型(2)推送至栈顶

0x06         iconst_3                      将int型(3)推送至栈顶

0x07         iconst_4                      将int型(4)推送至栈顶

0x08         iconst_5                      将int型(5)推送至栈顶

0x09         lconst_0                      将long型(0)推送至栈顶

0x0a         lconst_1                      将long型(1)推送至栈顶

0x0b         fconst_0                      将float型(0)推送至栈顶

0x0c         fconst_1                      将float型(1)推送至栈顶

0x0d         fconst_2                      将float型(2)推送至栈顶

0x0e         dconst_0                     将double型(0)推送至栈顶

0x0f          dconst_1                     将double型(1)推送至栈顶

三、push系列

该系列命令负责把一个整形数字(长度比较小)送到到栈顶。该系列命令有一个参数,用于指定要送到栈顶的数字。

注意该系列命令只能操作一定范围内的整形数值,超出该范围的使用将使用ldc命令系列。

指令码    助记符                            说明

0x10          bipush    将单字节的常量值(-128~127)推送至栈顶

0x11           sipush    将一个短整型常量值(-32768~32767)推送至栈顶

四、ldc系列

该系列命令负责把数值常量或String常量值从常量池中推送至栈顶。该命令后面需要给一个表示常量在常量池中位置(编号)的参数,

哪些常量是放在常量池呢?比如:final static int id=32768;final static float double=6.5。

对于const系列命令和push系列命令操作范围之外的数值类型常量,都放在常量池中.

另外,所有不是通过new创建的String都是放在常量池中的。

指令码    助记符                               说明

0x12            ldc                 将int, float或String型常量值从常量池中推送至栈顶

0x13          ldc_w               将int, float或String型常量值从常量池中推送至栈顶(宽索引)

0x14          ldc2_w             将long或double型常量值从常量池中推送至栈顶(宽索引)

五、load系列

5.1、load系列A

该系列命令负责把本地变量的送到栈顶。这里的本地变量不仅可以是数值类型,还可以是引用类型。

对于前四个本地变量可以采用iload_0,iload_1,iload_2,iload_3(它们分别表示第0,1,2,3个整形变量)这种不到参数的简化命令形式。

对于第4以上的本地变量将使用iload命令这种形式,在它后面给一参数,以表示是对第几个(从0开始)本类型的本地变量进行操作。

对本地变量所进行的编号,是对所有类型的本地变量进行的(并不按照类型分类)。

对于非静态函数,第一变量是this,即其对于的操作是aload_0.

还有函数传入参数也算本地变量,在进行编号时,它是先于函数体的本地变量的。

指令码    助记符                                        说明

0x15          iload                          将指定的int型本地变量推送至栈顶

0x16          lload                          将指定的long型本地变量推送至栈顶

0x17          fload                          将指定的float型本地变量推送至栈顶

0x18          dload                         将指定的double型本地变量推送至栈顶

0x19          aload                         将指定的引用类型本地变量推送至栈顶

0x1a          iload_0                      将第一个int型本地变量推送至栈顶

0x1b          iload_1                      将第二个int型本地变量推送至栈顶

0x1c          iload_2                      将第三个int型本地变量推送至栈顶

0x1d          iload_3                      将第四个int型本地变量推送至栈顶

0x1e          lload_0                      将第一个long型本地变量推送至栈顶

0x1f           lload_1                      将第二个long型本地变量推送至栈顶

0x20          lload_2                      将第三个long型本地变量推送至栈顶

0x21          lload_3                      将第四个long型本地变量推送至栈顶

0x22          fload_0                     将第一个float型本地变量推送至栈顶

0x23          fload_1                     将第二个float型本地变量推送至栈顶

0x24          fload_2                     将第三个float型本地变量推送至栈顶

0x25          fload_3                     将第四个float型本地变量推送至栈顶

0x26         dload_0                     将第一个double型本地变量推送至栈顶

0x27         dload_1                     将第二个double型本地变量推送至栈顶

0x28         dload_2                     将第三个double型本地变量推送至栈顶

0x29         dload_3                     将第四个double型本地变量推送至栈顶

0x2a         aload_0                     将第一个引用类型本地变量推送至栈顶

0x2b         aload_1                     将第二个引用类型本地变量推送至栈顶

0x2c         aload_2                     将第三个引用类型本地变量推送至栈顶

0x2d         aload_3                     将第四个引用类型本地变量推送至栈顶

5.2、load系列B

该系列命令负责把数组的某项送到栈顶。该命令根据栈里内容来确定对哪个数组的哪项进行操作。

比如,如果有成员变量:final String names[]={"robin","hb"};

那么这句话:String str=names[0];对应的指令为

   17: aload_0                                                            //将this引用推送至栈顶,即压入栈。

   18: getfield #5; //Field names:[Ljava/lang/String;//将栈顶的指定的对象的第5个实例域(Field)的值(这个值可能是引用,这里就是引用)压入栈顶

   21: iconst_0                                                            //数组的索引值(下标)推至栈顶,即压入栈

   22: aaload                                                              //根据栈里内容来把name数组的第一项的值推至栈顶

   23: astore 5                                                       //把栈顶的值存到str变量里。因为str在我的程序中是其所在非静态函数的第5个变量(从0开始计数),

指令码    助记符                               说明

0x2e         iaload                     将int型数组指定索引的值推送至栈顶

0x2f          laload                     将long型数组指定索引的值推送至栈顶

0x30         faload                     将float型数组指定索引的值推送至栈顶

0x31        daload                     将double型数组指定索引的值推送至栈顶

0x32        aaload                     将引用型数组指定索引的值推送至栈顶

0x33        baload                     将boolean或byte型数组指定索引的值推送至栈顶

0x34        caload                     将char型数组指定索引的值推送至栈顶

0x35        saload                     将short型数组指定索引的值推送至栈顶

六、store系列

6.1、store系列A

该系列命令负责把栈顶的值存入本地变量。这里的本地变量不仅可以是数值类型,还可以是引用类型。

如果是把栈顶的值存入到前四个本地变量的话,采用的是istore_0,istore_1,istore_2,istore_3(它们分别表示第0,1,2,3个本地整形变量)这种不到参数的简化命令形式。如果是把栈顶的值存入到第四个以上本地变量的话,将使用istore命令这种形式,在它后面给一参数,以表示是把栈顶的值存入到第几个(从0开始)本地变量中。

对本地变量所进行的编号,是对所有类型的本地变量进行的(并不按照类型分类)。

对于非静态函数,第一变量是this,它是只读的.

还有函数传入参数也算本地变量,在进行编号时,它是先于函数体的本地变量的。

指令码    助记符                               说明

0x36         istore                    将栈顶int型数值存入指定本地变量

0x37         lstore                    将栈顶long型数值存入指定本地变量

0x38         fstore                    将栈顶float型数值存入指定本地变量

0x39         dstore                   将栈顶double型数值存入指定本地变量

0x3a         astore                   将栈顶引用型数值存入指定本地变量

0x3b         istore_0                将栈顶int型数值存入第一个本地变量

0x3c         istore_1                将栈顶int型数值存入第二个本地变量

0x3d         istore_2                将栈顶int型数值存入第三个本地变量

0x3e         istore_3                将栈顶int型数值存入第四个本地变量

0x3f          lstore_0                将栈顶long型数值存入第一个本地变量

0x40         lstore_1                将栈顶long型数值存入第二个本地变量

0x41         lstore_2                将栈顶long型数值存入第三个本地变量

0x42         lstore_3                将栈顶long型数值存入第四个本地变量

0x43         fstore_0                将栈顶float型数值存入第一个本地变量

0x44         fstore_1                将栈顶float型数值存入第二个本地变量

0x45         fstore_2                将栈顶float型数值存入第三个本地变量

0x46         fstore_3                将栈顶float型数值存入第四个本地变量

0x47         dstore_0               将栈顶double型数值存入第一个本地变量

0x48         dstore_1               将栈顶double型数值存入第二个本地变量

0x49         dstore_2               将栈顶double型数值存入第三个本地变量

0x4a         dstore_3               将栈顶double型数值存入第四个本地变量

0x4b         astore_0               将栈顶引用型数值存入第一个本地变量

0x4c         astore_1               将栈顶引用型数值存入第二个本地变量

0x4d        astore_2                将栈顶引用型数值存入第三个本地变量

0x4e        astore_3                将栈顶引用型数值存入第四个本地变量

6.2、store系列B

该系列命令负责把栈顶项的值存到数组里。该命令根据栈里内容来确定对哪个数组的哪项进行操作。

比如,如下代码:

int moneys[]=new int[5];

moneys[1]=100;

其对应的指令为:

   49: iconst_5

   50: newarray int

   52: astore 11

   54: aload 11

   56: iconst_1

   57: bipush 100

   59: iastore

   60: lload 6       //因为str在我的程序中是其所非静态在函数的第6个变量(从0开始计数).

指令码    助记符                                   说明

0x4f         iastore               将栈顶int型数值存入指定数组的指定索引位置

0x50        lastore               将栈顶long型数值存入指定数组的指定索引位置

0x51        fastore               将栈顶float型数值存入指定数组的指定索引位置

0x52        dastore              将栈顶double型数值存入指定数组的指定索引位置

0x53        aastore              将栈顶引用型数值存入指定数组的指定索引位置

0x54        bastore              将栈顶boolean或byte型数值存入指定数组的指定索引位置

0x55        castore              将栈顶char型数值存入指定数组的指定索引位置

0x56        sastore              将栈顶short型数值存入指定数组的指定索引位置

七、pop系列

该系列命令似乎只是简单对栈顶进行操作,更多详情待补充。

指令码     助记符                                   说明

0x57            pop           将栈顶数值弹出 (数值不能是long或double类型的)

0x58            pop2         将栈顶的一个(long或double类型的)或两个数值弹出(其它)

0x59            dup           复制栈顶数值(数值不能是long或double类型的)并将复制值压入栈顶

0x5a            dup_x1     复制栈顶数值(数值不能是long或double类型的)并将两个复制值压入栈顶

0x5b            dup_x2     复制栈顶数值(数值不能是long或double类型的)并将三个(或两个)复制值压入栈顶

0x5c            dup2         复制栈顶一个(long或double类型的)或两个(其它)数值并将复制值压入栈顶

0x5d            dup2_x1    复制栈顶数值(long或double类型的)并将两个复制值压入栈顶

0x5e            dup2_x2     复制栈顶数值(long或double类型的)并将三个(或两个)复制值压入栈顶

八、栈顶元素数学操作及移位操作系列

该系列命令用于对栈顶元素行数学操作,和对数值进行移位操作。移位操作的操作数和要移位的数都是从栈里取得。

比如对于代码:int k=100;k=k>>1;其对应的JVM指令为:

   60: bipush 100

   62: istore 12//因为k在我的程序中是其所在非静态函数的第12个变量(从0开始计数).

   64: iload 12

   66: iconst_1

   67: ishr

   68: istore 12

指令码     助记符                                        说明

0x5f             swap               将栈最顶端的两个数值互换(数值不能是long或double类型的)

0x60            iadd                将栈顶两int型数值相加并将结果压入栈顶

0x61            ladd                将栈顶两long型数值相加并将结果压入栈顶

0x62            fadd               将栈顶两float型数值相加并将结果压入栈顶

0x63            dadd              将栈顶两double型数值相加并将结果压入栈顶

0x64            isub               将栈顶两int型数值相减并将结果压入栈顶

0x65            lsub              将栈顶两long型数值相减并将结果压入栈顶

0x66            fsub              将栈顶两float型数值相减并将结果压入栈顶

0x67            dsub             将栈顶两double型数值相减并将结果压入栈顶

0x68            imul              将栈顶两int型数值相乘并将结果压入栈顶

0x69            lmul              将栈顶两long型数值相乘并将结果压入栈顶

0x6a            fmul              将栈顶两float型数值相乘并将结果压入栈顶

0x6b            dmul             将栈顶两double型数值相乘并将结果压入栈顶

0x6c            idiv               将栈顶两int型数值相除并将结果压入栈顶

0x6d            ldiv               将栈顶两long型数值相除并将结果压入栈顶

0x6e            fdiv               将栈顶两float型数值相除并将结果压入栈顶

0x6f            ddiv               将栈顶两double型数值相除并将结果压入栈顶

0x70           irem               将栈顶两int型数值作取模运算并将结果压入栈顶

0x71           lrem               将栈顶两long型数值作取模运算并将结果压入栈顶

0x72           frem               将栈顶两float型数值作取模运算并将结果压入栈顶

0x73           drem              将栈顶两double型数值作取模运算并将结果压入栈顶

0x74            ineg              将栈顶int型数值取负并将结果压入栈顶

0x75            lneg              将栈顶long型数值取负并将结果压入栈顶

0x76           fneg              将栈顶float型数值取负并将结果压入栈顶

0x77           dneg             将栈顶double型数值取负并将结果压入栈顶

0x78            ishl               将int型数值左移位指定位数并将结果压入栈顶

0x79            lshl               将long型数值左移位指定位数并将结果压入栈顶

0x7a            ishr               将int型数值右(符号)移位指定位数并将结果压入栈顶

0x7b            lshr               将long型数值右(符号)移位指定位数并将结果压入栈顶

0x7c            iushr             将int型数值右(无符号)移位指定位数并将结果压入栈顶

0x7d           lushr              将long型数值右(无符号)移位指定位数并将结果压入栈顶

0x7e           iand               将栈顶两int型数值作“按位与”并将结果压入栈顶

0x7f            land               将栈顶两long型数值作“按位与”并将结果压入栈顶

0x80            ior                 将栈顶两int型数值作“按位或”并将结果压入栈顶

0x81            lor                 将栈顶两long型数值作“按位或”并将结果压入栈顶

0x82            ixor               将栈顶两int型数值作“按位异或”并将结果压入栈顶

0x83            lxor               将栈顶两long型数值作“按位异或”并将结果压入栈顶

九、自增减指令

该指令用于对本地(局部)变量进行自增减操作。该指令第一参数为本地变量的编号,第二个参数为自增减的数量。

比如对于代码:

int d=10;

d++;

d+=2;

d--;

其指令为:

   2:  bipush 10

   4:  istore_2//在我的程序中是其所在非静态函数的第2个变量(从0开始计数).

   5:  iinc 2, 1//在我的程序中是其所在非静态函数的第2个变量(从0开始计数).

   8:  iinc 2, 2

   11: iinc 2, -1

对本地变量所进行的编号,是对所有类型的本地变量进行的(并不按照类型分类)。

对于非静态函数,第一变量是this,它是只读的.还有函数传入参数也算本地变量,在进行编号时,它是先于函数体的本地变量的。

指令码         助记符                                            说明

0x84                  iinc                将指定int型变量增加指定值(i++, i--, i+=2)

十、类型转化系列

该系列指令负责对栈顶数值类型进行类型转化,并把结果压入栈顶。

指令码         助记符                                           说明

0x85                 i2l                      将栈顶int型数值强制转换成long型数值并将结果压入栈顶

0x86                 i2f                      将栈顶int型数值强制转换成float型数值并将结果压入栈顶

0x87                 i2d                     将栈顶int型数值强制转换成double型数值并将结果压入栈顶

0x88                 l2i                      将栈顶long型数值强制转换成int型数值并将结果压入栈顶

0x89                 l2f                      将栈顶long型数值强制转换成float型数值并将结果压入栈顶

0x8a                 l2d                     将栈顶long型数值强制转换成double型数值并将结果压入栈顶

0x8b                 f2i                      将栈顶float型数值强制转换成int型数值并将结果压入栈顶

0x8c                 f2l                      将栈顶float型数值强制转换成long型数值并将结果压入栈顶

0x8d                 f2d                     将栈顶float型数值强制转换成double型数值并将结果压入栈顶

0x8e                 d2i                     将栈顶double型数值强制转换成int型数值并将结果压入栈顶

0x8f                  d2l                     将栈顶double型数值强制转换成long型数值并将结果压入栈顶

0x90                 d2f                     将栈顶double型数值强制转换成float型数值并将结果压入栈顶

0x91                 i2b                     将栈顶int型数值强制转换成byte型数值并将结果压入栈顶

0x92                 i2c                     将栈顶int型数值强制转换成char型数值并将结果压入栈顶

0x93                 i2s                     将栈顶int型数值强制转换成short型数值并将结果压入栈顶

十一、比较指令系列A

该系列指令用于对栈顶非int型元素进行比较,并把结果压入栈顶。

比如,代码:

void test()

{

long a=11;

long b=10;

boolean result=(a>b);

}

其指令为:

void test();

  Code:

   0: ldc2_w #16; //long 11l

   3: lstore_1

   4: ldc2_w #18; //long 10l

   7: lstore_3

   8: lload_1

   9: lload_3

   10: lcmp

   11: ifle 18

   14: iconst_1

   15: goto 19

   18: iconst_0

   19: istore 5

   21: return

指令码         助记符                                           说明

0x94                 lcmp            比较栈顶两long型数值大小,并将结果(1,0,-1)压入栈顶

0x95                 fcmpl           比较栈顶两float型数值大小,并将结果(1,0,-1)压入栈顶;当其中一个数值为NaN时,将-1压入栈顶

0x96                 fcmpg         比较栈顶两float型数值大小,并将结果(1,0,-1)压入栈顶;当其中一个数值为NaN时,将1压入栈顶

0x97                 dcmpl      比较栈顶两double型数值大小,并将结果(1,0,-1)压入栈顶;当其中一个数值为NaN时,将-1压入栈顶

0x98                 dcmpg       比较栈顶两double型数值大小,并将结果(1,0,-1)压入栈顶;当其中一个数值为NaN时,将1压入栈顶

十二、有条件跳转指令系列A

该系列指令用于对栈顶int型元素进行比较,根据结果进行跳转。第一个参数为要跳转到的代码的地址(这里的地址是指其指令在函数内是第几个指令)。注意对于boolean型,其实是把它当做int型来处理的。另外对于引用比较使用的时,其实是对存储的对象的地址进行比较。

比如代码:

void test()

{

int a=11;

int b=10;

boolean result=(a>b);

if(result)

a+=2;

if(!result)

a+=2;

if(a>0)

a--;

}

其对应的指令为:

void test();

  Code:

   0: bipush 11

   2: istore_1

   3: bipush 10

   5: istore_2

   6: iload_1

   7: iload_2

   8: if_icmple 15//如果比较结果小于0,就跳到第15个指令继续执行

   11: iconst_1

   12: goto 16

   15: iconst_0

   16: istore_3

   17: iload_3

   18: ifeq 24//如果结果为0时(即为false),就跳转到第24个指令继续执行

   21: iinc 1, 2

   24: iload_3

   25: ifne 31//如果结果不为0时(即为true),就跳转到第31个指令继续执行

   28: iinc 1, 2

   31: iload_1

   32: ifle 38

   35: iinc 1, -1//如果结果小于0时,就跳转到第38个指令继续执行

   38: return

指令码         助记符                                           说明

0x99                 ifeq                              当栈顶int型数值等于0时跳转

0x9a                 ifne                              当栈顶int型数值不等于0时跳转

0x9b                 iflt                                当栈顶int型数值小于0时跳转

0x9c                 ifge                              当栈顶int型数值大于等于0时跳转

0x9d                ifgt     当栈顶int型数值大于0时跳转

0x9e                ifle     当栈顶int型数值小于等于0时跳转

0x9f               if_icmpeq   比较栈顶两int型数值大小,当结果等于0时跳转

0xa0              if_icmpne   比较栈顶两int型数值大小,当结果不等于0时跳转

0xa1              if_icmplt   比较栈顶两int型数值大小,当结果小于0时跳转

0xa2              if_icmpge   比较栈顶两int型数值大小,当结果大于等于0时跳转

0xa3              if_icmpgt   比较栈顶两int型数值大小,当结果大于0时跳转

0xa4              if_icmple   比较栈顶两int型数值大小,当结果小于等于0时跳转

0xa5              if_acmpeq   比较栈顶两引用型数值,当结果相等时跳转

0xa6               if_acmpne   比较栈顶两引用型数值,当结果不相等时跳转

十三、无条件跳转指令系列A

该系列指令用于指令的跳转。

指令码         助记符                                           说明

0xa7                goto                                           无条件跳转

0xa8                  jsr                   跳转至指定16位offset位置,并将jsr下一条指令地址压入栈顶

0xa9                 ret                   返回至本地变量指定的index的指令位置(一般与jsr, jsr_w联合使用)

0xaa              tableswitch         用于switch条件跳转,case值连续(可变长度指令)

0xab              lookupswitch      用于switch条件跳转,case值不连续(可变长度指令)

十四、返回指令系列

该系列指令用于从函数中返回。如果有返回值的话,都把函数的返回值放在栈道中,以便它的调用方法取得它。

return 10;这个语句其实对应的指令是两条:   

9: bipush 10

11: ireturn

指令码         助记符                                           说明

0xac                ireturn                                从当前方法返回int

0xad                lreturn                                从当前方法返回long

0xae                freturn                               从当前方法返回float

0xaf                 dreturn                                从当前方法返回double

0xb0                areturn                               从当前方法返回对象引用

0xb1                return                                从当前方法返回void

十五、域操作指令系列

该系列指令用于对静态域和非静态域进行读写。该系列命令需要跟一个表明域编号的参数,

比如,在函数中对成员变量m进行;m++

其指令为:

   0: aload_0

   1: dup

   2: getfield #2; //Field m:I

   5: iconst_1

   6: iadd

   7: putfield #2; //Field m:I

指令码         助记符                                           说明

0xb2               getstatic                    获取指定类的静态域,并将其值压入栈顶

0xb3               putstatic                    用栈顶的值为指定的类的静态域赋值

0xb4               getfield                      获取指定类的实例域,并将其值压入栈顶

0xb5               putfield                       用栈顶的值为指定的类的实例域赋值

十六、方法操作命令系列

该系列指令用于对静态方法和非静方法进行调用。该系列命令需要跟一个表明方法编号的参数。

如果方法有传入参数的话,则需要先压栈到栈顶。另外,方法的返回参数是保存到栈顶的,因此我们可以通过栈道值取得方法的返回值。

比如对于代码:

void test() {int k=add(12,45);}

其指令为:

void test();

  Code:

   0: aload_0

   1: bipush 12

   3: bipush 45

   5: invokevirtual #2; //Method add:(II)I

   8: istore_1

   9: return

指令码         助记符                                           说明

0xb6              invokevirtual                              调用实例方法

0xb7              invokespecial            调用超类构造方法,实例初始化方法,私有方法

0xb8              invokestatic                               调用静态方法

0xb9              invokeinterface                          调用接口方法

十七、未归类系列B

此系列暂未归类。

指令码         助记符                                           说明

0xba -- 

十八、new及数组系列

该系列用于创建一个对象和数组。

比如代码:

void test()

{

int ids[]=new int[5];

Object objs[]=new Object[5];

Object obj=new Object();

Hello hello=new Hello();

int len=objs.length;

}

其指令为:

void test();

  Code:

   0: iconst_5

   1: newarray int

   3: astore_1

   4: iconst_5

   5: anewarray #2; //class java/lang/Object

   8: astore_2

   9: new #2; //class java/lang/Object

   12: dup

   13: invokespecial #1; //Method java/lang/Object."<init>":()V

   16: astore_3

   17: new #3; //class Hello

   20: dup

   21: invokespecial #4; //Method "<init>":()V

   24: astore 4

   26: aload_2

   27: arraylength

   28: istore 5

   30: return

指令码         助记符                                           说明

0xbb                new                        创建一个对象,并将其引用值压入栈顶

0xbc              newarray                  创建一个指定原始类型(如int, float, char…)的数组,并将其引用值压入栈顶

0xbd              anewarray               创建一个引用型(如类,接口,数组)的数组,并将其引用值压入栈顶

0xbe              arraylength              获得数组的长度值并压入栈顶

十九、异常抛出指令

用于抛出异常。

指令码         助记符                                           说明

0xbf                athrow                                将栈顶的异常抛出

二十、对象操作指令

该系列指令用于操作对象。

指令码         助记符                                           说明

0xc0              checkcast                   检验类型转换,检验未通过将抛出ClassCastException

0xc1              instanceof                  检验对象是否是指定的类的实例,如果是将1压入栈顶,否则将0压入栈顶

0xc2              monitorenter               获得对象的锁,用于同步方法或同步块

0xc3              monitorexit                  释放对象的锁,用于同步方法或同步块

二十一、未归类系列C

此系列暂未归类。

指令码         助记符                                           说明

0xc4                wide                                               <待补充>

二十二、new多维数组系列

指令码      助记符                                           说明

0xc5       multianewarray 创建指定类型和指定维度的多维数组(执行该指令时,操作栈中必须包含各维度的长度值),并将其引用值压入栈顶

二十三、有条件跳转指令系列B

该系列用于根据引用是否为空,来进行相应的指令跳转。

比如代码:

void test()

{

int i=0;

Object obj=new Object();

if(obj==null){ i=0; }

if(obj!=null){ i=1; }

}

其对应的指令为:

void test();

  Code:

   0: iconst_0

   1: istore_1

   2: new #2; //class java/lang/Object

   5: dup

   6: invokespecial #1; //Method java/lang/Object."<init>":()V

   9: astore_2

   10: aload_2

   11: ifnonnull 16

   14: iconst_0

   15: istore_1

   16: aload_2

   17: ifnull 22

   20: iconst_1

   21: istore_1

   22: return

指令码      助记符                                           说明

0xc6            ifnull                                           为null时跳转

0xc7           ifnonnull                                      不为null时跳转

二十四、无条件跳转指令系列B

该系列指令用于进行无条件指令跳转。

指令码      助记符                                           说明

0xc8           goto_w                                 无条件跳转(宽索引)

0xc9           jsr_w                         跳转至指定32位offset位置,并将jsr_w下一条指令地址压入栈顶

JVM指令总结:

1.凡是带const的表示将什么数据压操作数栈。

  如:iconst_2 将int型数据2压入到操作数栈

  aconst_null  将null值压入栈。

2.bipush和sipush  表示将单字节或者短整形的常量值压入操作数栈。

3.带ldc的表示将什么类型数据从常量池中压入到操作数栈。

  如:ldc_w  将int或者flat或者string类型的数据压入到操作数栈。(宽索引)

        ldc2_w  将long或者double类型的数据压入到操作数栈。(宽索引)

4.凡是带load的指令表示将某类型的局部变量数据压入到操作数栈的栈顶。

   如:iload   表示将int类型的局部变量压入到操作数栈的栈顶。

         aload  以a开头的表示将引用类型的局部变量压入到操作数栈的栈顶。

         iload_1 将局部变量数组里面下标为1的int类型的数据压入到操作数栈。

         iaload   将int型数组的指定索引的值压入到操作数栈。

5.凡是带有store指令的表示将操作数栈顶的某类型的值存入指定的局部变量中。

   如:istore  表示将栈顶int类型的数据存入到指定的局部变量中。

         istore_3  表示将栈int类型的数据存入到局部变量数组的下标为3的元素中。

6.pop  将栈顶数据弹出。pop2将栈顶的一个long或者double数据从栈顶弹出来。

7.dup  复制栈顶的数据并将复制的值也压入到栈顶。

   dup2  复制栈顶一个long或者是double的数据并将复制的值也压入到栈顶。

8.swap  将栈最顶端的两个值互换。

9.iadd 将栈顶两个int型的数据相加然后将结果再次的压入到栈顶。

   isub 将栈顶两个int型的数据相减然后将结果再次的压入到栈顶。

   imul 将栈顶两个int型的数据相乘然后将结果再次的压入到栈顶。

   idiv  将栈顶两个int型的数据相除然后将结果再次的压入到栈顶。

   irem 将栈顶两个int型的数据取模运算然后将结果再次的压入到栈顶。.

   ineg 将栈顶的int数据取负将结果压入到栈顶。

   iinc  将指定的int变量增加指定值(i++,i--,i+=2)

   i2l   将栈顶int类型数据强制转换成long型将结果压入到栈顶。

   lcmp  将栈顶两long型数据的大小进行比较,并将结果(1,0,-1)压入栈顶。

10.以if开头的指令都是跳转指令。

11.tableswitch、lookupswitch  表示用switch条件跳转。

12.ireturn  从当前方法返回int型数据。

13. getstatic  获取指定类的静态域,将将结果压入到栈顶。

      putstatic 为指定的类的静态域赋值。

      getfield   获取指定类的实例变量,将结果压入到栈顶。

      putfield   为指定类的实例变量赋值。

      invokevirtual  调用实例方法。

      invokespacial  调用超类构造方法,实例初始化方法,私有方法。

      invokestatic  调用静态方法。

      invokeinterface  调用接口方法。

      new 创建一个对象,并将其引用压入到栈顶。

      newarray  创建一个原始类型的数组,并将其引用压入到栈顶。

      arraylength   获得一个数组的长度,将将结果压入到栈顶。

      athrow   将栈顶的异常抛出。

      checkcast  检验类型转换,转换未通过,将抛出ClassCastException.

      instanceof 检验对象是否是指定的类的实例,如果是将1压入栈顶,否则将0压入栈顶

      monitorenter   获得对象的锁,用于同步方法或同步块  

      monitorexit    释放对象的锁,用于同步方法或同步块

      ifnull    为null时跳转

      ifnonnull   不为null时跳转

 

内容参考:https://blog.csdn.net/hudashi/article/details/7062675

  • 2
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值