一、概述

该文章是对近期关于rbpf虚拟机文章的整理和回顾。

其中包括了验证器、汇编器和反汇编器、op码、即时编译器(JIT)、执行速度测试、打包和代码执行、不同码关系、Call指令相关文章。我认为这些是rbpf虚拟机中比较重要的概念以及技术。

(学习该虚拟机的目的是为了搞懂solana合约的执行方式,solana使用的rbpf是在该虚拟机上进行扩展。)

二、文章链接

1. [验证器]
2. [汇编器和反汇编器]
3. [即时编译器]
4. [码]
5. [op码]
6. [call指令]
7. [打包和代码执行]
8. [JIT和解释执行对比]

三、功能和关键点

1. 验证器:验证器提供了包括一系列对字节码程序的检查。包括:
   check_prog_len - 程序长度检查
   check_load_dw - LD_DW指令检查
   check_jmp_offset - 跳转指令检查
   check_registers - 寄存器访问检查
2. 汇编器和反汇编器:

• 汇编器通过汇编指令进行字符分根，并通过循环的方式将其转换为而进行字节码数据。使用到了combine库进行分割和转换。
• 反汇编器通过循环从map中获取与字节对应的字符串指令的方式，将其转换为汇编码格式。

3. 即时编译器:即时编译器通过x86-64调用标准完成字节码到机器码的转换。
4. 码:通过对字节码、汇编码、机器码的区别，在调用时的分层。

• 汇编码是语言
• 字节码是编译后的中间环节
• 机器码则属于执行环节

6. op码: 也叫opcode,是区分不同指令之间作用的关键字，其对应在汇编码中为"mov"等前缀。
7. call指令:call指令为调用辅助函数时必要的指令，需要执行程序前进行注册，本质上为map存储的<key,value>值。
8. 打包和代码执行: 对clang进行部署和打包，以及打包文件的反编译，可以清晰的看到打包文件的字节码。对代码的执行实际为对字节码程序的执行，其中用到了elf库。
9. JIT和解释执行对比: 对JIT和解释执行进行速度对比，对JIT执行的执行速度有了更直观的印象，发现JIT在使用CALL调用辅助函数时，几乎不会产生任何加速。

四、总结

这就是对rbpf虚拟机内容的阶段整理，方便大家查阅，自己也学习到了很多东西。如果您在文章中发现任何逻辑或理解错误，请在评论中留下您宝贵的意见。

代码来源:rbpf虚拟机
鸣谢: qmonnet 提供的开源代码.

当然,我也会将带有中文注释和自己理解的一些代码上传的我的github页面,感兴趣的朋友可以进行clone查看.