Paper Info
Title
Hierarchical pointer analysis for distributed programs
Abstract
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space languages, in which programmers have control over data layout and threads and can directly read and write to memory associated with other threads. Titanium, UPC, Co-Array Fortran, X10, Chapel, and Fortress are all examples of such languages. The novelty of our analysis comes from the hierarchical machine model used, which captures the increasingly hierarchical nature of modern parallel machines. For example, the analysis can distinguish between pointers that can reference values within a thread, within a shared memory multiprocessor, or within a network of processors. The analysis is presented with a formal type system and operational semantics, articulating the various ways in which pointers can be used within a hierarchical machine model. The hierarchical analysis has several applications, including race detection, sequential consistency enforcement, and software caching. We present results of an implementation of the analysis, applying it to data race detection, and show that the hierarchical analysis is very effective at reducing the number of false races detected.
Year
DOI
Venue
2007
10.1007/978-3-540-74061-2_18
SAS
Keywords
Field
DocType
hierarchical parallel machine,hierarchical analysis,new pointer analysis,hierarchical machine model,data layout,data race detection,hierarchical nature,false race,shared memory program,shared memory multiprocessor,hierarchical pointer analysis,shared memory,operational semantics,titanium,sequential consistency,pointer analysis,type system
Address space,Pointer analysis,Pointer (computer programming),Operational semantics,Programming language,Sequential consistency,Shared memory,Computer science,Theoretical computer science,Thread (computing),Partitioned global address space
Conference
Volume
ISSN
ISBN
4634
0302-9743
3-540-74060-0
Citations 
PageRank 
References 
5
0.52
14
Authors
2
Name
Order
Citations
PageRank
Amir Kamil120212.00
Katherine A. Yelick23494407.23