并行执行有静态声明与动态推测两条路线。本文以 Aptos 的 Block-STM 为样本，拆解软件事务内存式的推测执行、读集验证与按预设顺序重执行，并逐项对比 Solana 账户声明模型，说明哪些负载会从并行收益里掉出去。