标签: bytecode

我正在寻找一种将C源代码编译成高性能Java字节码的方法.我已成功使用NestedVM,但对于我正在处理的项目而言,性能损失是不可接受的.我还看到了针对这个问题的各种开源项目以及一些商业产品. 这个SO问题涉及将非Java转换为Java源代码的一般问题,但我只想从C转换为Java字节码.

将C源代码编译成高性能,纯Java字节码的最佳方法是什么？

是否可以仅分发Python脚本的字节码版本(.pyc文件)而不是原始的.py文件？我的应用程序嵌入了Python解释器并调用PyImport_Import来加载脚本.我怎么能告诉它寻找.pyc文件并导入它？

Python文件被编译为字节码(*.pyc).

使用Cython,您可以将它们编译为机器代码(在Linux中为*.so).

如果您使用同一文件夹中的两个文件,则在同一名称下它们之间的优先级是什么？

是否有自动方法来确保使用*.so文件而不是*.pyc文件？或者您必须在代码中明确地执行此操作(重命名等)？

我正在寻找一个用JavaScript实现的标准Java到Java字节码编译器.

有谁听说过任何可以做到这一点的事情？

可以说,类中有一些import语句.为该类生成字节代码时,这些import语句会发生什么.

如果在运行时忽略import语句,那么在运行时如何解析对该类方法的依赖性.

我发现字节码VerifyErrors很难调试.JVM提供的反馈很少,通常只是当前类,有时是方法.

我通常通过ASM或Jasmin手动设计字节码时遇到的一些错误示例:

• Stack size too large
• Unable to pop operand off an empty stack
• Falling off the end of the code
• Expecting to find object/array on stack
• Incompatible object argument for function call
• Inconsistent stack height 4 != 2

(要清楚;我知道所有这些意味着什么,我对调试它们的原因的工具或技术感兴趣.)

我的问题:是否有任何工具可以提供有关这些类型错误的详细反馈？我会欣赏诸如此类的信息

• javap类似的输出
• 对行号(或操作码字节偏移)的引用
• 每行的操作数堆栈信息(类型/深度)
• 更具描述性的错误消息

我试图在反编译后对一些Java .class文件进行反混淆处理,而且我遇到了代码的一部分,它以一种我认为不能使用标签的方式使用标签.我不知道这是否是反编译器误解标签的错误,或者代码是否故意以这种方式混淆.换句话说,可以在Java字节码中以这种方式使用标签吗？

请注意,标签出现在相关的break语句之后,而不是之前.它几乎似乎是使用它们作为goto,而不是用于退出循环的标签.根本没有循环,所以我对它们应该如何在这里使用感到困惑.

这里发生了什么？我在评论中标记了3个标签(###)

if (i != 96)
  {
    if ((i ^ 0xFFFFFFFF) != -98)
    {
      if (i == 98)
        break label417;  // ### Here are the three breaks... The relevant labels appear later in the code
      if (i != 99)
        break label540;
      if (!bool)
        break label461;
    }
  }
  else
  {
    if (localwb == this.localWB5)
    {
      if (this.localWB4 != null) {
          this.localWB4.a((byte)-92, this);
        if (!bool);
      }
      else
      {
          this.localWB6.a((byte)-9, this);
      }
      return true;
    }
    if (localwb == this.localWB4)
    {
        this.localWB6.a((byte)-59, …

我知道新的,dup,invokespecial和astore字节码模式将调用实例初始化方法,<init>当有人从Java语言的角度来看Java类时,但是我从来没有弄清楚谁调用了特殊<clinit>方法,这是什么时候发生的？

我的猜测是在方法之前<clinit>调用.任何机构都可以给我一些信息来证明吗？这是在JVM规范还是Java语言规范中记录的？ <init>

根据这篇文章http://slurp.doc.ic.ac.uk/pubs/observing/linking.html#assignment:

由于Java代码和字节码之间的信息不同(字节码不包含局部变量的类型),验证者不需要检查子类型以分配局部变量或参数.

我的问题:为什么字节码不包含局部变量的类型信息,而它确实包含参数和返回值的类型信息？

汇编,机器代码,字节码和操作码之间的实际关系是什么？

我看过最大约装配和机器代码的SO问题,比如这个,但他们太高水平和不显示的实际汇编代码示例被改造成机器代码.结果,我仍然不明白它是如何在更深层次上运作的.

这个问题的理想答案将显示一些汇编代码的具体示例,例如下面的代码段,以及每个汇编指令如何映射到机器代码,字节码和/或操作码.像这样的答案对未来的人们学习集会非常有帮助,因为在过去的几天挖掘中我没有找到任何明确的总结.

我要找的主要内容是:

1. 一段汇编代码
2. 一段机器代码
3. 程序集和机器代码片段之间的映射(如何进行映射,或者至少是一些一般示例,以及如何知道如何执行此操作,Web上的所有这些信息都在哪里)
4. 如何解释机器代码(就像操作码以某种方式相关,以及网上关于所有这些数字意味着什么的所有信息)

注意:我没有计算机科学背景,所以我在过去的几年里一直在慢慢走低水平,现在已经到了想要了解装配和机器代码的程度.

装配与机器代码之间的关系

我目前的理解是"汇编程序"(如NASM)接收汇编代码并从中创建机器代码.

所以当你编译一些这样的程序集时example.asm:

global main
section .text

main:
  call write

write:
  mov rax, 0x2000004
  mov rdi, 1
  mov rsi, message
  mov rdx, length
  syscall

section .data
message: db 'Hello, world!', 0xa
length: equ $ - message

(用它编译nasm -f macho64 -o example.o example.asm).它输出这个example.o目标文件:

cffa edfe 0700 0001 0300 0000 0100 0000
0200 0000 0001 0000 0000 0000 0000 …