基于静态调度的多线程程序分析方法

摘要：

静态多线程程序分析是一种在编译时刻分析多线程程序的执行行为和特征的有效方法.本文通过分析多线程程序实际执行的特点,提出了一种基于静态调度的多线程分析方法.该方法通过模拟多线程程序的动态执行方式,从而在不运行程序的情况下也能较准确地获得多线程的行为特征.实验表明,该分析方法可以有效地提高多线程程序中同步关系的识别和匹配精度,为分析和检测多线程性能瓶颈以及程序错误等信息奠定了基础.

关键词：静态多线程程序分析、多线程控制流图、调度、同步关系、可能并行分析

所属期刊栏目：28

资助基金：国家自然科学基金61432018

在线出版日期：2018-11-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：575-582