面向并发程序的重构一致性检测方法.pdfVIP

第44卷/第3期/河北师范大学学报/自然科学版/Vo44No3

2020年5月JOURNALOFHEBEINORMALUNIVERSITY(NaturalScience)May2$2$

文章编号=1000-5854(2020)03-0200-09

面向并发程序的重构一致性检测方法

张杨，孙仕欣，张冬雯，东春浩，乔柳

(河北科技大学信息科学与工程学院，河北石家庄050018)

摘要：针对并发软件重构后可能带来的行为不一致问题，提出了一种重构一致性检测方法，该方法使用控制

流分析和数据流分析检测重构前后的变化，使用同步依赖分析检测重构前后同步依赖关系的变化•针对对象重用

性、静态共享字段、死锁3种典型的引起并发错误的情况,设计了3种检测算法对重构前后程序的不一致性进行检

测•依据该方法，在WALA软件分析框架下实现了一个原型检测工具.在实验中，使用该工具在SPECjbb2005和

HSQLDB测试程序上进行了验证，并与Schafer等提出的方法进行比较，实验结果表明，该方法能够有效地发现并

发软件重构的不一致行为.

关键词：并发软件重构；一致性检测；控制流分析；数据流分析；同步依赖分析

中图分类号:T311文献标志码：Adoi：10.13763/j.cnki.jhebnu.nse.2020.03.003

ConsistencyDetectionMethodforConcurrentCodeRefactoring

ZHANGYang,SUNShixin,ZHANGDongwen,DONGChunhao,QIAOLiu

(SchoolofInformationScienceandEngineering,HebeiUniverstyofScienceandTechnology,HebeiShijiazhuang050018,China)

AbstractT:detecttheinc:nsistentbehavi:rsinc:ncurrents:ftwarebef:reandafterrefact:ring,this

paperpr:p:sesan:velrefact:ringc:nsistencydetecti:nmeth:d.Itusesc:ntr:lfl:wanalysisanddatafl:w

analysist:detectc:dechangesbef:reandafterrefact:ring,andusessynchr:nizati:ndependencyanalysis

t:detectchanges:fsynchr:nizati:ndependencies.Inview:fthreetypicalcases:fc:ncurrenterr:rscaused

by:bjectreusability,staticsharedfieldsanddeadl:ck,threekinds:fdetecti:nalg:rithmsaredesignedt:

detecttheinc:nsistency:fpr:gramsbef:reandafterrefact:ring.Apr:t:typedetecti:nt::lisimplemented

nWALAs:ftwareanalysisframew:rk.Intheexperimentati:n,tw:benchmarksSPECjbb2005and

HSQLDBwereselectedf:revaluati:n,andtheresultswerec:mparedwithexistingappr:achpr:p:sedby

Schaferetal.Theexperimentalresultssh:wthat:urmeth:dcanefectivelyfindtheinc:nsistentbehavi:rs

:fc:ncurrents:ftwarebef:reandafterrefact:ring.

Keyw