硬件限价订单簿构建器:每个时钟周期消化一条交易所消息——不停顿,开盘风暴下也不 排队。功能正确性用真实 NASDAQ 行情数据逐条消息、逐比特验证。
七级流水线维护各价位深度,处理新增、成交、撤单、删除与交易状态 事件,在 AMD Alveo 级器件上以满时钟速率维持每周期一条消息。
对交易基础设施而言,唯一有意义的正确性 证明,是对照真实记录的市场数据。
| 验证证据 | 结果 |
|---|---|
| 合成压力流(20,000 个操作,覆盖全部消息类型) | 25,962 周期逐比特一致 实测 |
| 真实 NASDAQ 回放(LOBSTER,AMZN 全交易日截取) | 每周期逐比特一致 实测 |
| 黄金参考 | 与活跃维护的开源回测引擎逐行交叉验证 |
| 资源占用(顶层) | 610 LUT / 1,726 FF / 16 BRAM36 实测 |
多符号扩展引入层级化符号缓存——热门符号驻留片上 BRAM,温符号在 URAM,全市场驻留 HBM——单卡跟踪整个股票市场,热路径延迟保持不变。黄金模型已完成并 验证;硬件集成进行中。研发中
开盘消息风暴会击穿那些只能"平均"达标的设计。II=1 流水线没有"平均"——最坏情况 等于最好情况,您的策略永远不会在最关键的时刻读到陈旧的订单簿。