Automated debugging of parallel programs

Authors

  • V.A. Krukov Keldysh Institute of Applied Mathematics of RAS
  • M.V. Kudryavtsev Lomonosov Moscow State University

Keywords:

отладка, параллельные программы, автоматизация отладки, инструментация программ суперкомпьютеры

Abstract

This paper is devoted to new results in development of advanced and automated tools for debugging parallel programs in models with global address space. This work was supported by a Russia’s President grant for leading scientific schools (NSh-383.2006.9) and by the Russian Foundation for Basic Research (05-01-00678, 05-07-90026).

Author Biographies

V.A. Krukov

M.V. Kudryavtsev

References

  1. Сайт системы DVM. Документация пользователя и разработчика (www.keldysh.ru/dvm).
  2. Алексахин В.Ф., Ефимкин К.Н., Ильяков В.Н., Крюков В.А., Кулешова М.И., Сазанов Ю.Л. Средства отладки MPI-программ в DVM-системе // Научный сервис в сети Интернет: Труды Всероссийской научной конференции. М.: Изд-во МГУ, 2005. 113-115.
  3. Vetter J.S., de Supinski B.R. Dynamic software testing of MPI applications with Umpire // Proc. SC2000: High Performance Networking and Computing Conf. Dallas! (TX,! USA), 2000 (http://www.llnl.gov/CASC/people/vetter/pubs/reak sc00-umpire-vetter.pdf).
  4. MPI-CHECK (http://andrew.ait.iastate.edu/HPC/MPI-CHECK.htm).
  5. Marmot (http://www.hlrs.de/organization/amt/projects/marmot/).
  6. DeSouza J., Kuhn B., de Supinski B.R. Automated, scalable debugging of MPI programs with Intel Message Checker // Proc. of the Second International Workshop on Software Engineering for High Performance Computing System Applications. New York: ACM Press, 2005. 78-82 (http://csdl.ics.hawaii.edu/se-hpcs/papers/11.pdf).
  7. HP Visual Threads (http://h18000.www1.hp.com/products/software/visualthreads).
  8. Intel Thread Checker (http://www.intel.com/cd/software/products/asmona/eng/threading/286406.htm).
  9. Крюков В.А., Удовиченко Р.В. Отладка DVM-программ // Программирование. 2001. № 3. 19-29.
  10. Крюков В.А., Удовиченко Р.В. Отладка DVM-программ. Препринт ИПМ им. М.В. Келдыша РАН № 56. M., 1999.
  11. Abramson D.A., Sosic R. Relative debugging using multiple program versions // Intensional Programming I. Sydney: World Scientific. 1995 (http://www.csse.monash.edu.au/愦灭;percent7Edavida/papers/islip.pdf).
  12. Manne F., Andersen S.O. Automating the debugging of large numerical codes // Modern Software Tools for Scientific Computing. Cambridge (MA, USA): Birkhauser Boston Inc., 1997. 339-352 (http://www.ii.uib.no/ fredrikm/fredrik/reak papers/debug.ps).
  13. Hood R., Jost G. Support for debugging automatically parallelized programs // Proc. of AADEBUG’2000. Munich, 2000 (http://arxiv.org/ftp/cs/papers/0012/0012006.pdf).
  14. Matthews G., Hood R., Johnson S., Leggett P. Backtracking and re-execution in the automatic debugging of parallelized programs // Proc. of the 11th IEEE International Symposium on High Performance Distributed Computing (HPDC-11’02). Washington (DC, USA), 2002 (http://csdl.computer.org/comp/proceedings/hpdc/2002/1686/00/reak 16860150abs.htm).
  15. Matthews G., Hood R., Jin H., Johnson S., Ierotheou C. Automatic relative debugging of OpenMP programs. NAS Technical Report NAS-03-014. Moffett Field (CA, USA), 2003 (http://www.nas.nasa.gov/News/Techreports/2003/reak PDF/nas-03-014.pdf).
  16. NAS Parallel Benchmarks (http://www.nas.nasa.gov/Software/NPB/).
  17. Message-Passing Interface Forum (http://www.mpi-forum.org).
  18. OpenMP Consortium (http://www.openmp.org).
  19. High Performance Fortran Forum (http://www.hipersoft.rice.edu/hpff/).
  20. Коновалов Н.А., Крюков В.А., Михайлов С.Н., Погребцов Л.А. Fortran-DVM -язык разработки мобильных параллельных программ // Программирование. 1995. № 1. 49-54.

Published

20-11-2006

How to Cite

Крюков В., Кудрявцев М. Automated Debugging of Parallel Programs // Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie). 2006. 7. 102-110

Issue

Section

Section 2. Programming