ellibsЭлектронные библиотекиRussian Digital Libraries Journal1562-5419Казанский (Приволжский) федеральный университет10.26907/1562-5419-2020-23-4-866-886ellibs-233Research ArticleСтатьиОтладка параллельных программ в DVM-системеDebugging Parallel Programs in DVM-SystemБахтинВ. А.BakhtinV. A.bakhtin@keldysh.ruЗахаровД. А.ZakharovD. A.s123-93@mail.ruЕрмичевА. А.ErmichevA. A.a.ermich@gmail.comКрюковВ. А.KrukovV. A.krukov@keldysh.ruИнститут прикладной математики им. М.В. Келдыша Российской академии наукKeldysh Institute of Applied Mathematics; Lomonosov Moscow State UniversityИнститут прикладной математики им. М.В. Келдыша Российской академии наукKeldysh Institute of Applied Mathematics202028082020234866886Copyright © Бахтин В.А., Захаров Д.А., Ермичев А.А., Крюков В.А., 20202020Бахтин В.А., Захаров Д.А., Ермичев А.А., Крюков В.А.Bakhtin V.A., Zakharov D.A., Ermichev A.A., Krukov V.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://ellibs.elpub.ru/jour/article/view/233

DVM-система предназначена для разработки параллельных программ научно-технических расчетов на языках C-DVMH и Fortran-DVMH. Эти языки используют единую DVMH-модель параллельного программирования и являются расширением стандартных языков Си и Фортран спецификациями параллелизма, оформленными в виде директив для компилятора. DVMH-модель позволяет создавать эффективные параллельные программы для гетерогенных вычислительных кластеров, в узлах которых в качестве вычислительных устройств наряду с универсальными многоядерными процессорами могут использоваться ускорители, графические процессоры или сопроцессоры Intel Xeon Phi. В статье описыны методика отладки параллельных программ в DVM-системе, а также новые возможности DVM-отладчика.

DVM-system is designed for the development of parallel programs of scientific and technical calculations in the C-DVMH and Fortran-DVMH languages. These languages use a single DVMH-model of parallel programming model and are an extension of the standard C and Fortran languages with parallelism specifications in the form of compiler directives. The DVMH model makes it possible to create efficient parallel programs for heterogeneous computing clusters, in the nodes of which accelerators, graphic processors or Intel Xeon Phi coprocessors can be used as computing devices along with universal multi-core processors. The article describes the method of debugging parallel programs in DVM-system, as well as new features of DVM-debugger.

автоматизация разработки параллельных программавтоматизация отладки параллельных программдинамический контрольсравнительная отладкаускорительГПУФортранСиDVM-системаReferencesHelgrind: a thread error detector. URL: http://www.valgrind.org/docs/ manual/ hg-manual.htmlHelgrind: a thread error detector. URL: http://www.valgrind.org/docs/ manual/ hg-manual.htmlDRD: a thread error detector. URL: http://www.valgrind.org/ docs/ manual/drd-manual.htmlDRD: a thread error detector. URL: http://www.valgrind.org/ docs/ manual/drd-manual.htmlIntel Inspector. Memory and Thread Debugger. URL: https:// software.intel.com/en-us/intel-inspector.Intel Inspector. Memory and Thread Debugger. URL: https:// software.intel.com/en-us/intel-inspector.Guard Parallel Relative Debugger. URL: http://sourceforge.net/ projects/guardsoft/Guard Parallel Relative Debugger. URL: http://sourceforge.net/ projects/guardsoft/Abramson D.A., Sosic R. Relative Debugging using Multiple Program Versions // Intensional Programming I. Sydney: World Scientific. 1995.Abramson D.A., Sosic R. Relative Debugging using Multiple Program Versions // Intensional Programming I. Sydney: World Scientific. 1995.Язык C-DVMH. C-DVMH компилятор. Компиляция, выполнение и отладка CDVMH-программ. URL: http://dvm-system.org/static_data/docs/CDVMH-reference-ru.pdfЯзык C-DVMH. C-DVMH компилятор. Компиляция, выполнение и отладка CDVMH-программ. URL: http://dvm-system.org/static_data/docs/CDVMH-reference-ru.pdfЯзык Fortran-DVMH. Fortran-DVMH компилятор. Компиляция, выполнение и отладка DVMH-программ. URL: http://dvm-system.org/static_data/docs/ FDVMH-user-guide-ru.pdfЯзык Fortran-DVMH. Fortran-DVMH компилятор. Компиляция, выполнение и отладка DVMH-программ. URL: http://dvm-system.org/static_data/docs/ FDVMH-user-guide-ru.pdfСистема поддержки выполнения параллельных программ (библиотека Lib-DVM). URL: http://www.keldysh.ru/dvm/dvmhtm1107/rus/sys/libdvm/ rtsDDr0.htmlСистема поддержки выполнения параллельных программ (библиотека Lib-DVM). URL: http://www.keldysh.ru/dvm/dvmhtm1107/rus/sys/libdvm/ rtsDDr0.htmlOpenMP Application Programming Interface. Version 5.0. November, 2018. URL: https://www.openmp.org/wp-content/uploads/OpenMP-API-Specification-5.0.pdfOpenMP Application Programming Interface. Version 5.0. November, 2018. URL: https://www.openmp.org/wp-content/uploads/OpenMP-API-Specification-5.0.pdfThe OpenACC Application Programming Interface. Version 2.6. November, 2017. URL: https://www.openacc.org/sites/default/files/inline-files/OpenACC.2.6.final.pdfThe OpenACC Application Programming Interface. Version 2.6. November, 2017. URL: https://www.openacc.org/sites/default/files/inline-files/OpenACC.2.6.final.pdfNAS Parallel Benchmarks, URL: http://www.nas.nasa.gov/publications/ npb.htmlNAS Parallel Benchmarks, URL: http://www.nas.nasa.gov/publications/ npb.htmlКрюков В.А., Кудрявцев М.В. Автоматизация отладки параллельных программ // Вычислительные методы и программирование. 2006. Т. 7. Вып. 4. С. 102–110.Крюков В.А., Кудрявцев М.В. Автоматизация отладки параллельных программ // Вычислительные методы и программирование. 2006. Т. 7. Вып. 4. С. 102–110.David Monniaux. The pitfalls of verifying floating-point computations // ACM Transactions on Programming Languages and Systems (TOPLAS), ACM. 2008. V. 30. No 3. 12 p.David Monniaux. The pitfalls of verifying floating-point computations // ACM Transactions on Programming Languages and Systems (TOPLAS), ACM. 2008. V. 30. No 3. 12 p.Ермичев А.А., Крюков В.А. Развитие метода сравнительной отладки DVMH-программ // Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (18–23 сентября 2017г., г. Новороссийск). М.: ИПМ им. М.В. Келдыша, 2017. С. 150–156.Ермичев А.А., Крюков В.А. Развитие метода сравнительной отладки DVMH-программ // Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (18–23 сентября 2017г., г. Новороссийск). М.: ИПМ им. М.В. Келдыша, 2017. С. 150–156.

The authors declare that there are no conflicts of interest present.