关于交易系统的执行和一致性