Communication-Sensitive Static Dataflow for Parallel Message Passing Applications

Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance has motivated significant amounts of research on optimization and debugging techniques for such applications. Although this work has produced impressive results, it has also failed to fulfill its full potential. The reason is that while prior work has focused on runtime techniques, there has been very little work on compiler analyses that understand the properties of parallel message passing applications and use this information to improve application performance and quality of debuggers. This paper presents a novel compiler analysis framework that extends dataflow to parallel message passing applications on arbitrary numbers of processes. It works on an extended controlflow graph that includes all possible inter-process interactions of any numbers of processes. This enables dataflow analyses built on top of...

• Type: Conference
• Year: 2009
• Where: CGO
• Authors: Greg Bronevetsky
• Keywords: CGO 2009, Dataflow Analyses, Message Passing, Message Passing Applications, Software Engineering