Name
Abstract | ||
|---|---|---|
Large message passing programs today are being deployed on clusters with hundreds, if not thousands of processors. Any programming bugs that happen will be very hard to debug and greatly affect productivity. Although there have been many tools aiming at helping developers debug MPI programs, many of them fail to catch bugs that are caused by non-determinism in MPI codes. In this work, we propose a distributed, scalable framework that can explore all relevant schedules of MPI programs to check for deadlocks, resource leaks, local assertion errors, and other common MPI bugs. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/IPDPSW.2010.5470683 | Parallel & Distributed Processing, Workshops and Phd Forum |
Keywords | Field | DocType |
formal verification,message passing,program debugging,MPI bugs,MPI codes,MPI programs scalable verification,bug programming,message passing programs | Computer science,Deadlock,Software bug,Schedule,Operating system,Benchmark (computing),Message passing,Debugging,Scalability,Formal verification | Conference |
ISBN | Citations | PageRank |
978-1-4244-6533-0 | 1 | 0.36 |
References | Authors | |
12 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Vo, A. | 1 | 1 | 0.36 |
| Ganesh Gopalakrishnan | 2 | 1619 | 130.11 |