北京
向量运算已经跑得比原生 Rust 还快，但一个简单的标量循环反而成了瓶颈——不是因为算力不够，而是每次循环都要穿过闭包调度的“收费站”。在 V.E.L.O.C.I.T.Y.-OS 项目里，大规模矩阵乘法可以跑出离线编译的性能，可一旦遇到带变量声明、条件判断的短循环，闭包链的开销就把加速效果吃干抹净了。这让开发者不得不面对一个经典权衡：要么忍受调度开销，要么为标量代码另辟一条“高速公路”。
他们选择了后者。团队在运行时编译器中加入了一个标量检测器，专门识别只包含整数运算、变量绑定、加载、存储、比较、条件分支和循环等操作的 AST 块。一旦判定某个块是“纯标量”的，编译路径就不再生成闭包，而是直接把 x86‑64 机器指令写进可执行内存页。这相当于绕过了所有中间层，用一次 JIT 编译换来后续每次调用时的零调度成本。
从代码设计上看，这个编译器的序言部分把细节拉满了。函数开头先压栈 rbp，再依次 push rbx、r12 到 r15 这几个被调用者保存寄存器，保证 JIT 生成的代码不会破坏调用方的现场。随后调整 rsp，分配 128 字节的栈帧，接着把传入的变量指针加载到 r10，再根据变量槽的数量，将最多 4 个标量变量直接映射到 r12‑r15 这四个通用寄存器。所有的加载都走“距 rcx 偏移量”的寻址模式，完全省掉了从内存反复读变量的开销。如果变量槽超出 4 个，编译器会直接放弃这次标量优化，退回到普通路径——用硬编码的界限来换取零判断的寄存器分配逻辑。
这套机制对调用约定也做了严格对齐，遵循的是 UEFI/Windows 环境下的 Microsoft x64 规范：变量指针经 RCX 传入，栈指针走 RDX，栈索引跟踪器由 R8 接管。正是因为调用了与系统 ABI 一致的方式，生成的机器码可以直接融入自修复操作系统的其余部分，而不需要额外的转换层。这也是 V.E.L.O.C.I.T.Y.-OS 所追求的“裸金属”风格的延续——整个系统跑在 CPU 三级缓存内，每一条额外的 mov 指令都可能成为延迟的源头，所以寄存器分配不仅要快，更要能静默适应不同操作系统调用约定的差异。
虽然目前标量 JIT 还只支持 4 个寄存器变量，但它已经解决了一个很实际的问题：在大量短循环混杂的场景下，让那些原来被调度成本淹没的小型计算块真正跑出接近理论速度的表现。作为这项 12 部分系列的第 6 步，它让一个完全在缓存内运行、具备自愈能力的操作系统，在性能堆栈上又往上挪了一小层。下一步，想必就是让这套编译管线的覆盖面继续拓宽，把更多运算模式从闭包的“海关”里解放出来。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
