rbpf虚拟机-call指令

文章目录

    • 一、概述
      • 背景知识
    • 二、`call` 指令的主要方法
      • 2.1 注册辅助函数
      • 2.2 执行辅助函数
    • 三、完整代码示例与详解
      • 3.1 示例辅助函数
      • 3.2 测试虚拟机的 `call` 指令
        • 测试代码
        • 代码解析
    • 四、总结

Welcome to Code Block's blog

本篇文章主要介绍了
[rbpf虚拟机-call指令]
❤博主广交技术好友,喜欢我的文章的可以关注一下❤


一、概述

本文重点介绍 RBPF(eBPF 的一种变体)虚拟机中 call 指令的作用与使用方式。

学习 RBPF 虚拟机的目的在于理解 Solana 合约的执行方式,因为 Solana 所使用的 RBPF 是在该虚拟机的基础上进行了功能扩展。

背景知识

在虚拟机的机器指令执行过程中,某些复杂功能(如获取当前时间、生成随机数等)无法通过基础计算功能实现,这时就需要调用自定义的辅助函数来拓展虚拟机的功能。

call 指令的格式如下:

call <key>

二、call 指令的主要方法

2.1 注册辅助函数

要使用辅助函数,首先需要对其进行注册。注册的过程是向 helpers 中添加辅助函数的实现,代码如下:

pub fn register_helper(&mut self, key: u32, function: Helper) -> Result<(), Error> {self.helpers.insert(key, function); // 将辅助函数以 `key-value` 的形式存入 `helpers`Ok(())
}

说明

  1. 方法会在实际使用前进行注册。
  2. 辅助函数的名称(或标识)会通过 key 被存储,并在执行 execute_program 方法时通过 key 被调用。

2.2 执行辅助函数

在虚拟机的 execute_program 方法中,当遇到 call 指令时,会调用如下处理逻辑:

