Analysis of Multithreaded Programs

The field of program analysis has focused primarily on sequential programming langauges. But multithreading is becoming increasingly important, both as a program structuring mechanism and to support efficient parallel computations. This paper surveys research in analysis for mltithreaded programs, focusing on ways to improve the efficiency of analyzing interactions between threads, to detect data races, and to ameliorate the impact of weak memory consistency models. We identify two disctinct classes of multithreaded programs, and discuss how the structure of these kinds of progrms leads to different solutions to thes problems. Specifacll, we conclude that augmented type systems are the most promising approach for activity mangament programs, while targeted program analyses are the most promising approach for parallel computing programs