A context-sensitive approach to data race detection
To improve the correctness of data race detection, an approach to the data race detection based on the context-sensitive analysis in multithreaded programs was proposed. Firstly, control flow analysis was used to construct context-sensitive call graphs, and then escape analysis was employed to find...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Hebei University of Science and Technology
2020-10-01
|
| Series: | Journal of Hebei University of Science and Technology |
| Subjects: | |
| Online Access: | http://xuebao.hebust.edu.cn/hbkjdx/ch/reader/create_pdf.aspx?file_no=b202005005&flag=1&journal_ |
| _version_ | 1828823862988505088 |
|---|---|
| author | Yang ZHANG Huan LIU Dongwen ZHANG |
| author_facet | Yang ZHANG Huan LIU Dongwen ZHANG |
| author_sort | Yang ZHANG |
| collection | DOAJ |
| description | To improve the correctness of data race detection, an approach to the data race detection based on the context-sensitive analysis in multithreaded programs was proposed. Firstly, control flow analysis was used to construct context-sensitive call graphs, and then escape analysis was employed to find thread-escaped objects that may cause data race. Secondly, context-sensitive alias analysis was conducted to reduce false positives and false negatives. Finally, the happens-before analysis was performed to remove false positives caused by ignoring thread interactions. A data race detection tool ConRacer was implemented in WALA framework based on this approach and was compared with the existing tools SRD and RVPredict. The experimental results show that ConRacer is the most precise tool compared with SRD and RVPredict and it can not only detect data races, but also reduce false positives and false negatives effectively. ConRacer improves the detection accuracy by combining context-sensitive with static detection methods, which has certain reference value for discovering concurrent errors and optimizing software performance. |
| first_indexed | 2024-12-12T13:44:37Z |
| format | Article |
| id | doaj.art-9a2b5c92ec46494590bfa6349b351c9d |
| institution | Directory Open Access Journal |
| issn | 1008-1542 |
| language | zho |
| last_indexed | 2024-12-12T13:44:37Z |
| publishDate | 2020-10-01 |
| publisher | Hebei University of Science and Technology |
| record_format | Article |
| series | Journal of Hebei University of Science and Technology |
| spelling | doaj.art-9a2b5c92ec46494590bfa6349b351c9d2022-12-22T00:22:43ZzhoHebei University of Science and TechnologyJournal of Hebei University of Science and Technology1008-15422020-10-0141541642310.7535/hbkd.2020yx05005b202005005A context-sensitive approach to data race detectionYang ZHANG0Huan LIU1Dongwen ZHANG2School of Information Science and Engineering, Hebei University of Science and Technology, Shijiazhuang, Hebei 050018, ChinaSchool of Information Science and Engineering, Hebei University of Science and Technology, Shijiazhuang, Hebei 050018, ChinaSchool of Information Science and Engineering, Hebei University of Science and Technology, Shijiazhuang, Hebei 050018, ChinaTo improve the correctness of data race detection, an approach to the data race detection based on the context-sensitive analysis in multithreaded programs was proposed. Firstly, control flow analysis was used to construct context-sensitive call graphs, and then escape analysis was employed to find thread-escaped objects that may cause data race. Secondly, context-sensitive alias analysis was conducted to reduce false positives and false negatives. Finally, the happens-before analysis was performed to remove false positives caused by ignoring thread interactions. A data race detection tool ConRacer was implemented in WALA framework based on this approach and was compared with the existing tools SRD and RVPredict. The experimental results show that ConRacer is the most precise tool compared with SRD and RVPredict and it can not only detect data races, but also reduce false positives and false negatives effectively. ConRacer improves the detection accuracy by combining context-sensitive with static detection methods, which has certain reference value for discovering concurrent errors and optimizing software performance.http://xuebao.hebust.edu.cn/hbkjdx/ch/reader/create_pdf.aspx?file_no=b202005005&flag=1&journal_parallel processing; concurrent programs; data race; context-sensitive; escape analysis |
| spellingShingle | Yang ZHANG Huan LIU Dongwen ZHANG A context-sensitive approach to data race detection Journal of Hebei University of Science and Technology parallel processing; concurrent programs; data race; context-sensitive; escape analysis |
| title | A context-sensitive approach to data race detection |
| title_full | A context-sensitive approach to data race detection |
| title_fullStr | A context-sensitive approach to data race detection |
| title_full_unstemmed | A context-sensitive approach to data race detection |
| title_short | A context-sensitive approach to data race detection |
| title_sort | context sensitive approach to data race detection |
| topic | parallel processing; concurrent programs; data race; context-sensitive; escape analysis |
| url | http://xuebao.hebust.edu.cn/hbkjdx/ch/reader/create_pdf.aspx?file_no=b202005005&flag=1&journal_ |
| work_keys_str_mv | AT yangzhang acontextsensitiveapproachtodataracedetection AT huanliu acontextsensitiveapproachtodataracedetection AT dongwenzhang acontextsensitiveapproachtodataracedetection AT yangzhang contextsensitiveapproachtodataracedetection AT huanliu contextsensitiveapproachtodataracedetection AT dongwenzhang contextsensitiveapproachtodataracedetection |