Новости

27.11.2008 Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах.»

31.10.2008 Сразу две наших статьи опубликованы в журнале «Известия ТулГУ. Технические науки», выпуск №3 – 2008.»

15.10.2008 Вышла новая версия Viva64 2.20. »

Новости RSS

Инструмент VivaMP

Главная » Инструмент VivaMP

Статический анализатор кода VivaMP предназначен для разработчиков параллельных приложений, построенных  с  использованием технологии OpenMP. VivaMP позволяет найти даже те ошибки в параллельных программах, о которых молчат другие инструменты.

Параллельное программирование для персональных компьютеров стало реальной задачей с приходом многоядерных процессоров. Естественно появилась и поддержка параллельного программирования в компиляторах. Одной из наиболее распространенных технологий параллельного программирования является OpenMP. Она поддерживается компиляторами Microsoft Visual C++, Intel C++, PGI C++ Workstation и многими другими. Однако поскольку параллельное программирование для персональных компьютеров только начинает получать широкое распространение, то и поддержка диагностики «параллельных ошибок» в компиляторах реализована достаточно слабо. Сейчас уровень диагностики ошибок компиляторами в параллельных OpenMP-программах, находится примерно на том же уровне, какой была диагностика обычных ошибок в традиционных компиляторах лет 30 назад. Именно в то время возникли и получили признание инструменты статического анализа кода, дополняющие диагностические возможности компилятора. Одним из самых известных инструментов данного класса является анализатор lint для программ на языке Си. Пришло время параллельных программ, и мы предлагаем новый продукт - VivaMP.

VivaMP - это lint-подобный статический анализатор Си/Си++ кода для выявления ошибок в параллельных программах, построенных на технологии OpenMP. Статический анализатор VivaMP дополняет возможности существующих компиляторов и диагностирует параллельный код, содержащий ошибки или являющийся потенциальным источником таких ошибок. Анализатор интегрируется в среду разработки Visual Studio 2005/2008 и систему помощи MSDN (подробнее).

Области применения VivaMP:

  • Контроль корректности кода разрабатываемых приложений на базе технологии OpenMP.
  • Помощь в освоении технологии OpenMP и интеграция ее в уже существующие проекты.
  • Создание более эффективных в использовании ресурсов параллельных приложений.
  • Поиск ошибок в существующих OpenMP приложениях.

Преимущества VivaMP

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

Инструмент VivaMP имеет большую базу знаний по разработке кода c применением технологии OpenMP: справочная система, статьи, примеры. Это не только сделает знакомство и использование анализатора более простым, но и позволит существенно поднять уровень знаний программистов в области параллельного программирования.

При установке VivaMP интегрируется в среду Microsoft Visual Studio и справочную систему MSDN. VivaMP предоставляет удобный пользовательский интерфейс для анализа файлов, навигации по коду, получению справочной информации. Работа с анализатором не требует предварительного изучения документации, настройки, выбора уровня диагностики и так далее. Анализатор готов к работе сразу же после инсталляции.

 

Статьи:

Загрузить презентацию "Представление VivaMP" (1 Мб).