Automated debugging of parallel programs

Authors

  • V.A. Krukov
  • M.V. Kudryavtsev

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).

New computational technologies

Downloads

Published

2006-11-20

Issue

Vol. 7 (2006): Issue 4.

Section

Section 2. Programming

Author Biographies

V.A. Krukov

Keldysh Institute of Applied Mathematics of RAS

M.V. Kudryavtsev

Lomonosov Moscow State University,
Faculty of Computational Mathematics and Cybernetics

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.