一种基于发生序和锁集的BPEL数据竞争静态检测方法

扫码查看

原文链接

NETL

中文摘要：BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。

作者：

李少东、许蕾

展开 >

作者单位：

南京大学计算机科学与技术系,南京,210093

关键词：

BPEL数据发生序锁集数据竞争

主办单位：

中国计算机学会

会议名称：

第七届全国Web信息系统及其应用学术会议、第五届全国语义Web与本体论学术研讨会、第四届全国电子政务技术及应用学术研讨会

会议时间：

2010-08-01

会议地点：

呼和浩特

会议母体文献：

第七届全国Web信息系统及其应用学术会议、第五届全国语义Web与本体论学术研讨会、第四届全国电子政务技术及应用学术研讨会论文集

页码：

6-9

出版时间：

2010