This research was conducted by Ben Liblit, Alex Aiken, and Katherine Yelick.
Parallel programs share data in ways that may not be obvious at the source level. Understanding a program’s data sharing behavior is critical to understanding the program as a whole, and is also a necessary component for numerous program analysis, optimization, and run time clients. We report on the design of and experience with an implementation of a data sharing analysis for the Titanium programming language.
The full paper is available in various formats. A suggested BibTeX citation record is also available.
See also Type Systems for Distributed Data Sharing for more information on the fundamental design issues underlying sharing analysis for parallel programs.