Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Analysis of Multithreaded Programs
| Book Series | Lecture Notes in Computer Science |
| Publisher | Springer Berlin / Heidelberg |
| ISSN | 0302-9743 (Print) 1611-3349 (Online) |
| Volume | Volume 2126/2001 |
| Book | Static Analysis |
| DOI | 10.1007/3-540-47764-0 |
| Copyright | 2001 |
| ISBN | 978-3-540-42314-0 |
| DOI | 10.1007/3-540-47764-0_1 |
| Pages | 1-19 |
| Subject Collection | Computer Science |
| SpringerLink Date | Monday, January 01, 2001 |
| |
|
Analysis of Multithreaded Programs
Martin Rinard5 
| (5) |
Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, 02139 |
Abstract
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 targeted program analyses are the most promising approach
for parallel computing programs.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|