一种基于发生序和锁集的BPEL数据竞争静态检测方法
李少东1
许蕾2
1.南京大学计算机科学与技术系,南京,2100932.南京大学计算机科学与技术系,南京,210093;南京大学计算机软件新技术国家重点实验室,南京,210093
摘要：BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性.对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法.该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争.锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销.
关键词：BPEL发生序锁集数据竞争
分类号：TP302.7(计算技术、计算机技术)
资助基金：国家自然科学基金(60873050)南京大学计算机软件新技术国家重点实验室开放基金(ZZKT2008F12)武汉大学软件工程国家重点实验室开放基金(SKLSE20080717)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 6-9 )
英文信息