zbMATH — the first resource for mathematics

Analysis of multithreaded programs. (English) Zbl 1005.68896
Cousot, Patrick (ed.), Static analysis. 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2126, 1-19 (2001).
Summary: The field of program analysis has focused primarily on sequential programming languages. 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 multithreaded 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 distinct classes of multithreaded programs, activity management programs and parallel computing programs, and discuss how the structure of these kinds of programs leads to different solutions to these problems. Specifically, we conclude that augmented type systems are the most promising approach for activity management programs, while targated program analyses are the most promising approach for parallel computing programs.
For the entire collection see [Zbl 0969.00086].

68U99 Computing methodologies and applications
68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)