Ранняя диагностика ошибок в параллельных программах

Андрей Карпов, Евгений Рыжков

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

[hidepost]скачать презентацию[/hidepost]

Андрей Карпов

Андрей Карпов – к.ф.-м.н., технический директор компании ООО “СиПроВер”. Имеет практический опыт разработки ресурсоемких параллельных приложений в области численного моделирования газодинамических процессов и визуализации больших объемов данных. На данный момент занят в создании специализированного статического анализатора кода PVS-Studio, предназначенного для создания эффективных ресурсоемких приложений. Является автором множества статей, посвященных вопросам написания безопасного 64-битного и параллельного кода на языке Си++.

Евгений Рыжков

Евгений Рыжков – генеральный директор компании ООО “СиПроВер”. Имеет богатый опыт разработки 64-битных решений и приложил много усилий по выявлению и описанию в статьях паттернов ошибок, связанных с разработкой ресурсоемких программ. Руководит разработкой и продвижением инструмента для программистов PVS-Studio, занимается коммерческими вопросами.