Paper Info
Title
Precise dynamic analysis for slack elasticity: adding buffering without adding bugs
Abstract
Increasing the amount of buffering for MPI sends is an effective way to improve the performance of MPI programs. However, for programs containing non-deterministic operations, this can result in new deadlocks or other safety assertion violations. Previous work did not provide any characterization of the space of slack elastic programs: those for which buffering can be safely added. In this paper, we offer a precise characterization of slack elasticity based on our formulation of MPI's happens before relation. We show how to efficiently locate potential culprit sends in such programs: MPI sends for which adding buffering can increase overall program non-determinism and cause new bugs. We present a procedure to minimally enumerate potential culprit sends and efficiently check for slack elasticity. Our results demonstrate that our new algorithm called POEMSE which is incorporated into our dynamic verifier ISP can efficiently run this new analysis on large MPI programs.
Year
DOI
Venue
2010
10.1007/978-3-642-15646-5_16
EuroMPI
Keywords
Field
DocType
dynamic analysis
Computer science,Parallel computing,Deadlock,Assertion,Elasticity (economics),Distributed computing
Conference
Volume
ISSN
ISBN
6305
0302-9743
3-642-15645-2
Citations 
PageRank 
References 
6
0.46
11
Authors
4
Name
Order
Citations
PageRank
Sarvani Vakkalanka117711.14
Vo Anh2124491.60
Ganesh Gopalakrishnan31619130.11
Robert M. Kirby41443115.55