| 一种基于调用链的Java程序数据竞争静态检测算法 |
| |
| 引用本文： | 宋东海,陈二虎.一种基于调用链的Java程序数据竞争静态检测算法[J].舰船电子工程,2013(12):53-57. |
| |
| 作者姓名： | 宋东海 陈二虎 |
| |
| 作者单位： | [1]92493部队88分队,葫芦岛125001 [2]92515部队,葫芦岛125001 |
| |
| 摘 要： | 多线程并发程序的广泛使用引发了更多的数据竞争问题，竞争检测对于提高软件质量具有重要意义。论文将竞争静态检测和静态切片分析结合起来，提出了一种类层次的Java数据竞争静态检测算法，该算法利用函数调用层次获得函数调用链，对类域进行分析，找出可能数据竞争，通过静态切片缩小程序分析范围，并结合数据竞争的必要条件，去掉不可能数据竞争。实例表明，该算法可用于指导修复程序中的竞争缺陷。
|
| 关 键 词： | 数据竞争 程序切片 静态分析 竞争检测 |
A Call-chain-based Static Data Race Detection Algorithm for Java Program |
| |
| SONG Donghai,CHEN Erhu.A Call-chain-based Static Data Race Detection Algorithm for Java Program[J].Ship Electronic Engineering,2013(12):53-57. |
| |
| Authors: | SONG Donghai CHEN Erhu |
| |
| Institution: | 1. Unit 88, No. 92493 Troops of PLA, Huludao 125001)(2. No. 92515 Troops of PLA, Huludao 125001) |
| |
| Abstract: | The widespread use of multithread concurrent programs causes more detrimental data race problems, race detection is very important for improving software quality. Combining static data race detection with static program slicing, a class-lever static data race detec- tion algorithm for Java multithread programs is presented, which analysis every field of a class with call-chain as its context to remove the im- possible data race. An example illustrates the proposed algorithm can help to guide programmer to fix software data race defects. |
| |
| Keywords: | data race program slice static analysis race detection |
| 本文献已被 维普 等数据库收录！ |
