Bibliographic Details
| Title: |
Context-Sensitive Data Race Detection for Concurrent Programs |
| Authors: |
Yang Zhang, Huan Liu, Liu Qiao |
| Source: |
IEEE Access, Vol 9, Pp 20861-20867 (2021) |
| Publisher Information: |
IEEE, 2021. |
| Publication Year: |
2021 |
| Collection: |
LCC:Electrical engineering. Electronics. Nuclear engineering |
| Subject Terms: |
Concurrent programs, data race, context-sensitive, alias analysis, happens-before, Electrical engineering. Electronics. Nuclear engineering, TK1-9971 |
| More Details: |
Data races have become one of the severe issues affecting the correctness of concurrent programs. Existing detection tools for data races have many false positives and false negatives. To improve the correctness, this paper proposes a context-sensitive approach to detect data races in concurrent programs. Several program analysis techniques are conducted to reduce false positives and false negatives. First, control-flow analysis is used to construct call graphs, in which escape analysis is employed to find escaped objects among threads. Second, context-sensitive alias analysis is employed to find alias objects. Finally, happens-before analysis is conducted to reduce false positives and false negatives. We develop a prototype tool ConRacer based on WALA and evaluate it on several benchmarks. We also compare ConRacer with existing static and dynamic tools. The experimental results show that ConRacer can effectively detect data races and reduce false positives and false negatives. |
| Document Type: |
article |
| File Description: |
electronic resource |
| Language: |
English |
| ISSN: |
2169-3536 |
| Relation: |
https://ieeexplore.ieee.org/document/9343262/; https://doaj.org/toc/2169-3536 |
| DOI: |
10.1109/ACCESS.2021.3055831 |
| Access URL: |
https://doaj.org/article/2b77dcacc53743fa8c7290b774e83b83 |
| Accession Number: |
edsdoj.2b77dcacc53743fa8c7290b774e83b83 |
| Database: |
Directory of Open Access Journals |
