- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
[TL;DR:以下 JVM 字节码指令似乎不起作用:
iconst_0
istore 6
...sequential
iinc 6 1
jsr L42
...
; L42
iload 6
ifeq L53 ; Always branches!!!
astore 8
iinc 6 -1
; L53
LDC 100
ISUB ; ERROR, returnAddress is at the top of the stack
可以找到一个测试.class here (逻辑稍微复杂一点)。如果您想详细了解为什么我会看到这些说明,请继续阅读。]
我正在编写一个针对 JVM 字节码的 Whitespace 编译器。虽然是一种深奥的语言,但 Whitespace 描述了一组有趣的堆栈机器汇编指令,它很好地映射到 JVM。
空白有标签,它们都是跳转(goto/jump-if-zero/jump-if-negative)和函数调用的目标。相关说明(名称由我给出,在规范中它们以空格、制表符和换行符的组合给出)是:
mark <label>
: 为后面的指令设置标签jump[-if-neg|-if-zero] <label>
: 无条件或有条件跳转到给定标签call <label>
: 调用标签指向的函数end <label>
: 结束一个函数,返回给调用者。我的编译器在一个类的 main 方法中输出整个 Whitespace 程序。最简单的实现方式call
和 end
正在使用 JSR
和 RET
操作码,用于实现子程序。经过JSR
操作堆栈将包含一个 returnAddress
应存储在变量中供以后在 end
中使用的引用.
然而,作为mark
可以是 call
-ed 或 jump
- 进入,堆栈可能包含也可能不包含 returnAddress
引用。我决定使用一个 boolean 变量(调用位,地址 6)来存储标记是如何到达的,然后测试它是否应该将堆栈顶部存储到局部变量(返回地址,地址 8)。每条指令的实现如下:
; ... initialization
iconst_0
istore 6 ; local variable #6 holds the call bit
# call
iinc 6 1 ; sets the call bit
jsr Lxxx ; jumps to the given label, pushing a returnAddress to the stack
# mark
; Lxxx
iload 6 ; loads the call bit
ifeq Lxxx-end ; SHOULD jump to mark's end if the call bit is not set
; call bit is set: mark was call-ed and returnAddress is in the stack
astore 8 ; stores returnAddress to local variable #8
iinc 6 -1 ; resets the call bit
; Lxxx-end
# end
ret 8 ; returns using the stored returnAddress
问题:ifeq
总是分支。我还尝试反转逻辑(调用位 -> 跳转位,ifeq->ifne),甚至简单地切换到 ifne
(这是错误的)......但是 if 总是分支到最后。通话后,returnAddress
留在堆栈中,下一个操作爆炸。
我已经使用 ASM 的分析器来观察堆栈来调试所有这些,但是只是断言了这种行为并且找不到我做错了什么。我的一个怀疑是 iinc
还有更多内容, 或 ifeq
比我虚荣的哲学所能想象的还要多。我承认我只读过 instruction set page和 ASM's pertinent documentation对于这个项目,但我希望有人能从他们的脑海中提出一个解决方案。
In this folder有相关文件,包括可执行类和原始 Whitespace,以及 javap -c
的输出和 ASM 分析。
最佳答案
找到一个可能的原因:问题不在执行过程中,而是在验证者身上。当它看起来“总是分支”时,实际上是 validator 测试了 if
的所有可能结果,因此它可以确保堆栈看起来是一样的。我的代码依赖于一个引用 (returnAddress
),可能存在也可能不存在于堆栈中,验证者无法检查它。
也就是说,示例代码不使用 -noverify
标志运行,但验证失败的其他更简单的示例确实正确执行。
关于java - ifeq/ifne JVM 操作码总是分支,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29427419/
我正在编写一个具有以下签名的 Java 方法。 void Logger(Method method, Object[] args); 如果一个方法(例如 ABC() )调用此方法 Logger,它应该
我是 Java 新手。 我的问题是我的 Java 程序找不到我试图用作的图像文件一个 JButton。 (目前这段代码什么也没做,因为我只是得到了想要的外观第一的)。这是我的主课 代码: packag
好的,今天我在接受采访,我已经编写 Java 代码多年了。采访中说“Java 垃圾收集是一个棘手的问题,我有几个 friend 一直在努力弄清楚。你在这方面做得怎么样?”。她是想骗我吗?还是我的一生都
我的 friend 给了我一个谜语让我解开。它是这样的: There are 100 people. Each one of them, in his turn, does the following
如果我将使用 Java 5 代码的应用程序编译成字节码,生成的 .class 文件是否能够在 Java 1.4 下运行? 如果后者可以工作并且我正在尝试在我的 Java 1.4 应用程序中使用 Jav
有关于why Java doesn't support unsigned types的问题以及一些关于处理无符号类型的问题。我做了一些搜索,似乎 Scala 也不支持无符号数据类型。限制是Java和S
我只是想知道在一个 java 版本中生成的字节码是否可以在其他 java 版本上运行 最佳答案 通常,字节码无需修改即可在 较新 版本的 Java 上运行。它不会在旧版本上运行,除非您使用特殊参数 (
我有一个关于在命令提示符下执行 java 程序的基本问题。 在某些机器上我们需要指定 -cp 。 (类路径)同时执行java程序 (test为java文件名与.class文件存在于同一目录下) jav
我已经阅读 StackOverflow 有一段时间了,现在我才鼓起勇气提出问题。我今年 20 岁,目前在我的家乡(罗马尼亚克卢日-纳波卡)就读 IT 大学。足以介绍:D。 基本上,我有一家提供簿记应用
我有 public JSONObject parseXML(String xml) { JSONObject jsonObject = XML.toJSONObject(xml); r
我已经在 Java 中实现了带有动态类型的简单解释语言。不幸的是我遇到了以下问题。测试时如下代码: def main() { def ks = Map[[1, 2]].keySet()
一直提示输入 1 到 10 的数字 - 结果应将 st、rd、th 和 nd 添加到数字中。编写一个程序,提示用户输入 1 到 10 之间的任意整数,然后以序数形式显示该整数并附加后缀。 public
我有这个 DownloadFile.java 并按预期下载该文件: import java.io.*; import java.net.URL; public class DownloadFile {
我想在 GUI 上添加延迟。我放置了 2 个 for 循环,然后重新绘制了一个标签,但这 2 个 for 循环一个接一个地执行,并且标签被重新绘制到最后一个。 我能做什么? for(int i=0;
我正在对对象 Student 的列表项进行一些测试,但是我更喜欢在 java 类对象中创建硬编码列表,然后从那里提取数据,而不是连接到数据库并在结果集中选择记录。然而,自从我这样做以来已经很长时间了,
我知道对象创建分为三个部分: 声明 实例化 初始化 classA{} classB extends classA{} classA obj = new classB(1,1); 实例化 它必须使用
我有兴趣使用 GPRS 构建车辆跟踪系统。但是,我有一些问题要问以前做过此操作的人: GPRS 是最好的技术吗?人们意识到任何问题吗? 我计划使用 Java/Java EE - 有更好的技术吗? 如果
我可以通过递归方法反转数组,例如:数组={1,2,3,4,5} 数组结果={5,4,3,2,1}但我的结果是相同的数组,我不知道为什么,请帮助我。 public class Recursion { p
有这样的标准方式吗? 包括 Java源代码-测试代码- Ant 或 Maven联合单元持续集成(可能是巡航控制)ClearCase 版本控制工具部署到应用服务器 最后我希望有一个自动构建和集成环境。
我什至不知道这是否可能,我非常怀疑它是否可能,但如果可以,您能告诉我怎么做吗?我只是想知道如何从打印机打印一些文本。 有什么想法吗? 最佳答案 这里有更简单的事情。 import javax.swin
我是一名优秀的程序员,十分优秀!