Abstract
Large scientific simulations must be able to achieve the full-system potential of supercomputers. When they tap into high-performance features, however, a phenomenon known as non-determinism may be introduced in their program execution, which significantly hampers application development. P
Get full access to this article
View all access options for this article.
References
1.
(As of Feb 6th , 2018 ) Allinea DDT (Distributed Debugging Tool). Allinea Software (Now Part of ARM) . Available at : https://www.allinea.com/products/ddt.
2.
(As of Feb 6th , 2018 ) GDB and Reverse Debugging. GNU . Available at : https://www.gnu.org/software/gdb/news/reversible.html.
3.
(As of Feb 6th , 2018 ) Intel® Inspector 2017 . Available at : https://software.intel.com/en-us/intel-inspector-xe.
4.
5.
(As of Feb 6th , 2018 ) TotalView for HPC. Rogue Wave Software . Available at : http://www.roguewave.com/products-services/totalview.
6.
7.
(As of March 24th , 2018 ) Reverse debugging with ReplayEngine. Rogue wave software.e . Available at: http://www.roguewave.com/products-services/features/reverse-debugging.
8.
Atzeni
S
Gopalakrishnan
G
Rakamaric
Z
, et al. (2016 ) ARCHER: effectively spotting data races in large OpenMP applications . In: 2016 IEEE international parallel and distributed processing symposium (IPDPS) , pp. 53 –62 . DOI: 10.1109/IPDPS.2016.68 .
9.
Protze
J
Atzeni
S
Ahn
DH
, et al. (2014 ) Towards providing low-overhead data race detection for large openmp applications . In: 2014 LLVM compiler infrastructure in HPC , pp. 40 –47 . DOI: 10.1109/LLVM-HPC.2014.7 .
10.
Sato
K
Ahn
DH
Laguna
I
, et al. (2015 ) Clock delta compression for scalable order-replay of non-deterministic parallel applications . In: Proceedings of the international conference for high performance computing, networking, storage and analysis, SC ‘15 . New York, USA , 2015 , p. 62 . ACM . ISBN 978-1-4503-3723-6 . DOI: 10.1145/2807591.2807642 .
11.
Sato
K
Ahn
DH
Laguna
I
, et al. (2017 ) Noise injection techniques to expose subtle and unintended message races . In: Proceedings of the 22Nd ACM SIGPLAN symposium on principles and practice of parallel programming, PPoPP ‘17 . New York, USA , 2017 , pp. 89 –101 . ACM . ISBN 978-1-4503-4493-7 . DOI: 10.1145/3018743.3018767 .
12.
Sawaya
G
Bentley
M
Briggs
I
, et al. (2017 ) FLiT: cross-platform floating-point result-consistency tester and workload . In: 2017 IEEE international symposium on workload characterization (IISWC) .
13.
Serebryany
K
Iskhodzhanov
T
(2009 ) Threadsanitizer: data race detection in practice . In: Proceedings of the workshop on binary instrumentation and applications, WBIA ‘09 . New York, USA , 2009 , pp. 62 –71 . ACM . ISBN 978-1-60558-793-6 . DOI:10.1145/1791194.1791203 . Available at: http://doi.acm.org/10.1145/1791194.1791203.
14.
Tassey
G
(2002 ) The economic impacts of inadequate infrastructure for software testing . Available at: https://www.bibsonomy.org/bibtex/28a92e32577dcb1f2708367efb2fe406c/hlackner