llvm - 为什么 llvm 被认为不适合实现 JIT？

Question

许多动态语言实现(或想要实现)JIT 编译器以加快其执行时间。不可避免地，花生画廊里的人会问为什么他们不使用 LLVM。答案通常是“LLVM 不适合构建 JIT”。 (例如，Armin Rigo 的评论 here. )

为什么 LLVM 不适合构建 JIT？

注意:我知道 LLVM 有自己的 JIT。如果LLVM以前不适合，但现在适合，请说一下有什么变化。我不是在谈论在 LLVM JIT 上运行 LLVM 字节码，而是在谈论使用 LLVM 库来实现动态语言的 JIT。

Answer 1

Why is LLVM Unsuitable for building a JIT?

我写了HLVM ，一个高级虚拟机，具有丰富的静态类型系统，包括值类型、尾调用消除、通用打印、C FFI 和 POSIX 线程，支持静态和 JIT 编译。特别是，HLVM 提供 incredible performance对于高级虚拟机。我什至使用 JIT 编译器实现了一个具有变体类型和模式匹配的类似 ML 的交互式前端，如 computer algebra demonstration 中所示。 。我所有与 HLVM 相关的工作加起来只需几周的时间(而且我不是计算机科学家，只是一个涉足者)。

我认为结果不言而喻，并明确证明 LLVM 完全适合 JIT 编译。