论文部分内容阅读
介绍上海证券交易所新一代交易系统中的事务建模和事务恢复技术。使用形式化语言描述证券交易事务模型，分析故障恢复的各种情况。证券交易系统的事务日志模型支持进程及主机热备切换和重启等应用场景。介绍实践中采用的优化技术，并对事务模型进行扩展。证券交易事务的建模丰富了事务信息系统模型的应用场景，为其他领域高性能高可用性系统的架构设计提供了参考。