kemsuСибСкриптSibScript2949-21222949-2092Kemerovo State Universitykemsu-4263Research ArticleСтатьиСЕМАНТИЧЕСКИЕ ОШИБКИ В ПАРАЛЛЕЛЬНЫХ ПРОГРАММАХ ДЛЯ СИСТЕМ С РАСПРЕДЕЛЕННОЙ ПАМЯТЬЮ И МЕТОДЫ ИХ ОБНАРУЖЕНИЯ СОВРЕМЕННЫМИ СРЕДСТВАМИ ОТЛАДКИАфанасьевК. Е.noemail@neicon.ruВласенкоА. Ю.noemail@neicon.ruКемГУРоссия200923102009021320Copyright © Афанасьев К.Е., Власенко А.Ю., 20092009Афанасьев К.Е., Власенко А.Ю.Афанасьев К.Е., Власенко А.Ю.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.sibscript.ru/jour/article/view/4263высокопроизводительные вычислительные системыпараллельное программированиеMPIсемантические ошибкиReferencesСредства отладки OPENMP-программ в DVM-системе / В. А. Алексахин, В. О. Баринова, В. А. Бахтин и др. // Тр. Всеросс. науч. конф. «Научный сервис в сети Интернет: технология распределённых вычислений» 22-27 сентября 2008 г., г. Новороссийск - М.: Изд-во МГУ, 2008.Средства отладки OPENMP-программ в DVM-системе / В. А. Алексахин, В. О. Баринова, В. А. Бахтин и др. // Тр. Всеросс. науч. конф. «Научный сервис в сети Интернет: технология распределённых вычислений» 22-27 сентября 2008 г., г. Новороссийск - М.: Изд-во МГУ, 2008.Средства отладки MPI-программ в DVM-системе / В. Ф. Алексахин, К. Н. Ефимкин, В. Н. Ильяков и др. // Тр. Всеросс. науч. конф. «Научный сервис в сети Интернет: технология распределённых вычислений» 19-24 сентября 2005 г., г. Новороссийск - М.: Изд-во МГУ, 2005. - С. 113 - 115.Средства отладки MPI-программ в DVM-системе / В. Ф. Алексахин, К. Н. Ефимкин, В. Н. Ильяков и др. // Тр. Всеросс. науч. конф. «Научный сервис в сети Интернет: технология распределённых вычислений» 19-24 сентября 2005 г., г. Новороссийск - М.: Изд-во МГУ, 2005. - С. 113 - 115.Афанасьев К. Е. Многопроцессорные вычислительные системы и параллельное программирование / К. Е. Афанасьев, С. В. Стуколов. - Кемерово: Кузбассвузиздат, 2003. - 233 с.Афанасьев К. Е. Многопроцессорные вычислительные системы и параллельное программирование / К. Е. Афанасьев, С. В. Стуколов. - Кемерово: Кузбассвузиздат, 2003. - 233 с.Эдмунд, М. Верификация моделей программ: Model Checking / М. Эдмунд, Кларк, О. Грамберг, Д. Пелед. - М.: издательство Московского центра непрерывного математического образования, 2002. - 416 с.Эдмунд, М. Верификация моделей программ: Model Checking / М. Эдмунд, Кларк, О. Грамберг, Д. Пелед. - М.: издательство Московского центра непрерывного математического образования, 2002. - 416 с.Desouza J. Automated, scalable debugging of MPI programs with Intel Message Checker / J. Desouza, B. Kuhn, B. Supinski // Proceedings of the second international workshop on Software engineering for high performance computing system applications. - St. Louis, Missouri, 2005. - P. 78 - 82.Desouza J. Automated, scalable debugging of MPI programs with Intel Message Checker / J. Desouza, B. Kuhn, B. Supinski // Proceedings of the second international workshop on Software engineering for high performance computing system applications. - St. Louis, Missouri, 2005. - P. 78 - 82.Krammer B. MPI Application Development Using the Analysis Tool MARMOT / B. Krammer, M. Mueller, M. Resch // Lecture Notes in Computer Science. Vol. 3038. - Springer Berlin, 2004. - P. 464 - 471.Krammer B. MPI Application Development Using the Analysis Tool MARMOT / B. Krammer, M. Mueller, M. Resch // Lecture Notes in Computer Science. Vol. 3038. - Springer Berlin, 2004. - P. 464 - 471.Siegel S. Verifying Parallel Programs with MPI-Spin / S. Siegel // Proceedings of the 14th European PVM/MPI Users' Group Meeting. - Paris, September/October 2007. - P. 13 - 14.Siegel S. Verifying Parallel Programs with MPI-Spin / S. Siegel // Proceedings of the 14th European PVM/MPI Users' Group Meeting. - Paris, September/October 2007. - P. 13 - 14.
The authors declare that there are no conflicts of interest present.