Pointer Analysis for Multithreaded Programs

Pointer Analysis for Multithreaded Programs (1999)

Cached

Download Links

by Radu Rugina , Martin Rinard

Venue:	ACM SIGPLAN 99
Citations:	157 - 12 self

BibTeX

@MISC{Rugina99pointeranalysis,
    author = {Radu Rugina and Martin Rinard},
    title = {Pointer Analysis for Multithreaded Programs },
    year = {1999}
}

OpenURL

Abstract

This paper presents a novel interprocedural, flow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers. For each pointer and each program point, the algorithm computes a conservative approximation of the memory locations to which that pointer may point. The algorithm correctly handles a full range of constructs in multithreaded programs, including recursive functions, function pointers, structures, arrays, nested structures and arrays, pointer arithmetic, casts between pointer variables of different types, heap and stack allocated memory, shared global variables, and thread-private global variables. We have implemented the algorithm in the SUIF compiler system and used the implementation to analyze a sizable set of multithreaded programs written in the Cilk multithreaded programming language. Our experimental results show that the analysis has good precision and converges quickly for our set of Cilk programs.

Keyphrases

multithreaded program pointer analysis recursive function stack allocated memory function pointer conservative approximation good precision different type memory location thread-private global variable sizable set experimental result program point pointer variable full range suif compiler system context-sensitive pointer analysis algorithm programming language nested structure global variable cilk program