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

A Static Data Race Detecting Method for BPEL Based on Happens-Before and Lockset

作　　者：李少东[1] 许蕾[1,2] 

机构地区：[1]南京大学计算机科学与技术系,南京210093 [2]南京大学计算机软件新技术国家重点实验室,南京210093

出　　处：《计算机与数字工程》2010年第8期6-9,共4页Computer & Digital Engineering

基　　金：国家自然科学基金(编号:60873050);南京大学计算机软件新技术国家重点实验室开放基金(编号:ZZKT2008F12);武汉大学软件工程国家重点实验室开放基金(编号:SKLSE20080717)资助

摘　　要：BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。BPEL provides the concurrency and synchronization mechanisms by flow and link and provides the control of concurrent access to shared variables by Isolated Scope.BPEL also has some new features such as Dead-Path Elimination,so the data race detection for BPEL process must adopt some new techniques.In this paper,we firstly transform the BPEL process into the BPEL Control Flow Graph.Then,we propose a method combining Happens-Before and Lockset for static data race detection.According to Happens-Before relations of BPEL block,we use the Vector Clock to judge whether the BPEL block is concurrent or not.And the usage of Lockset will improve the accuracy of the data race detection for BPEL process.Finally,we also analyze the redundant access events,so as to reduce the expenses of our algorithm.

关 键 词：BPEL 发生序 锁集 数据竞争 

分 类 号：TP302.7[自动化与计算机技术—计算机系统结构]