13

我已经在（Java）字节码上工作了一段时间，但是，我从来没有想过为什么要输入一些指令？我知道在 ADD 操作中，我们需要区分整数加法和 FP 加法（这就是我们有 IADD 和 FADD 的原因）。但是，为什么我们需要区分 ISTORE 和 FSTORE 呢？它们都涉及完全相同的操作，即将 32 位从堆栈移动到局部变量位置？

我能想到的唯一答案是类型安全，以防止这种情况：（ILOAD，ILOAD，FADD）。但是，我相信类型安全已经在 J​​ava 语言级别强制执行。好的，Class 文件格式不直接与 Java 耦合，那么这是对不支持它的语言强制执行类型安全的一种方法吗？任何想法？谢谢你。

编辑：跟进里迪的回答。我写了这个最小的程序：

public static void main(String args[])
{
    int x = 1;
}

编译为：

iconst_1
istore_1
return

使用字节码编辑器，我更改了第二条指令：

iconst_1
fstore_1
return

它返回了一个java.lang.VerifyError: Expecting to find float on stack。

我想知道，如果堆栈上没有关于类型的信息，只有位，那么 FSTORE 指令是如何知道它处理的是 int 而不是 float？

注意：我找不到这个问题的更好标题。随意改进它。

4

4 回答 4

19

输入这些指令是为了确保程序是类型安全的。当加载一个类时，虚拟机对字节码执行验证，以确保，例如，浮点数不会作为参数传递给需要整数的方法。这种静态验证要求验证者可以确定任何给定执行路径的堆栈上值的类型和数量。加载和存储指令需要类型标记，因为堆栈帧中的局部变量没有类型（即您可以 istore 到局部变量，然后 fstore 到同一位置）。指令上的类型标签允许验证者知道每个局部变量中存储的值的类型。

验证器查看方法中的每个操作码，并在执行每个操作码后跟踪堆栈和局部变量中的类型。你是对的，这是另一种形式的类型检查，并且确实重复了 java 编译器所做的一些检查。验证步骤可防止加载任何会导致 VM 执行非法指令的代码，并确保 Java 平台的安全属性，而不会导致在每次操作之前检查类型的大量运行时损失。每次执行该方法时，每个操作码的运行时类型检查都会对性能造成影响，但静态验证仅在加载类时进行一次。

情况1：

Instruction             Verification    Stack Types            Local Variable Types 
----------------------- --------------- ---------------------- ----------------------- 
<method entry>          OK              []                     1: none
iconst_1                OK              [int]                  1: none
istore_1                OK              []                     1: int
return                  OK              []                     1: int

案例二：

Instruction             Verification    Stack Types            Local Variable Types 
----------------------- --------------- ---------------------- ----------------------- 
<method entry>          OK              []                     1: none
iconst_1                OK              [int]                  1: none
fstore_1                Error: Expecting to find float on stack

给出错误是因为验证者知道 fstore_1 期望堆栈上的浮点数，但执行先前指令的结果在堆栈上留下了一个 int。

这种验证是在不执行操作码的情况下完成的，而是通过查看指令的类型来完成的，就像 java 编译器在你编写(Integer)"abcd". 编译器不必运行程序就知道它"abcd"是一个字符串并且不能转换为Integer.

于 2010-04-14T14:23:56.180 回答
4

用我最好的猜测回答你的第一个问题：这些字节码是不同的，因为它们可能需要不同的实现。例如，特定的体系结构可能会将整数操作数保留在主堆栈中，而将浮点操作数保留在硬件寄存器中。

要回答您的第二个问题，VerifyError 在加载类时抛出，而不是在执行时抛出。这里描述了验证过程；注意通过＃3。

于 2010-04-14T14:50:05.090 回答
4

Geoff Reedy 在他的回答中解释了加载类时验证器会做什么。我只想补充一点，您可以使用 JVM 参数禁用验证程序。不建议这样做！

对于您的示例程序（使用 iconst 和 fstore），在禁用验证的情况下运行的结果是一个 VM 错误，该错误会停止 JVM，并显示以下消息：

=============== DEBUG MESSAGE: illegal bytecode sequence - method not verified ================

#
# An unexpected error has been detected by HotSpot Virtual Machine:
#
#  EXCEPTION_PRIV_INSTRUCTION (0xc0000096) at pc=0x00a82571, pid=2496, tid=3408
#
# Java VM: Java HotSpot(TM) Client VM (1.5.0_15-b04 mixed mode, sharing)
# Problematic frame:
# j  BytecodeMismatch.main([Ljava/lang/String;)V+0
#
...
于 2010-04-21T11:19:03.720 回答
2

如上所述，所有字节码都必须通过静态数据流分析证明是类型安全的。然而，这并不能真正解释为什么像 _store 这样的指令有不同的类型，因为类型可以从堆栈上的值的类型推断出来。事实上，有一些指令，如 pop、dup 和 swap，它们正是这样做的，并且可以对多种类型进行操作。为什么有些指令是输入的，而有些不是，这只能由 Java 的原始开发人员来解释。

于 2012-06-16T01:20:32.637 回答