放松隔离性的万维网服务事务的研究

VIP免费
3.0 林婧 2024-09-20 4 4 77KB 6 页 150积分
侵权投诉
放松隔离性的万维网服务事务的研究
1 介绍
目前对Web服务组合是一个新的研究热点。人们可以利用Web服务组合技术构建一个大
规模应用，从而使得人们可以通过使用因特网上的各种资源来完成某个任务。但随之也提
出了一个问题：如何设计一个有效的资源协同协议，以便能够在不同服务之间协同各个
应用对这些共享资源的请求、分配和释放等操作。
Web Services Coordination（WS-Coordination）[1]规范提供了协同多个Web服务执
行的框架。这种框架可以利用协同协议(如Web Services Atomic Transaction[2]/Web
Service Business Activity[3])保证单个事务执行的一致性和完整性。
WS-BA 规范中提到：允许参与者在业务活动中执行“试探性”操作作为活动的正常的
一部分。这种“试探性”操作的结果在活动结束之前可能变得可见，也可能要求业务逻辑
执行补偿操作。
WS-BA 提到的上述灵活性就是由放松隔离性而达到的，但这个灵活性也带来了副作用：
如由于一个业务逻辑 A 的活动 A1 在结束前修改了数据 D 并使得其对其他事务可见，所以
可以使得另外一个业务逻辑 B 的活动 B1 能够访问该数据。由于业务逻辑 A 和业务逻辑 B 彼
此独立执行，所以 B1 可能会在 A1 结束前自行提交。但随后如果活动 A1 取消对数据 D 的修
改，则由于活动 B1 已结束，因此已无法补偿访问了脏数据的活动 B1，从而出现了不一致
问题(如图 1.1)。
图 1.1 放松隔离性的副作用
本文提出了一种分布协调机制和协议以便保证放松隔离性的事务的正确执行。它们用
于检测事务的不一致性，并在检测到不一致性后，能够将事务恢复到一致性状态，并可
以通知组合服务事务重新执行部分参与者事务。
本文采用被称之为“放松隔离性依赖”来描述处于不一致状态的各个事务的关系。该
方法的核心思路就由协调器和参与者共同管理由于放松隔离性而导致的事务之间的依赖
关系，它们利用本章提出的两个依赖协调协议来保证组合服务事务的正确执行。当参与者
检测出放松隔离性依赖，可以利用相应协议自动传送相关信息给协调器，同时协调器也
可以利用相应协议在协调器之间交换依赖信息的变化和事务的完成或中止信息。
在本文提出的机制中，存在放松隔离性依赖关系的某个事务的完成将依赖于它相关
的事务，但这可能会导致事务之间出现等待环。所以该机制采用了基于图的方法检测是否
出现了环，并定义了保证组合事务正确执行而不会出现不一致性问题的条件，其中参与
者保存的依赖图反映了在参与者内各个成员事务之间的依赖关系，而协调器保存中的依
A1 A2
B1 B2 commit
Process A
Process B
compensate
Data D
摘要：

放松隔离性的万维网服务事务的研究1介绍目前对Web服务组合是一个新的研究热点。人们可以利用Web服务组合技术构建一个大规模应用，从而使得人们可以通过使用因特网上的各种资源来完成某个任务。但随之也提出了一个问题：如何设计一个有效的资源协同协议，以便能够在不同服务之间协同各个应用对这些共享资源的请求、分配和释放等操作。WebServicesCoordination（WS-Coordination）[1]规范提供了协同多个Web服务执行的框架。这种框架可以利用协同协议(如WebServicesAtomicTransaction[2]/WebServiceBusinessActivity[3])保证单...

展开>> 收起<<
放松隔离性的万维网服务事务的研究.doc

共6页,预览1页

还剩页未读， 继续阅读

相关推荐

更多
立即下载
作者：林婧 分类：大学教育 价格：150积分 属性：6 页 大小：77KB 格式：DOC 时间：2024-09-20

开通VIP享超值会员特权

  • 多端同步记录
  • 高速下载文档
  • 免费文档工具
  • 分享文档赚钱
  • 每日登录抽奖
  • 优质衍生服务

作者详情

相关内容

更多

推荐作者

热门标签

/ 6
评分 收藏
分享
立即下载 VIP免费下载
客服
关注