概述
之所以会写这个,主要是因为最近做的一个项目碰到了一个移位的问题,因为位移操作溢出导致结果不准确,本来可以点到为止,问题也能很快解决,但是不痛不痒的感觉着实让人不爽,于是深扒了下个中细节,直到看到Intel的指令规约才算释然,希望这篇文章能引起大家共鸣。
本文或许看起来会比较枯燥,不过其实认真看挺有意思的,如果实在看不下去,告诉你一个极简路径,先看下下面的Demo,然后直接跳到后面的小结,如果懂了,别忘记顺便点个赞,请叫我雷锋,哈哈。
Demo
还是从一个简单的例子说起
public class ShiftTest {
public static void main(String args[]) {
System.out.println(doShiftL(35));
}
public static long doShiftL(int shift) {
return 4 << shift;
}
}
大家可以尝试做几个改变,看看结果怎样
4 << shift
改成4L << shift
- 将35改成291,PS:提示一下
291=35+256*1
如果上面的各种结果你都能解释,那说明你对位移操作还是有一定了解的,不过本文主要从JVM到Intel X86_64指令角度来分析这个问题,或许也值得一看
JVM里4
和4L
的区别
要知道区别,我们看doShiftL
方法通过javac编译出来的指令有什么不一样
4 << shift的字节码
0: iconst_4
1: iload_0
2: ishl
4L << shift的字节码
0: ldc2_w #34 // long 4l
3: iload_0
4: lshl
针对4
和4L
的区别,我们看到了两条不同的指令,分别是iconst_4
和ldc2_w
,其实如果我们将4改成其他的值,可能会有不一样的指令出现
-1<= x <=5
:iconst_x
-128<= x <-1 || 5< x <=127
:bipush
-32768 <= x < -128 || 127 < x <= 32767
:sipush
-32768 > x || x > 32767
:ldc
不过这些都不是我们今天的重点,不想细说了,就以iconst_4
为例来简单介绍下
iconst_4
先看iconst_4
的大概汇编指令如下
0x00007fcb529b0b00: push %rax
0x00007fcb529b0b01: jmpq 0x00007fcb529b0b30
0x00007fcb529b0b06: sub $0x8,%rsp
0x00007fcb529b0b0a: movss %xmm0,(%rsp)
0x00007fcb529b0b0f: jmpq 0x00007fcb529b0b30
0x00007fcb529b0b14: sub $0x10,%rsp
0x00007fcb529b0b18: movsd %xmm0,(%rsp)
0x00007fcb529b0b1d: jmpq 0x00007fcb529b0b30
0x00007fcb529b0b22: sub $0x10,%rsp
0x00007fcb529b0b26: mov %rax,(%rsp)
0x00007fcb529b0b2a: jmpq 0x00007fcb529b0b30
0x00007fcb529b0b2f: push %rax
0x00007fcb529b0b30: mov $0x4,%eax
0x00007fcb529b0b35: movzbl 0x1(%r13),%ebx
0x00007fcb529b0b3a: inc %r13
0x00007fcb529b0b3d: mov $0x7fcb63dd5760,%r10
0x00007fcb529b0b47: jmpq *(%r10,%rbx,8)
重点看0x00007fcb529b0b30
这条就是将0x4移到EAX寄存器里,这是一个32位的寄存器,需要注意的是这里并没有直接将4 push到操作数栈上,而是在下一条指令(也就是iload_0
)执行的时候才预先push到栈上,后面看iload_0
的汇编代码可知
ldc2_w
ldc2_w是将long或者double的常量值从常量池推到操作数栈顶,其大概汇编指令如下
0x00007fcb529b1960: push %rax
0x00007fcb529b1961: jmpq 0x00007fcb529b1990
0x00007fcb529b1966: sub $0x8,%rsp
0x00007fcb529b196a: movss %xmm0,(%rsp)
0x00007fcb529b196f: jmpq 0x00007fcb529b1990
0x00007fcb529b1974: sub $0x10,%rsp
0x00007fcb529b1978: movsd %xmm0,(%rsp)
0x00007fcb529b197d: jmpq 0x00007fcb529b1990
0x00007fcb529b1982: sub $0x10,%rsp
0x00007fcb529b1986: mov %rax,(%rsp)
0x00007fcb529b198a: jmpq 0x00007fcb529b1990
0x00007fcb529b198f: push %rax
0x00007fcb529b1990: movzwl 0x1(%r13),%ebx
0x00007fcb529b1995: bswap %ebx
0x00007fcb529b1997: shr $0x10,%ebx
0x00007fcb529b199a: mov -0x18(%rbp),%rcx
0x00007fcb529b199e: mov 0x10(%rcx),%rcx
0x00007fcb529b19a2: mov 0x8(%rcx),%rcx
0x00007fcb529b19a6: mov 0x10(%rcx),%rax
0x00007fcb529b19aa: cmpb $0x6,0x4(%rax,%rbx,1)
0x00007fcb529b19af: jne 0x00007fcb529b19c2
0x00007fcb529b19b1: movsd 0x60(%rcx,%rbx,8),%xmm0
0x00007fcb529b19b7: sub $0x10,%rsp
0x00007fcb529b19bb: movsd %xmm0,(%rsp)
0x00007fcb529b19c0: jmp 0x00007fcb529b19cf
0x00007fcb529b19c2: mov 0x60(%rcx,%rbx,8),%rax
0x00007fcb529b19c7: sub $0x10,%rsp
0x00007fcb529b19cb: mov %rax,(%rsp)
0x00007fcb529b19cf: movzbl 0x3(%r13),%ebx
0x00007fcb529b19d4: add $0x3,%r13
0x00007fcb529b19d8: mov $0x7fcb63dd7f60,%r10
0x00007fcb529b19e2: jmpq *(%r10,%rbx,8)
重点看0x00007fcb529b1990
这条开始,主要就是从常量池里取出相关的值,然后push到操作数栈上(看0x00007fcb529b19c2
这行开始的接下来三行)
因此做一个小结:
iconst_4
:将4存入到EAX寄存器,但是此时还并没有将4 push到操作数栈顶ldc2_w
:将后面跟着的值(其实也就会4),存到RAX寄存器,并且将其push到操作数栈顶
着重注意下上面两条指令使用的两个寄存器是不一样的,一个是EAX,一个是RAX,其中RAX是64位寄存器,而EAX是RAX寄存器的低32位,是一个32位寄存器
不过还没结束,对于iconst_4
这种情况,什么时候将4 push到栈上呢,那接下来我们看看iload_0
这条指令,因为不管是iconst_4
还是ldc2_w
,后面都跟了iload_0
,所以还是一起来看看这条指令
iload_0
iload_0
的汇编实现大致如下:
0x00007fcb529b1ee0: push %rax
0x00007fcb529b1ee1: jmpq 0x00007fcb529b1f10
0x00007fcb529b1ee6: sub $0x8,%rsp
0x00007fcb529b1eea: movss %xmm0,(%rsp)
0x00007fcb529b1eef: jmpq 0x00007fcb529b1f10
0x00007fcb529b1ef4: sub $0x10,%rsp
0x00007fcb529b1ef8: movsd %xmm0,(%rsp)
0x00007fcb529b1efd: jmpq 0x00007fcb529b1f10
0x00007fcb529b1f02: sub $0x10,%rsp
0x00007fcb529b1f06: mov %rax,(%rsp)
0x00007fcb529b1f0a: jmpq 0x00007fcb529b1f10
0x00007fcb529b1f0f: push %rax
0x00007fcb529b1f10: mov (%r14),%eax
0x00007fcb529b1f13: movzbl 0x1(%r13),%ebx
0x00007fcb529b1f18: inc %r13
0x00007fcb529b1f1b: mov $0x7fcb63dd5760,%r10
0x00007fcb529b1f25: jmpq *(%r10,%rbx,8)
这条指令简单来说就是将方法的0号local槽里的数据存到EAX寄存器里,不过针对上一条指令是iconst_4
,此时会先做一个push的动作,将RAX寄存器里的值push到操作数栈上,但是如果是ldc2_w
指令的话,就不会做push了,因为这两条指令规定的执行完后的top of stack不一样,iconst_4
要求栈顶是一个int,而ldc2_w
没要求,尽管在实现里确实将值push到了栈顶
因此在执行完iload_0
之后,都已经将4 push到操作数栈顶了,并且将第一个local槽,其实就是doShiftL
函数的shift
参数存到了EAX寄存器里,具体看上面的0x00007fcb529b1f0f
位置的指令
JVM里的位移操作
从上面的字节码里我们看到,当我们位移的基数是4或者4L的时候,分别看到了两条不同的位移指令,分别是ishl
和lshl
,这两条指令一个是将int型的值左移一定位数,一个是将long型的值左移一定位数,那这两条指令分别有什么区别呢?
阅读全文请点击:点击打开链接