Abstract
Traditional debuggers are of limited value for modern scientific codes that manipulate large complex data structures. This paper discusses a novel debug-time assertion, called a "Statistical Assertion", that allows a user to reason about large data structures, and the primitives are parallelised to provide an efficient solution. We present the design and implementation of statistical assertions, and illustrate the debugging technique with a molecular dynamics simulation. We evaluate the performance of the tool on a 12,000 cores Cray XE6.
| Original language | English |
|---|---|
| Pages | 311 - 312 |
| Number of pages | 2 |
| DOIs | |
| Publication status | Published - 2012 |
| Event | Principles and Practice of Parallel Programming 2012 - New Orleans LA USA, New York NY USA Duration: 25 Feb 2012 → 29 Feb 2012 |
Conference
| Conference | Principles and Practice of Parallel Programming 2012 |
|---|---|
| City | New York NY USA |
| Period | 25/02/12 → 29/02/12 |
Keywords
- Assertion
- Parallel debugging
- Statistic
Cite this
}
Scalable parallel debugging with statistical assertions. / Dinh, Minh Ngoc; Sadayappan, P (Editor); Abramson, David Andrew; Jin, Chao; Gontarek, Andrew; Moench, Robert; DeRose, Luiz.
2012. 311 - 312 Principles and Practice of Parallel Programming 2012, New York NY USA, .Research output: Contribution to conference › Other › Other
TY - CONF
T1 - Scalable parallel debugging with statistical assertions
AU - Dinh, Minh Ngoc
AU - Abramson, David Andrew
AU - Jin, Chao
AU - Gontarek, Andrew
AU - Moench, Robert
AU - DeRose, Luiz
A2 - Sadayappan, P
PY - 2012
Y1 - 2012
N2 - Traditional debuggers are of limited value for modern scientific codes that manipulate large complex data structures. This paper discusses a novel debug-time assertion, called a "Statistical Assertion", that allows a user to reason about large data structures, and the primitives are parallelised to provide an efficient solution. We present the design and implementation of statistical assertions, and illustrate the debugging technique with a molecular dynamics simulation. We evaluate the performance of the tool on a 12,000 cores Cray XE6.
AB - Traditional debuggers are of limited value for modern scientific codes that manipulate large complex data structures. This paper discusses a novel debug-time assertion, called a "Statistical Assertion", that allows a user to reason about large data structures, and the primitives are parallelised to provide an efficient solution. We present the design and implementation of statistical assertions, and illustrate the debugging technique with a molecular dynamics simulation. We evaluate the performance of the tool on a 12,000 cores Cray XE6.
KW - Assertion
KW - Parallel debugging
KW - Statistic
U2 - 10.1145/2370036.2145870
DO - 10.1145/2370036.2145870
M3 - Other
SP - 311
EP - 312
ER -