LLVM、鹦鹉、JVM、PyPy+python

Question

在开发一些语言时有什么问题，例如python，使用LLVM/Parrot的一些优化技术。

PyPy、LLVM、Parrot是通用平台开发的主要技术。
我看这个像：

• PyPy-使用内置优化VM for python构建VM的框架
  所以这是一个非常普遍的解决方案。流程如下所示：
  
  1. 动态语言代码->；
     
  2. PyPy前端->
  3. PyPy内部代码-字节码->
  4. PyPy优化->
  5. 离开PyPy代码并：
     a、 某些虚拟机（如jvm）的PyPy后端
     b、 自制虚拟机的som工具包
     c、 处理/运行PyPy内部代码
  
  

我说的对吗？对于python，有优化的VM吗？特别是在默认情况下，有一个内置的VM用于优化PyPy代码（步骤5.c）——这是针对python的，每种语言处理都可以停止并运行它？

• 鹦鹉-很像侏儒，但没有5.a和5.b？动态处理的一些内部改进（Parrot Magic Cookie）。

Parrot和PyPy都是为了创建一个创建公共动态语言运行时的平台而设计的，但是PyPy希望创建更多的VM。
皮比的感觉在哪里？为了创造更多的虚拟机？专注于一个VM（如parrot中的VM）应该不会更好——因为有一个通用的代码级别——PyPy内部字节码或parrot内部字节码。 我认为，将PyPy字节码转换为使用PyPy VMs创建的新字节码再好不过了。

• LLVM-我看到这与PyPy非常相似，但没有VM生成器。
  它是一个成熟的、设计良好的环境，目标类似于PyPy（但没有VM生成器），但工作在低层次的结构上，并采用了大量的优化/JIT技术

是这样的：LLVM是通用的，但是Parrot和**PyPy*是为动态语言设计的。在PyPy/Parrot中更容易引入一些复杂的技术，因为它比LLVM类的高级编译器更高级，后者可以更好地理解高级代码并生成更好的汇编代码（人类不能在合理的时间内编写），然后是LLVM？

问题：

1. 我说得对吗？有什么理由认为移植一些动态语言比移植到llvm（比如Parrot）更好吗？

2. 我还没有看到在Parrot上开发python的活动。是因为使用python C扩展对parrot不起作用吗？PyPy中也有同样的问题

3. 为什么其他vm不想移动到LLVM/parrot。例如ruby->；parrot、CLR/JVM->；LLVM。他们转向更复杂的解决方案不是更好吗？LLVM正处于高速发展阶段，并有大公司投资。

4. 我知道问题可能在于重新编译资源，如果需要更改字节码-但这不是必须的-因为我们可以尝试将旧的字节码移植到新的字节码，新的编译器生成新的字节码（java仍然需要解释自己的字节码-所以前端可以检查它并将其转换为新的字节码）？

5. 链接llvm中的jvm库（如果我们以某种方式将java/jvm/scala移植到llvm）有什么问题？

6. 如果我在某个地方错了，你能纠正我吗

一些附加：

• How does Parrot compare to other virtual machines
• What's the benefit of Parrot VM for end-users
• What are the differences between LLVM and java/jvm

=====

澄清

我想知道所有这些软件是如何组成的，以及将一个软件移植到另一个软件有什么问题。

Answer 1

你想实施什么？你的问题措辞很混乱（我知道英语可能不是你的母语）。

LLVM和PyPy都是成熟、有用的项目，但在这一点上并没有太多重叠。（在某一点上，PyPy可以生成LLVM字节码，该字节码是静态编译成解释器的，而不是C代码，但是它没有提供太多性能优势，不再受支持。）

PyPy允许您在RPython中编写解释器，并使用该描述作为生成本地代码解释器或JIT的描述；LLVM是用于构建编译器工具链的C++框架，该工具链还可以用于实现JIT。LLVM的优化器、代码生成和平台支持比PyPy的优化器、代码生成和平台支持要先进得多，但它不太适合构建动态语言运行时（有关原因的一些示例，请参见Unladen Swallow retrospective）。尤其是，它在收集/使用运行时反馈（这对于使动态语言性能良好是绝对必要的）方面不如PyPy的基于跟踪的JIT有效。另外，LLVM的垃圾收集支持还有些原始，它缺乏PyPy自动生成JIT的独特能力。

顺便说一下，有两个Java实现构建在LLVM-J3/VMKit和Shark上。

你可以考虑看上周斯坦福大学的PyPy talk；它提供了PyPy如何工作的相当不错的概述。Carl Friedrich Bolz的presentation还提供了VM实现状态的良好概述。