Отладка параллельных программ в DVM-системе

Article Sidebar

PDF
Опубликован: 12.06.2020
УДК 004.432
DOI: https://doi.org/10.26907/1562-5419-2020-23-4-866-886
Выпуск
Том 23 № 4 (2020): Тематический выпуск «Научный сервис в сети Интернет». Часть 2

Main Article Content

Владимир Александрович Бахтин
Институт прикладной математики им. М.В. Келдыша Российской академии наук, г. Москва; Московский государственный университет им. М.В. Ломоносова, г. Москва
Дмитрий Александрович Захаров
Институт прикладной математики им. М.В. Келдыша Российской академии наук, г. Москва
Александр Александрович Ермичев
Институт прикладной математики им. М.В. Келдыша Российской академии наук, г. Москва; Московский государственный университет им. М.В. Ломоносова, г. Москва
Виктор Алексеевич Крюков
Институт прикладной математики им. М.В. Келдыша Российской академии наук, г. Москва; Московский государственный университет им. М.В. Ломоносова, г. Москва

Аннотация

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

Article Details

Биографии авторов

Владимир Александрович Бахтин

Ведущий научный сотрудник ИПМ им. М.В. Келдыша РАН, доцент кафедры системного программирования факультета ВМК МГУ им. М.В. Ломоносова. Cфера научных интересов – математическое обеспечение, программные средства и системы для распределенных вычислений; параллельные алгоритмы; методы, средства и системы обработки данных большого объема.

Дмитрий Александрович Захаров

Программист ИПМ им. М.В. Келдыша РАН. Cфера научных интересов – программные средства и системы для распределенных вычислений; параллельные алгоритмы; автоматизация параллельного программирования; распараллеливание программ, использующих неструктурные сетки.

Александр Александрович Ермичев

Лаборант ИПМ им. М.В. Келдыша РАН, аспирант кафедры системного программирования факультета ВМК МГУ им. М.В. Ломоносова. Cфера научных интересов – программное обеспечение для распределенных вычислений; распределенные вычислительные системы; параллельные алгоритмы.

Виктор Алексеевич Крюков

Главный научный сотрудник ИПМ им. М.В. Келдыша РАН, профессор кафедры системного программирования факультета ВМК МГУ им. М.В. Ломоносова. Cфера научных интересов – математическое обеспечение, программные средства и системы для распределенных вычислений; параллельные алгоритмы; методы, средства и системы обработки данных большого объема.

Библиографические ссылки

Helgrind: a thread error detector. URL: http://www.valgrind.org/docs/ manual/ hg-manual.html

DRD: a thread error detector. URL: http://www.valgrind.org/ docs/ manual/drd-manual.html

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/

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

Язык 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

OpenMP Application Programming Interface. Version 5.0. November, 2018. URL: https://www.openmp.org/wp-content/uploads/OpenMP-API-Specification-5.0.pdf

The OpenACC Application Programming Interface. Version 2.6. November, 2017. URL: https://www.openacc.org/sites/default/files/inline-files/OpenACC.2.6.final.pdf

NAS Parallel Benchmarks, URL: http://www.nas.nasa.gov/publications/ npb.html

Крюков В.А., Кудрявцев М.В. Автоматизация отладки параллельных программ // Вычислительные методы и программирование. 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.

Ермичев А.А., Крюков В.А. Развитие метода сравнительной отладки DVMH-программ // Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (18–23 сентября 2017г., г. Новороссийск). М.: ИПМ им. М.В. Келдыша, 2017. С. 150–156.



Представляя статьи для публикации в журнале «Электронные библиотеки», авторы автоматически дают согласие предоставить ограниченную лицензию на использование материалов Казанскому (Приволжскому) федеральному университету (КФУ) (разумеется, лишь в том случае, если статья будет принята к публикации). Это означает, что КФУ имеет право опубликовать статью в ближайшем выпуске журнала (на веб-сайте или в печатной форме), а также переиздавать эту статью на архивных компакт-дисках журнала или включить в ту или иную информационную систему или базу данных, производимую КФУ.

Все авторские материалы размещены в журнале «Электронные библиотеки» с ведома авторов. В случае, если у кого-либо из авторов есть возражения против публикации его материалов на данном сайте, материал может быть снят при условии уведомления редакции журнала в письменной форме.

Документы, изданные в журнале «Электронные библиотеки», защищены законодательством об авторских правах, и все авторские права сохраняются за авторами. Авторы самостоятельно следят за соблюдением своих прав на воспроизводство или перевод их работ, опубликованных в журнале. Если материал, опубликованный в журнале «Электронные библиотеки», с разрешения автора переиздается другим издателем или переводится на другой язык, то ссылка на оригинальную публикацию обязательна.

Передавая статьи для опубликования в журнале «Электронные библиотеки», авторы должны принимать в расчет, что публикации в интернете, с одной стороны, предоставляют уникальные возможности доступа к их материалам, но, с другой, являются новой формой обмена информацией в глобальном информационном обществе, где авторы и издатели пока не всегда обеспечены защитой от неправомочного копирования или иного использования материалов, защищенных авторским правом.

При использовании материалов из журнала обязательна ссылка на URL: http://rdl-journal.ru. Любые изменения, дополнения или редактирования авторского текста недопустимы. Копирование отдельных фрагментов статей из журнала разрешается для научных исследований, персонального использования, коммерческого использования до тех пор, пока есть ссылка на оригинальную статью.

Запросы на право переиздания или использования любых материалов, опубликованных в журнале «Электронные библиотеки», следует направлять главному редактору Елизарову А.М. по адресу: amelizarov@gmail.com

Издатели журнала «Электронные библиотеки» не несут ответственности за точки зрения, излагаемые в публикуемых авторских статьях.

Предлагаем авторам статей загрузить с этой страницы, подписать и выслать в адрес издателя журнала по электронной почте скан Авторского договора о передаче неисключительных прав на использование произведения.

Наиболее читаемые статьи этого автора (авторов)