常见问题
在 StackExchange 上发布您的问题。
Berkeley Packet Filter (BPF)
Solana 链上程序通过 LLVM 编译器基础设施 编译为包含 Berkeley Packet Filter (BPF) 字节码变体的 可执行和可链接格式 (ELF)。
由于 Solana 使用 LLVM 编译器基础设施，程序可以用任何能够面向 LLVM 的 BPF 后端的编程语言编写。
BPF 提供了一种高效的指令集，可以在解释型虚拟机中执行，也可以作为高效的即时编译本地指令执行。
内存映射
Solana SBF 程序使用的虚拟地址内存映射是固定的，其布局如下：
- 程序代码从 0x100000000 开始
- 栈数据从 0x200000000 开始
- 堆数据从 0x300000000 开始
- 程序输入参数从 0x400000000 开始
上述虚拟地址是起始地址，但程序只能访问内存映射的一部分。如果程序尝试读取或写入未被授予访问权限的虚拟地址，将会引发程序崩溃，并返回一个包含尝试违规的地址和大小的
AccessViolation 错误。
InvalidAccountData
此程序错误可能由多种原因引起。通常是因为向程序传递了程序未预期的账户，例如指令中的位置错误或与正在执行的指令不兼容的账户。
程序的实现也可能在执行跨程序指令时忘记提供所调用程序的账户，从而导致此错误。
InvalidInstructionData
此程序错误可能在尝试反序列化指令时发生，请检查传入的结构是否与指令完全匹配。字段之间可能存在一些填充。如果程序实现了 Rust 的
Pack 特性，那么可以尝试打包和解包指令类型 T，以确定程序期望的确切编码。
MissingRequiredSignature
某些指令要求账户为签名者；如果某账户被期望签名但未签名，则会返回此错误。
当执行需要签名的程序地址的跨程序调用时，如果传递的签名种子与用于创建程序地址的签名种子不匹配，程序的实现也可能导致此错误
create_program_address。
Stack
SBF 使用栈帧而不是可变栈指针。每个栈帧的大小为 4KB。
如果程序违反了栈帧大小限制，编译器会将溢出报告为警告。
例如：
Error: Function _ZN16curve25519_dalek7edwards21EdwardsBasepointTable6create17h178b3d2411f7f082E Stack offset of -30728 exceeded max offset of -4096 by 26632 bytes, please minimize large stack variables
消息会标识哪个符号超出了其栈帧，但名称可能会被混淆。
要解混淆 Rust 符号，请使用 rustfilt。
上述警告来自一个 Rust 程序，因此解混淆后的符号名称为：
rustfilt _ZN16curve25519_dalek7edwards21EdwardsBasepointTable6create17h178b3d2411f7f082Ecurve25519_dalek::edwards::EdwardsBasepointTable::create
报告为警告而非错误的原因是某些依赖的 crate 可能包含违反栈帧限制的功能，即使程序本身未使用该功能。如果程序在运行时违反了栈大小限制，将会报告
AccessViolation 错误。
SBF 栈帧占用的虚拟地址范围从 0x200000000 开始。
堆大小
程序可以通过 Rust alloc
API 访问运行时堆。为了实现快速分配，使用了一个简单的 32KB 增量堆。该堆不支持
free 或 realloc。
在内部，程序可以访问从虚拟地址 0x300000000 开始的 32KB 内存区域，并可以根据程序的具体需求实现自定义堆。
Rust 程序通过定义自定义的
global_allocator
直接实现堆。
加载器
程序通过运行时加载器部署和执行，目前支持两种加载器 BPF Loader 和 BPF loader deprecated。
加载器可能支持不同的应用程序二进制接口，因此开发者必须为特定加载器编写程序并将其部署到相同的加载器。如果为一个加载器编写的程序被部署到另一个加载器，通常会由于程序输入参数的反序列化不匹配而导致
AccessViolation 错误。
在实际应用中，程序应始终针对最新的 BPF 加载器编写，最新的加载器是命令行界面和 JavaScript API 的默认选项。
部署
SBF 程序部署是将 BPF 共享对象上传到程序账户的数据中并将账户标记为可执行的过程。客户端将 SBF 共享对象分成较小的部分，并将它们作为
Write
指令的数据发送到加载器，加载器将这些数据写入程序的账户数据中。一旦接收到所有部分，客户端会发送一个
Finalize
指令到加载器，加载器随后验证 SBF 数据的有效性并将程序账户标记为
可执行。一旦程序账户被标记为可执行，后续交易可以发出指令让该程序处理。
当一个指令被发送到一个可执行的 SBF 程序时，加载器会配置程序的执行环境，序列化程序的输入参数，调用程序的入口点，并报告遇到的任何错误。
有关更多信息，请参阅部署程序。
输入参数序列化
SBF 加载器将程序的输入参数序列化为一个字节数组，然后将其传递给程序的入口点，程序负责在链上对其进行反序列化。弃用的加载器与当前加载器之间的一个变化是，输入参数以一种方式序列化，使得各种参数在对齐的字节数组中落在对齐的偏移量上。这使得反序列化实现可以直接引用字节数组，并为程序提供对齐的指针。
最新的加载器按以下方式序列化程序的输入参数（所有编码均为小端序）：
- 8 字节无符号账户数量
- 对于每个账户
- 1 字节，指示该账户是否为重复账户，如果不是重复账户，则值为 0xff，否则值为其重复账户的索引。
- 如果是重复账户：7 字节填充
- 如果不是重复账户：
- 1 字节布尔值，如果账户是签名者则为 true
- 1 字节布尔值，如果账户是可写的则为 true
- 1 字节布尔值，如果账户是可执行的则为 true
- 4 字节填充
- 32 字节账户公钥
- 32 字节账户所有者公钥
- 8 字节无符号账户拥有的 lamports 数量
- 8 字节无符号账户数据的字节数
- x 字节账户数据
- 10k 字节填充，用于重新分配
- 足够的填充以将偏移量对齐到 8 字节。
- 8 字节租赁 epoch
- 8 字节无符号指令数据数量
- x 字节指令数据
- 32 字节程序 id
Is this page helpful?