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

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

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

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

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

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

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

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