河北科技大学学报2020，Vol.41Issue(5)：416-423,8.DOI:10.7535/hbkd.2020yx05005
基于上下文敏感分析的数据竞争检测方法
A context-sensitive approach to data race detection
摘要
关键词
并行处理/并发程序/数据竞争/上下文敏感/逃逸分析分类
信息技术与安全科学引用本文复制引用
张杨,刘欢,张冬雯..基于上下文敏感分析的数据竞争检测方法[J].河北科技大学学报,2020,41(5):416-423,8.基金项目
河北省自然科学基金(18960106D) （18960106D）
河北省高等学校科学研究重点项目(ZD2019093) （ZD2019093）
