CORBA中对象事务服务研究与实现.pdfVIP

第30卷第6期 电子科技大学学报 VoI．30No．6 2001年12月 ofUEST0f JournaI China Dec．2帅l coRBA中对象事务服务研究与实现8 杨涛“ 郑晓霞 刘锦德 U了科{土^学汁算机科学与上}j7学院成都 6】0054 【摘要】介绍了事务概念及其原子性、一致性、隔离性、持久性，阐述了保证事务AcID属性的两阶 段提交算法，对cORBA中对象事务服务框架进行了研究，通过对规范中各十对象及其接口的分析、论述 了OTs面向对象的分布式事务处理机制；最后给出了服务中事务工厂、控制器、协调者、资源等对象基于 可移植对象适配器的实现。 关键词事务； 两阶段提交； 对象；对象事务服务；对象引用 中图分类号TP31l △ cORBA作为当前分布式计算的重要规范，不仅解决了自1向对象的异构应用之问的互操作问 题，还提供了分布式应用所需的多项服务…。在coRBA的公共对象服务中，对象事务服务(Obiect Transaction service，以下简称oTs)将事务概念引入到分布式对缘计算中。事务具有原子性、一致 性、隔离性、持久性，对构建高呵靠性应用，特别是要求并发访问其享数据的分布式应用起着关 键作用，事务处理技术已经在银行、证券、电信等行业得到了广泛地应用。随着应用的普及和深 化，传统的事务处理技术衙临新的挑战，如系统规模无限扩大对性能要求更高，业务逻辑的快速 变化希望开发周划更短。对象事务服务结台了分布式对象技术和事务管理技术． ‘方面具有事务 许理器的高可靠性．同时具有cORBA中互操作十牛、可扩展性、可维护性等优点，提供r良好的 分布式事务处理解决方案。 1事务 事务是nJ‘能包含多个计算任务的具有AcID属性的操作集合。事务是原子操作，或者整个执 行，或者整个不执行，决小会部分地执行：事务具有一致性，它把数据从一个一致状态转换到另 一个一致状态；事务是相垃隔离的，一个事务不能看见另一个事务的工作过程：事务的结果是持 久的，即使系统崩溃也能保持。 分布』℃应用可能会在一个事务中更改嘲络中多个计算机节点的数据：任一节点或节点间通信 的失效都可能导致分札式事务失败。为了保证事务的完整性，分布式事务一般采用两阶段提交协 议来完成事务。两阶段提交是一个分布式算法，它假设每个节点都有持久存储数据的能力．没有 一个节点会永远崩溃，最终任意两个1，点町以互相通信，在这tj假设基础卜保证所有的工作要么 全做，要么伞不做。两阶段提交中， 个主1，点被指派为事务协调者，其他节点称为事务参与者。 应用程序完成事务巾所有操作后向m调者发出提交事务的请求，协调者驱动各参与者完成事务。 整个提交过程分为两个阶段：1)准备阶段，即协调者发送消息询问所有事务参与者，是甭决定提 交各自所做的丁作，如果参与者可以提交自己的工作，就写入一条撤消口志和重做日志．并通知 协调者可以提交事务．此时它不能够再单方面终Il：事务，否则就破坏丁两阶段提交语义；若不能 提交，就返回事务失败信息。事务的最终结果取决于事务中每个参与者的投票；2)提交阶段，如 果所有参与者都同意提交事务，协调者写入条提交记录到日志中，通知参与者提交事务，各参 与者释放事务中保持的锁和资源，如果任一参与者决定终止事务，那么协调者通知各参与者利用 撤消口志回滚事务。如果在两阶段提交过程协调者或任一参与者崩溃，那么只要该部分重新启动， 200】年8JI24曰收稿 $fm包一眦部预州基金资助J日H }{鹦24岁帧士生 第6期 杨涛等：coRBA中对象事务服务研究与实现 59l 系统部能够利用日，占从失败中恢复，保证事务完成。曲阶段提交存在‘些问题，如它足阻塞的； 不能处理两个以上站点同时出错：偏向于撤消而非提交事务等。尽管如此，它在分巾式事务处理 中得到J，普遍应用，早期得剑业界广泛支持的)(／OPENDTP模型和目前的coRBA对象事务服务 郜采用它来进行分布式事务捉交。 2对象事务服务框架