高技术通讯2018,Vol.28Issue(7):575-582,8.DOI:10.3772/j.issn.1002-0470.2018.07.001
基于静态调度的多线程程序分析方法
Multi-threaded program analysis with static scheduler
摘要
关键词
静态多线程程序分析/多线程控制流图/调度/同步关系/可能并行分析引用本文复制引用
周卿,李炼,冯晓兵..基于静态调度的多线程程序分析方法[J].高技术通讯,2018,28(7):575-582,8.基金项目
国家自然科学基金(61432018)资助. (61432018)