Stellar-Core交易验证性能优化：后台预处理与快速失败机制

在分布式账本系统Stellar-Core中，交易处理性能一直是影响系统吞吐量和响应速度的关键因素。近期开发团队针对交易验证流程进行了深度优化，通过引入后台预处理机制显著提升了系统性能。本文将详细解析这项优化的技术实现与设计考量。

背景与挑战

传统Stellar-Core的交易处理流程中，所有交易验证工作都在主线程同步执行，这导致两个主要性能瓶颈：

1. 签名验证等CPU密集型操作阻塞事件循环
2. 无效交易仍会消耗完整的验证资源

特别是在切换到BucketList快照机制后，LedgerTxn内部条目缓存的丢失进一步放大了性能问题。团队需要设计一个既能保持系统稳定性，又能显著提升处理效率的解决方案。

技术方案演进

开发团队提出了三个渐进式的优化方案：

方案一：签名验证后台化

• 仅将密码学签名验证移至后台线程
• 保持现有验证流程不变
• 优势：改动最小，线程安全性最容易保证

方案二：完整checkValid后台化

• 将整个TransactionFrame::checkValid移至后台
• 需要重构避免直接访问Application对象
• 优势：覆盖更多验证逻辑

方案三：全流程后台化

• 将TransactionQueue::canAdd整个移至后台
• 需要处理复杂的线程同步问题
• 优势：保持现有检查顺序

经过性能剖析和可行性评估，团队最终选择了更具突破性的方案——完全解耦覆盖层(overlay)与交易队列的依赖关系。

核心创新实现

独立交易池设计

• 覆盖层维护专属的交易内存池
• 采用无锁数据结构避免线程竞争
• 实现交易验证与转发的完全并行化

分层验证架构

1. 快速失败层：在后台线程执行轻量级检查（签名、基础结构）
2. 严格验证层：在主线程执行状态相关检查
3. 异步洪水传播：有效交易立即进入传播通道

性能优化关键点

• 签名缓存复用：后台验证结果主线程直接复用
• 验证流水线：不同阶段验证任务并行执行
• 资源隔离：网络IO与CPU计算负载分离

技术挑战与解决方案

线程安全保证

• 使用线程局部存储(TLS)管理验证上下文
• 快照机制确保账本状态一致性
• 原子操作维护共享数据结构

性能平衡

• 动态批处理机制平衡洪水传播频率
• 后台线程池大小根据系统负载动态调整
• 主线程优先级保障关键路径延迟

实际效果

该优化已通过主网压力测试验证：

• 无效交易处理耗时降低90%+
• 网络洪水传播延迟减少50%
• 主线程负载下降40%
• 系统整体TPS提升35%

这项改进不仅显著提升了Stellar网络的性能表现，其分层验证架构也为未来更复杂的智能合约验证奠定了基础。通过精心的线程模型设计和资源隔离，在保持系统稳定性的同时实现了质的性能飞跃。