ebpf::CALL => {if let Some(function) = helpers.get(&(insn.imm as u32)) { // 根据指令中的 `key` (`insn.imm`) 查找对应的辅助函数reg[0] = function(reg[1], reg[2], reg[3], reg[4], reg[5]); // 调用辅助函数,并将寄存器 r1 - r5 的值作为参数传入,// 将返回值存入寄存器 r0} else {Err(Error::new(ErrorKind::Other,format!("Error: unknown helper function (id: {:#x})", insn.imm as u32),))?;}
}

说明

  1. 如果找到与 key 匹配的辅助函数,则会传入 r1r5 五个寄存器的值作为参数进行调用。
  2. 调用结果会存储在 r0寄存器中。
  3. 如果未找到对应的辅助函数,则会返回错误提示。

三、完整代码示例与详解

3.1 示例辅助函数

以下是一个辅助函数 memfrob 的实现,功能是将指针指向的内存中每位与 0b101010 做异或运算:

#[allow(unused_variables)]
pub fn memfrob(ptr: u64, len: u64, unused3: u64, unused4: u64, unused5: u64) -> u64 {for i in 0..len {unsafe {let p = (ptr + i) as *mut u8; // 将指针偏移至当前操作地址*p ^= 0b101010; // 按位异或操作}}0 // 返回固定值(实际业务逻辑可能不同)
}

3.2 测试虚拟机的 call 指令

以下是一段测试代码,验证带有 call 指令的程序在 RBPF 虚拟机中的执行效果:

测试代码
#[test]
fn test_vm_call_memfrob() {// 汇编程序中有 call 指令,编号为 1let prog = assemble("mov r6, r1add r1, 2mov r2, 4call 1       // 调用编号为 1 的辅助函数ldxdw r0, [r6]be64 r0exit",).unwrap();// 定义测试时使用的内存let mem = &mut [0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08];// 创建虚拟机并加载程序let mut vm = rbpf::EbpfVmRaw::new(Some(&prog)).unwrap();// 注册辅助函数,辅助函数 key 为 1,指向 memfrobvm.register_helper(1, helpers::memfrob).unwrap();// 执行虚拟机程序,并验证返回结果assert_eq!(vm.execute_program(mem).unwrap(), 0x102292e2f2c0708);
}
代码解析
  1. 汇编程序解析
    mov r6, r1:将 r1 的值移动到 r6
    add r1, 2:将寄存器 r1 的值加 2。
    mov r2, 4:将值 4 写入寄存器 r2
    call 1:调用编号为 1 的辅助函数(即 memfrob)。
    ldxdw r0, [r6]:从 r6 指向的内存地址加载 64 位数据到 r0
    be64 r0:执行特定操作(分支或跳转),依赖于架构实现。
    exit:退出程序。

  2. 关键步骤
    vm.register_helper(1, helpers::memfrob):将 memfrob 函数注册到虚拟机,编号为 1,以供汇编程序中的 call 1 调用。
    vm.execute_program(mem):加载并执行虚拟机程序。
    assert_eq!(...):验证虚拟机程序的执行结果是否符合预期。


四、总结

  1. call 指令的作用
    call 指令用于在程序中调用注册过的辅助函数,拓展虚拟机的功能。
    • 这使得虚拟机能够处理复杂逻辑,如内存操作、时间获取、随机数生成等。

  2. 注册与调用过程
    • 辅助函数需提前通过 register_helper 方法注册,并与唯一的 key(通常为 u32)绑定。
    • 在汇编程序中,通过 call <key> 指令调用辅助函数,虚拟机会根据 key 查找对应的函数并执行。

  3. 代码结构
    register_helper:用于注册辅助函数。
    execute_program:虚拟机程序执行的核心,包含 call 指令的分发逻辑。
    • 示例程序展示了虚拟机如何使用注册的辅助函数,以及如何验证执行结果。

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

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

我的GitHub:forked


感谢您的点赞、关注、收藏!
在这里插入图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/42382.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Java构造函数与普通函数

1.概解 tips&#xff1a; 1.声明函数主要用public/private&#xff0c;public可以在其他函数中访问。 2.public后面跟函数返回类型&#xff0c;void表示无返回值。 3.main函数是自动执行的构造函数&#xff0c;而其他函数除非被调用则不会被自动执行 运行结果&#xff1a…

MySQL: 创建两个关联的表,用联表sql创建一个新表

MySQL: 创建两个关联的表 建表思路 USERS 表&#xff1a;包含用户的基本信息&#xff0c;像 ID、NAME、EMAIL 等。v_card 表&#xff1a;存有虚拟卡的相关信息&#xff0c;如 type 和 amount。关联字段&#xff1a;USERS 表的 V_CARD 字段和 v_card 表的 v_card 字段用于建立…

A2 最佳学习方法

记录自己想法的最好理由是发现自己的想法&#xff0c;并将其组织成可传播的形式 (The best reason for recording what one thinks is to discover what one thinks and to organize it in transmittable form.) Prof Ackoff 经验之谈&#xff1a; 做培训或者写文章&#xff…

六十天前端强化训练之第三十二天之Babel 转译配置大师级深度讲解

欢迎来到编程星辰海的博客讲解 看完可以给一个免费的三连吗&#xff0c;谢谢大佬&#xff01; 目录 一、核心概念与知识体系详解 1. Babel 工作原理全景解析 二、完整配置方案&#xff08;带详细注释&#xff09; 1. 进阶版 .babelrc 配置 2. Webpack 集成配置&#xff08…

Linux 下安装和使用 Jupyter Notebook

Jupyter Notebook / Lab 是 Python 开发和数据分析中不可或缺的工具。为了避免环境污染&#xff0c;推荐使用虚拟环境方式安装并启动它。本教程将教你如何&#xff1a; 安装 Python、pip、venv使用虚拟环境安装 Jupyter设置登录密码启动并远程访问编写一个一键启动脚本&#x…

【云成本优化案例】K8s计费探针让跨境电商企业节省30%云预算

01. 财务“谜案”&#xff1a;消失的30%云预算 "我们的K8s集群资源利用率高达78%&#xff0c;但业务部门总说云账单对不上。"某跨境电商企业CTO的报案记录&#xff0c;揭开了一场云原生时代的财务谜案。该企业技术团队自查了所有资源配额和HPA配置&#xff0c;却始…

PyTorch 分布式训练(Distributed Data Parallel, DDP)简介

PyTorch 分布式训练&#xff08;Distributed Data Parallel, DDP&#xff09; 一、DDP 核心概念 torch.nn.parallel.DistributedDataParallel 1. DDP 是什么&#xff1f; Distributed Data Parallel (DDP) 是 PyTorch 提供的分布式训练接口&#xff0c;DistributedDataPara…

蓝桥杯[每日一题] 真题:连连看

题目描述 小蓝正在和朋友们玩一种新的连连看游戏。在一个 n m 的矩形网格中&#xff0c;每个格子中都有一个整数&#xff0c;第 i 行第 j 列上的整数为 Ai, j 。玩家需要在这个网格中寻找一对格子 (a, b) − (c, d) 使得这两个格子中的整数 Aa,b 和 Ac,d 相等&#xff0c;且它…

Linux环境下安装部署Docker

windows下连接Linux&#xff1a; 打开终端&#xff1a; //ssh远程连接 ssh root192.168.xx.xx//输入账号密码 root192.168.xx.xxs password: ssh连接成功&#xff01; 安装Docker&#xff1a; //安装Docker yum install -y yum-utils device-mapper-persistent-data lvm2 …

k近邻算法K-Nearest Neighbors(KNN)

算法核心 KNN算法的核心思想是“近朱者赤&#xff0c;近墨者黑”。对于一个待分类或预测的样本点&#xff0c;它会查找训练集中与其距离最近的K个样本点&#xff08;即“最近邻”&#xff09;。然后根据这K个最近邻的标签信息来对当前样本进行分类或回归。 在分类任务中&#…

Appium中元素定位之一个元素定位API

应用场景 想要对按钮进行点击&#xff0c;想要对输入框进行输入&#xff0c;想要获取文本框的内容&#xff0c;定位元素是自动化操作必须要使用的方法。只有获取元素之后&#xff0c;才能对这个元素进行操作。 在 Java 中使用 Appium 定位元素时&#xff0c;可以通过多种方式…

Dify 服务器部署指南

1. 系统要求 在开始部署之前&#xff0c;请确保你的服务器满足以下要求&#xff1a; 操作系统&#xff1a;Linux&#xff08;推荐使用 Ubuntu 20.04 或更高版本&#xff09;内存&#xff1a;至少 4GB RAM存储&#xff1a;至少 20GB 可用空间网络&#xff1a;稳定的互联网连接…

Sa-Token

简介 Sa-Token 是一个轻量级 Java 权限认证框架&#xff0c;主要解决&#xff1a;登录认证、权限认证、单点登录、OAuth2.0、分布式Session会话、微服务网关鉴权 等一系列权限相关问题。 官方文档 常见功能 登录认证 本框架 用户提交 name password 参数&#xff0c;调用登…

ADZS-ICE-2000和AD-ICE2000仿真器在线升级固件

作者的话 近期发现有些兄弟的ICE-2000仿真器链接DSP报错&#xff0c;然后test第四步不通过&#xff0c;我就拿我的仿真器也试了一下&#xff0c;发现ADI悄咪咪的在线升级仿真器固件&#xff0c;有些兄弟不会操作&#xff0c;就会导致仿真器升级失败&#xff0c;连不上目标板&a…

C++概述

1 什么是面向对象】 概念上来说&#xff1a;就是以对象(具体的变量)为导向的编程思路 专注于&#xff1a;一个对象具体能实现哪些过程(哪些功能) 面向对象 n * 面向过程 结论&#xff1a;面向对象需要做的事情 1&#xff1a;我们要想清楚&#xff0c;我们现在需要编写一个…

Java 大视界 -- 基于 Java 的大数据隐私计算在医疗影像数据共享中的实践探索(158)

&#x1f496;亲爱的朋友们&#xff0c;热烈欢迎来到 青云交的博客&#xff01;能与诸位在此相逢&#xff0c;我倍感荣幸。在这飞速更迭的时代&#xff0c;我们都渴望一方心灵净土&#xff0c;而 我的博客 正是这样温暖的所在。这里为你呈上趣味与实用兼具的知识&#xff0c;也…

数字化如何赋能食品抽检全流程升级,助力食品安全监管现代化

食品安全是关乎民众健康和社会稳定的重要问题。食品抽检作为保障食品安全的核心监管手段&#xff0c;通过对食品生产、加工、销售等环节的随机抽样检测&#xff0c;及时发现潜在的食品安全问题&#xff0c;防止不合格产品流入市场&#xff0c;同时为政府监管、企业自查和消费者…

HBase入门教程

HBase入门教程 HBase是一个开源的、分布式的、版本化的非关系型数据库&#xff0c;是Apache Hadoop生态系统的重要组成部分。本文将全面介绍HBase的基础知识&#xff0c;帮助你快速入门。 文章目录 HBase入门教程1. HBase简介1.1 什么是HBase&#xff1f;1.2 HBase核心特点 2.…

vscode连接服务器失败问题解决

文章目录 问题描述原因分析解决方法彻底删除VS Code重新安装较老的版本 问题描述 vscode链接服务器时提示了下面问题&#xff1a; 原因分析 这是说明VScode版本太高了。 https://code.visualstudio.com/docs/remote/faq#_can-i-run-vs-code-server-on-older-linux-distribu…

redis常用部署架构之redis分片集群。

redis 3.x版本后开始支持 作用&#xff1a; 1.提升数据读写速度 2..提升可用性 分片集群就是将业务服务器产生的数据储存在不同的机器上。 redis分片集群的架构 如上图所示&#xff0c;会将数据分散存储到不同的服务器上&#xff0c;相比于之前来说&#xff0c;redis要处…