永续合约交易系统中有哪些必须保证的不变量？

考察意图

• 考察候选人是否具备账本和一致性思维。
• 考察是否能从系统正确性角度回答交易平台问题。

答题思路

1. 先说仓位守恒。
2. 再说资产和账本守恒。
3. 最后说事件幂等和日志重放一致。

参考答案

一个核心不变量是所有账户净仓位之和应该接近 0。每笔成交中，买方增加的仓位数量应等于卖方减少或增加的相反方向数量。

资金层面，资产不能凭空创造或销毁。手续费、资金费、盈亏结转和保险基金变动都应能通过账务分录对平。账本余额应等于历史账务分录汇总。

事件层面，同一成交、资金费或清算事件不能被处理两次。系统从快照加日志重放后，状态应与故障前一致。如果这些不变量被破坏，就说明系统出现了资金、仓位或事件处理错误。

加分追问

• 资金系统最好采用复式记账或等价的借贷平衡模型。