jart/blink：最小的 x86-64-linux 模拟器

22-12-29 banq

blink是一个虚拟机，用于在不同的操作系统和硬件架构上运行静态编译的x86-64-linux程序。

它被设计成与qemu-x86_64命令做同样的事情，除了：
  • (a) Blink不是一个4mb的二进制文件，而是只有大约166kb的占用空间；以及
  • (b) Blink在一些基准上比Qemu快2倍，比如模拟GCC。Blink没有Qemu那么多的功能。


当你想要一个非常小的虚拟机，并且运行短暂的程序快得多时，Blink是一个非常合适的选择。

定期测试 Blink 是否能够在以下平台上运行 x86-64-linux 二进制文件：
  • Linux（x86、ARM、MIPS、PowerPC、s390x）
  • MacOS（x86，ARM）
  • FreeBSD
  • OpenBSD
  • NetBSD

Blink 依赖于以下库：
  • libc (POSIX.1-2017)

Blink 可以在具有以下条件的 UNIX 系统上编译：
  • C11 编译器（例如 GCC 4.9.4+）
  • 现代 GNU Make（即不是 XCode 附带的那个）



blink 是一个用于 POSIX 平台的 x86-64 解释器，它是用与 C++ 编译器兼容的 ANSI C11 编写的。指令解码是使用我们精简版的英特尔反汇编程序 Xed 完成的。

该项目的主要目标是充当由 Cosmopolitan Libc 编译的用户空间二进制文件的虚拟机。然而，我们也成功地虚拟化了使用 Glibc 和 Musl Libc 编译的程序，例如 GCC 和 Qemu。Blink 支持一百多个 Linux 系统调用 ABI，包括 fork() 和 clone()。支持 SSE2、SSE3、SSSE3、POPCNT、CLMUL、RDTSCP 和 RDRND 硬件 ISA。Blink 的遗留 x87 FPU 目前仅支持双精度（64 位），就像 Windows 一样。
Blink 使用即时编译，在 x86_64 和 aarch64 上都支持。Blink 在 Apple 和 OpenBSD 等平台上采取适当的步骤来解决与 JIT 相关的限制。

Blink 使用即时编译，在 x86_64 和 aarch64 上都支持。

Blink 使用与硬件本身相同的 PML4T 方法来虚拟化内存，其中内存查找是通过四级基数树间接进行的。

Blink 支持 16 位 BIOS 程序，例如 SectorLISP。

Blink 支持对操作系统引导加载程序进行故障排除。Blink 是为 Cosmopolitan Libc 设计的，它在它编译的每个二进制文件中嵌入了一个操作系统。