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_ |