论文部分内容阅读
随着计算机网络的不断发展以及计算机硬件价格的下降,将计算任务分布到多个物理主机上处理,以提高任务计算速度和降低任务运算成本已经成为一个趋势。这种通过通信线路将多台计算机互联,协同为用户提供服务的系统,称之为分布式计算机系统。分布式计算机系统给用户提供了一个丰富的资源集合。
原子提交是分布式计算机系统的一个重要问题,也是基于分布式计算机系统的现代信息系统所必需的关键功能。例如,分布式数据库、银行转帐系统以及分布式对象平台都是围绕原子提交而构建的分布式计算机系统。原子提交的目的在于确保分布计算参与者数据的一致性。分布计算参与者以及其原子提交过程被称之为一个分布事务。CORBA对象事务服务结合了分布式对象技术和事务处理技术,是为分布式环境下的CORBA应用系统保持事务ACID属性的一种服务。但采用两阶段原子提交协议(2PC)的CORBA对象事务服务在特定失效场景之下可能导致阻塞。
本文针对CORBA对象事务服务的不足,提出了一种基于非阻塞原子提交协议的分布事务应用解决方案。该解决方案可以为半同步系统中的分布事务应用开发提供支持,并且内部集成了使用非阻塞原子提交协议的CORBA对象事务服务。
本论文的主要贡献有：(1)基于2PC,提出了非阻塞原子提交协议--ARB2PC,并证明其满足作为非阻塞原子提交协议的性质。该协议可以在文中所提出的假设条件之下避免2PC的阻塞问题。(2)实现了CORBA对象事务服务的部分接口,并利用ARB2PC作为其原子提交协议,形成OTS-ARB2PC系统。该系统支持CORBA对象事务服务规范定义的接口,提供事务处理功能,同时支持事务协调者的容错。(3)针对分布事务开发,提供了开发库OTS_LIB,该开发库配合OTS-ARB2PC系统,能够为基于CORBA的分布事务开发提供解决方案。(4)利用分布事务应用,深入分析验证OTS-ARB2PC系统的功能以及一些参数对系统性能指标的影响。