基于M2PC协议的分布式事务管理方法研究

结合一个点对点模式分布式多数据库系统,研究一种分布式事务管理方法并提出一种基于数据隐藏技术的M2PC协议。简要介绍了分布式事务、触发器的概念及其特性,并且分析了事务管理方法的工作原理及实现该方法的局部系统结构,在此基础上,详细说明了M2PC协议的设计思想、数据隐藏技术及事务提交流程。

基于离线数据载体的分布数据一致性研究

针对离线数据载体应用的特点 ,文章提出了“有序双场地分布事务”的概念和“有序双场地两阶段提交”协议 ,并给出了相关的正确性证明和阻塞性分析 ,从理论上彻底地解决了基于离线数据载体的分布数据一致性问题 .本文结论经过了实验和实践检验 .

基于CPN的两阶段提交协议建模

CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。

异构Web服务集成的转换协调机制

对异构Web服务集成问题提出了一种Web服务集成的转换和协调机制 ,通过对异构Web服务进行转换和协调 ,将Web服务以统一的通用服务形式呈现给用户 ,有效地解决了Web服务间的异构问题 。

分布式内存数据库的恢复

对分布式内存数据库的恢复进行了讨论,内容包括:转储、分布式事务提交及日志。在最后提出了一个日志生成算法,该算法针对机群式环境下的应用,对两阶段提交协议(2-Phase-CommitmentProtocol)进行了改进,有着良好的实用前景。