Native handling of Message-Passing communication in Data-Flow analysis

Valérie Pascual Laurent Hascoët (INRIA, BP93, 06902 Sophia-Antipolis, France)

Proceedings of the AD2012 Conference, Fort Collins (CO), USA, july 2012 (10 pages)

Abstract: Automatic Differentiation by program transformation uses static data-flow analysis to produce efficient code. This data-flow analysis must be adapted for parallel programs with Message-Passing communication. Starting from a context-sensitive and flow-sensitive data-flow analysis scheme initially devised for sequential codes, we extend this scheme for parallel codes. This extension is independent of the particular analysis and does not require a modification of the code's internal representation, i.e. the flow graph. This extension relies on an accurate matching of communication points, which can't be found automatically in general, and thus new user directives prove useful.

Keywords: Data-Flow Analysis, Activity Analysis, Automatic Differentiation, Message-Passing, MPI

Full text (pdf)


@inproceedings{PascualHascoet12,
  author = {Pascual, V. and Hasco\"et, L.},
  title = {{N}ative handling of {M}essage-{P}assing communication in {D}ata-{F}low analysis},
  booktitle = {{R}ecent {A}dvances in {A}lgorithmic {D}ifferentiation},
  series = "Lecture Notes in Computational Science and Engineering",
  note = "Selected papers from AD2012 Fort Collins, july 2012",
  publisher = "Springer",
  pages = "83-92",
  year = 2012
}