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

关键词: 事务信息系统, 事务恢复, 热备切换

Abstract: This paper describes transaction modeling and transactional recovery mechanism in next generation trading system of Shanghai Stock Exchange. A transaction model for stock trading is defined by a formal language. Various situation of recovery is analyzed based on this model. A transactional audit model is proposed to support failover and restart scenarios of processes and hosts. Several technologies in practice for performance enhancement are introduced, which extend the transaction model. It enriches the applications of transactional information system model and provides reference for architecture designers on enterprise systems with intensive transactions.

Key words: transactional information systems, transactional recovery, hot failover

中图分类号: 

• TP391