为有效地保证分布式事务的ACID性质以及解决多个客户程序并发访问某一事务所造成的访问冲突,根据CORBA对象事务服务OTS(Object Transaction Service)、并发控制服务CCS(Concurrency Control Service)及其提供的相关接口,采用两步提交协...为有效地保证分布式事务的ACID性质以及解决多个客户程序并发访问某一事务所造成的访问冲突,根据CORBA对象事务服务OTS(Object Transaction Service)、并发控制服务CCS(Concurrency Control Service)及其提供的相关接口,采用两步提交协议和并发控制锁机制实现。并将两者相结合实现一个账户之间的转账操作,证明其可行性。展开更多
CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和...CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。展开更多
文摘为有效地保证分布式事务的ACID性质以及解决多个客户程序并发访问某一事务所造成的访问冲突,根据CORBA对象事务服务OTS(Object Transaction Service)、并发控制服务CCS(Concurrency Control Service)及其提供的相关接口,采用两步提交协议和并发控制锁机制实现。并将两者相结合实现一个账户之间的转账操作,证明其可行性。
文摘CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。