vb翻译成java ai VB翻译成JS

转载

mob64ca13fb6939 2023-11-23 11:10:57

文章标签 vb翻译成java ai 瞎折腾 LLVM 线程模型贪吃蛇 文章分类 Java 后端开发

利用现有的工具，将 LLVM 中间码翻译成 JavaScrpt，最终在浏览器中运行 6502 版贪吃蛇 Demo

上一篇，我们顺利将 6502 指令翻译成 C 代码，并演示了一个案例。

现在，我们来完成最后的目标 —— 转换成 JavaScript。

中间码输出

我们之所以选择 C，就是为了使用 LLVM。现在来看看，生成的 LLVM 中间表示：

vb翻译成java ai VB翻译成JS_LLVM

不难看出，顺序执行的逻辑都在一个 label 中，跳转则用 br 符号。

这种风格，和我们之前讨论的指令切割非常相似。一个 label 块，正好翻译成一个 block_xxx 的 JS 函数。

所以，理论上翻译成 JS 并不困难，写一个 LLVM backend 插件即可。

现有工具

不过，实际操作起来还是挺麻烦的。

LLVM 中间码和汇编差不多，一步一个操作。如果直接翻译，生成的 JS 会很累赘，类似这样：

$301 = MEM[16];
$302 = $301 + 10;
$303 = ($302 == 0);
if ($303) {
    ...
}

如果能将多步操作合并成一行 JS，则会简洁得多。另外，变量名分配和重用，也是比较麻烦的。

事实上 LLVM 输出成 JS，前辈们早就尝试过了。例如 emscripten，目前已非常成熟。所以，我们不如就用现成的工具吧。

emscripten 是如何处理流程及跳转的？其实和我们之前讨论的切割类似，也是用额外的变量模拟流程。只不过它是用数字变量，而不是函数变量。

例如这样的流程：

a:  xx 1
    goto c
b:  xx 2
    goto a
c:  xx 3
    goto b

生成的 JS 类似这样：

while (1) {
    switch (label) {
    case 1:
        xx 1
        label = 3; continue;
    case 2:
        xx 2
        label = 1; continue;
    case 3:
        xx 3
        label = 2; continue;
    }
}

使用数字，就可以在同个 function 里控制流程，因此更合理一些。

但如果流程复杂，则会陷入众多的判断。哪个方案更好，还得看浏览器的实际优化能力。

线程模型

既然要在浏览器中运行，当然就不能用 sleep 了，取而代之的是 yield。

但 emscripten 生成的代码，显然是不会有 yield 的。因此，我们得手动实现上下文的切换。

我们在切出前，记住当前的流程位置，然后 return；下次调用时，根据上一次的流程位置，跳转到相应的地方继续执行（用上一篇提到的动态表）。

这样，就符合浏览器的线程模型了。

接口交互

之前为了演示，使用新线程 + getchar() 来接受输入，这显然不符合浏览器的模型。

我们得监听键盘事件，在回调中更新相应的内存数据。

不过，emscripten 内置了 SDL 框架（类似于 DirectX），它封装了各种事件处理、图形渲染、音频播放等，非常实用。

SDL 会把消息记录在自己的队列里。任何时候，我们可以通过 Poll 的方式去拉取。这样就避免了回调，也不会有阻塞。

因此最终的模型，就类似这样：

void render() {
    cycle_remain = N;

    input();        // 获取输入
    update();       // 指令逻辑（执行到 cycle_remain <= 0）
    output();       // 屏幕输出
}

// 通过浏览器的 rAF 接口实现
emscripten_set_main_loop(render);