Forwarded from sterprim | SIGTERM
2382553_2382554_Bringing_Virtualization_to_the_x86_Architecture.pdf
984.4 KB
浅玩了一下 wasm。试了在 C 中调用 JavaScript 函数、在 JavaScript 中调用 C 函数、在 JavaScript 中调用 C 函数指针。LLVM 和 wabt 都蛮好用，和 JavaScript 的交互也很符合直觉。
尝试了一下 emscripten，但很快就放弃了，用过感觉人都不干净了。
尝试了一下 emscripten，但很快就放弃了，用过感觉人都不干净了。
接上：
目标是想实现一个在浏览器上运行的全系统 RISC-V 模拟器跑 Linux，预期性能要远高于 TinyEMU 才有意义。原本是想基于 TinyEMU 改改，但最终还是决定自己从头实现。
目前调研了和 TinyEMU 相同的单线程执行模型，即模拟器是单核的，然后运行一定周期后，退回到 JavaScript，然后再 setTimeout(run, 0) 重新进入 wasm，避免堵塞 UI。
接下来 --
1. 调研 Service workers，看有没有可能每个 CPU 一个 worker，然后起一个多核系统？
2. 调研在 wasm 中 JIT 的可能性，即在 C 中把 guest 按 basic block 生成 wasm 字节码传给 JavaScript，后者将其动态生成并注册成 wasm 模块，然后通过 indirect call 调用 wasm 模块。
3. 调研是否可以用 IndexedDB 实现文件系统。
目标是想实现一个在浏览器上运行的全系统 RISC-V 模拟器跑 Linux，预期性能要远高于 TinyEMU 才有意义。原本是想基于 TinyEMU 改改，但最终还是决定自己从头实现。
目前调研了和 TinyEMU 相同的单线程执行模型，即模拟器是单核的，然后运行一定周期后，退回到 JavaScript，然后再 setTimeout(run, 0) 重新进入 wasm，避免堵塞 UI。
接下来 --
1. 调研 Service workers，看有没有可能每个 CPU 一个 worker，然后起一个多核系统？
2. 调研在 wasm 中 JIT 的可能性，即在 C 中把 guest 按 basic block 生成 wasm 字节码传给 JavaScript，后者将其动态生成并注册成 wasm 模块，然后通过 indirect call 调用 wasm 模块。
3. 调研是否可以用 IndexedDB 实现文件系统。
❤1
(module
(func (export "throw")
unreachable
)
)
unreachable 在 C 中可以用 __builtin_trap(); 生成，是 unconditional trap。#DynamoRIO 遇到瓶颈了，再接下来推进工作感觉需要对 dr 的 codebase 有更深入的理解才行了。打算再读一遍那篇论文，看看有没有新收获；然后更完整地读 Aarch64 port 的代码，把一个 nontrivial 的程序在 dr 中运行的各种细节搞清楚。
🔥2❤1
思考了一下如何在 WebAssembly 这种哈弗架构中做 JIT：
主模块中需要导出的东西：
1.
2.
在主模块中动态生成 Wasm Module Binary（JIT 模块），放到
JavaScript 在实例化模块后，需要做 late linking，把 JIT 模块导出的函数注册到主模块的
另外 JIT 模块导出的函数也会直接读写主模块的内存，减少数据交换。这就要求 JIT 模块导入主模块的
当主模块需要调用 JIT 出来的函数时，使用
主模块中需要导出的东西：
1.
indirect function table ：实现“函数指针”调用2.
memory ：用于把动态生成的 wasm module 传给 JavaScript在主模块中动态生成 Wasm Module Binary（JIT 模块），放到
memory 里面，然后调用 JavaScript，JavaScript 从 memory 拿到数据后编译并实例化模块。JavaScript 在实例化模块后，需要做 late linking，把 JIT 模块导出的函数注册到主模块的
indirect function table 。另外 JIT 模块导出的函数也会直接读写主模块的内存，减少数据交换。这就要求 JIT 模块导入主模块的
memory ，这一步可以在 JIT 模块初始化时完成。当主模块需要调用 JIT 出来的函数时，使用
call_indirect $function_table_index 即可。[11:18 PM] ksco: I was tired of debugging so I took a nap, after waking up, it took me like 5 minutes to find the cause.
[11:19 PM] ksco: amazing.
[11:19 PM] ksco: amazing.