文章详细阐述了Solana程序的指令处理器和运行时设置。它解释了entrypoint!宏如何分发指令,以及Solana程序在no_std环境下如何使用自定义堆分配器和panic处理器来管理内存和错误处理,并区分了原生Rust和Anchor程序的实现方式。
在第一部分中,我们介绍了Solana程序输入序列化格式以及程序输入如何在内存中布局。在这一部分中,我们将介绍程序如何将传入的程序输入路由到适当的处理程序,以及入口点为了实现此功能而设置的辅助代码。
入口点函数(由 entrypoint! 宏生成)将原始字节数组反序列化为 program_id、accounts 和 instruction_data,然后将它们传递给指令处理器。指令处理器读取 instruction_data 来确定哪个处理程序应该执行——这类似于Solidity合约如何根据函数选择器路由函数调用。
指令处理器必须由你的程序本身定义。入口点不提供此函数,它只定义你的指令处理器必须匹配的类型签名。此类型定义为:
Copypub type ProcessInstruction = fn(program_id: &Pubkey, accounts: &[AccountInfo], instruction_data: &[u8]) -> ProgramResult;
你的程序必须创建一个匹配此签名(接受这三个程序输入并返回 ProgramResult)的函数,然后将其传递给 entrypoint! 宏(我们将在下面看到这如何工作)。你如何创建此函数取决于你是使用Anchor还是编写原生Rust程序。
在原生Rust程序中,你定义一个具有此确切签名的函数并将其传递给我们之前提到的 entrypoint! 宏。此函数通过检查指令数据来处理指令路由逻辑,以确定要调用哪个函数。我们的原生Rust Solana程序系列详细介绍了如何实现这一点。
在Anchor程序中,#[program] 宏会自动为你生成指令处理器。#[program] 模块中的每个公共函数都成为一个指令处理程序,Anchor根据从函数名派生的 discriminator 生成路由逻辑。这是Anchor抽象掉样板代码并使程序开发更便捷的方式之一。
当指令处理器返回 Ok(()) 时,入口点返回 SUCCESS (0)。如果它返回一个错误,入口点将该错误转换为错误代码并返回。
以下是 entrypoint! 宏中所有部分的组合方式:
Copy#[macro_export]
macro_rules! entrypoint {
($process_instruction:ident) => {
/// # 安全性
#[no_mangle]
pub unsafe extern "C" fn entrypoint(input: *mut u8) -> u64 {
let (program_id, accounts, instruction_data) = unsafe { $crate::deserialize(input) };
match $process_instruction(program_id, &accounts, instruction_data) {
Ok(()) => $crate::SUCCESS,
Err(error) => error.into(),
}
}
$crate::custom_heap_default!();
$crate::custom_panic_default!();
};
}
该宏生成的代码会反序列化输入(使用我们之前讨论的 deserialize 函数)以提取三个程序输入,将它们传递给你的 process_instruction 函数,并处理结果。
请注意最后另外两个宏调用:custom_heap_default!() 和 custom_panic_default!()。这些宏设置了你的程序运行所需的关键基础设施,所以让我们看看它们的作用。
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!