论文部分内容阅读
Web服务(Web Service)是构造下一代分布式计算平台的基本技术。单个Web服务所能够提供的功能有限,服务组合(Service Composition)通过集成现有的Web服务从而创建新的、高层的Web服务以完成更复杂的任务,是构建面向服务应用的重要手段。
事务处理(Transaction Processing)是保证分布式系统可靠性的关键技术,可用于保证服务组合获得正确的、一致的执行结果。传统的满足ACID语义的严格事务模型不适用于服务组合环境,需要对其原子性和隔离性进行不同程度的放松。目前对Web服务事务的研究尚处于初级阶段,主要研究成果包括若干松弛事务模型和WS-Transaction等事务规范。前者解决如何基于异构事务能力的Web服务构造满足一定松弛原子性约束的组合服务；后者定义了事务协调器与参与者间的消息交互协议,解决事务协调的互操作问题。然而,对于放松隔离性下如何对并发执行的Web服务事务进行有效的并发控制仍然缺乏研究。
本论文提出了事务性组合Web服务的并发控制方法,解决在放松隔离性下事务性组合服务(TCS)并发执行出现的不一致性问题。与传统并发控制方法不同,TCS的并发控制是跨Internet的完全分布和自治的,必须通过事务参与各方间的分布式动态协作来完成。
首先,我们在不考虑复杂的松弛原子性约束的情况下,提出了两种乐观的并发控制方法。一种是基于事务协调器来传递、管理事务依赖关系,通过事务协调器间的协作,延迟从事务的提交,消除主事务补偿时从事务无法补偿的不一致性；另一种是基于服务提供者来管理局部事务依赖图,避免事务协调器间的直接交互,保护数据的隐私性和安全性。
其次,我们分析了服务的不可补偿性和TCS的松弛原子性约束对并发控制的影响,针对不可恢复性和不可串行化两类典型的不一致性,基于服务的相对可补偿性,对事务依赖关系进行细分,提出了依赖建立及变化规则,给出了并发控制方法,在保证TCS松弛原子性的同时保证全局调度的可恢复性和可串行化。