事务信息系统相关论文
介绍上海证券交易所新一代交易系统中的日志复制和热备切换技术。首先介绍日志和复制的概念与特性,提出基于内存的事务日志模型。......
介绍上海证券交易所新一代交易系统中的事务建模和事务恢复技术。使用形式化语言描述证券交易事务模型,分析故障恢复的各种情况。证......