高阶虚拟机2（HVM2）

**高阶虚拟机2（HVM2）**是一个大规模并行的交互组合子评估器。

通过将高级语言（如Python和Haskell）的程序编译为HVM，可以直接在大规模并行硬件（如GPU）上运行这些语言，实现接近理想的加速效果。

HVM2是HVM1的后继版本，HVM1是该概念的2022年原型。与其前身相比，HVM2更简单、更快速，最重要的是更加正确。HOC为其论文中列出的所有特性提供长期支持。

该仓库提供了一种用于指定HVM2网络的低级IR语言，以及将该语言编译为C和CUDA的编译器。它并不适合直接供人使用。如果你正在寻找一种与HVM2交互的高级语言，请查看Bend。

使用方法

免责声明：目前不支持Windows系统，请暂时使用WSL作为临时解决方案。

首先安装依赖项：

• 如果你想使用C运行时，请安装兼容C-11的编译器，如GCC或Clang。
• 如果你想使用CUDA运行时，请安装CUDA和nvcc（CUDA编译器）。
  • HVM需要CUDA 12.x，目前仅适用于Nvidia GPU。

安装HVM2：

cargo install hvm

运行HVM程序有多种方式：

hvm run    <file.hvm> # 通过Rust解释
hvm run-c  <file.hvm> # 通过C解释
hvm run-cu <file.hvm> # 通过CUDA解释
hvm gen-c  <file.hvm> # 编译为独立的C代码
hvm gen-cu <file.hvm> # 编译为独立的CUDA代码

所有模式都会产生相同的输出。编译模式需要你编译生成的文件（例如，使用gcc file.c -o file），但运行速度更快。CUDA版本具有更高的峰值性能，但稳定性较低。作为经验法则，在生产环境中应使用gen-c。

语言

HVM是高级语言的低级编译目标。它提供了一种用于连接交互网络的原始语法。例如：

@main = a
  & @sum ~ (28 (0 a))

@sum = (?(((a a) @sum__C0) b) b)

@sum__C0 = ({c a} ({$([*2] $([+1] d)) $([*2] $([+0] b))} f))
  &! @sum ~ (a (b $([+] $(e f))))
  &! @sum ~ (c (d e))

上面的文件实现了一个递归求和。如果你觉得这看起来难以理解，不用担心，它本来就不是为了方便阅读而设计的。Bend是人类可读的语言，应该被最终用户和目标为HVM的语言所使用。如果你想了解更多关于核心语法和技术的信息，请查看论文。