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

• 作者: 李少东 许蕾
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: BPEL 发生序 锁集 数据竞争
• 年，卷（期）: 2010,（8）
• 页码范围: 6-9
• 分类号: TP302.7
• 字数: 2786字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.08.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许蕾	南京大学计算机科学与技术系	21	186	6.0	13.0
5	李少东	南京大学计算机科学与技术系	1	3	1.0	1.0