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

摘要

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