证券交易系统中的事务恢复方法

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

证券交易系统中的日志复制

介绍上海证券交易所新一代交易系统中的日志复制和热备切换技术。首先介绍日志和复制的概念与特性,提出基于内存的事务日志模型。其次介绍实现模型的数据结构、功能模块和主机部署情况,描述正常日志复制的机制和主机热备切换的机制。之后介绍在算法优化和操作系统特性方面的性能优化工作。对证券交易系统日志复制方面的建模和主机热备切换机制的设计为其它领域企业级高性能高可用性系统的架构设计提供了参考。

一种制造企业分布式事务处理系统的节点模型

该文根据在某国有大型家电企业集团实施企业信息化的经验,总结并提出了一种适合我国制造业信息化硬件平台水平的分布式事务处理的节点模型,并展示了该模型的实际应用,讨论了该模型的优点与不足之处。