| 面向并发程序的重构一致性检测方法 |
| |
| 引用本文： | 张杨,孙仕欣,张冬雯,东春浩,乔柳.面向并发程序的重构一致性检测方法[J].河北师范大学学报(自然科学版),2020,44(3):200-208. |
| |
| 作者姓名： | 张杨 孙仕欣 张冬雯 东春浩 乔柳 |
| |
| 作者单位： | 河北科技大学 信息科学与工程学院 ,河北 石家庄 050018,河北科技大学 信息科学与工程学院 ,河北 石家庄 050018,河北科技大学 信息科学与工程学院 ,河北 石家庄 050018,河北科技大学 信息科学与工程学院 ,河北 石家庄 050018,河北科技大学 信息科学与工程学院 ,河北 石家庄 050018 |
| |
| 基金项目： | 河北省自然科学基金重点项目;河北省高等学校科学研究重点项目;国家自然科学基金 |
| |
| 摘 要： | 针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据流分析检测重构前后的变化,使用同步依赖分析检测重构前后同步依赖关系的变化.针对对象重用性、静态共享字段、死锁3种典型的引起并发错误的情况,设计了3种检测算法对重构前后程序的不一致性进行检测.依据该方法,在WALA软件分析框架下实现了一个原型检测工具.在实验中,使用该工具在SPECjbb2005和HSQLDB测试程序上进行了验证,并与Schafer等提出的方法进行比较,实验结果表明,该方法能够有效地发现并发软件重构的不一致行为.
|
| 关 键 词： | 并发软件重构 一致性检测 控制流分析 数据流分析 同步依赖分析 |
Consistency Detection Method for Concurrent Code Refactoring |
| |
| ZHANG Yang,SUN Shixin,ZHANG Dongwen,DONG Chunhao,QIAO Liu.Consistency Detection Method for Concurrent Code Refactoring[J].Journal of Hebei Normal University,2020,44(3):200-208. |
| |
| Authors: | ZHANG Yang SUN Shixin ZHANG Dongwen DONG Chunhao QIAO Liu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
